SIRMA AI LTD. (“СИРМА АИ” ЕООД)
38A,
TEL: (359 2) 9810018, 9812338, FAX: (359 2) 
9819058
http://www.OntoText.com, info@OntoText.com
BOR
a Pragmatic
DAML+OIL Reasoner
System Documentation
Overview, Installation, Inegration
21.11.2002
Stansilav
Jordanov, Kiril Simov
BOR - the subject
of this document - was developed under the On-To-Knowledge project
(IST-1999-10132). This document
contains parts of deliverables D38, D40, and D41 were BOR was first announced.
Abstract
BOR is a reasoner that complies with the DAML+OIL model-theoretical semantics. Most of the classic reasoning tasks for the description logics are available, including realization and retrieval. Few innovative services, such as model checking and minimal ontology extraction, are also implemented. The full set of functional interfaces allows a high level of management and querying of DAML+OIL ontologies, represented in Sesame repository.
BOR integrates smoothly with Ontology Middleware and the Sesame RDF(S) repository, thus providing easy and intuitive (non-DL) interfaces and rich software infrastructure.
Availability
BOR is available free of charge for
non-commercial purposes. For commercial use, please, contact info@ontotext.com. BOR
is publicly available for demonstration at the Onto
Contents
2 BOR’s Integration into Sesame – SeBOR
4 Limitations and Known Issues
4.1 Inconsistency:
Literal sameClassAs Literal in DAML+OIL schema
4.2 Why
we need separate properties for definitions and qualifications?
6 How Much of DAML+OIL is Supported
6.1.1 ‘Well formed’ definitions
6.1.2 Supported restriction types
6.2.1 Abstract and concrete roles