BOR: a Pragmatic DAML+OIL Reasoner

This report outlines the implementation of a DAML+OIL reasoner within the OnTo Knowledge project. The reasoner has to work in tight connection with the SESAME RDF(S) repository and the Ontology Middleware Module implemented within the project. SESAME supports the storage, management, and querying of ontologies and instances in RDF(S) repositories using the RQL language and set of APIs. The document extends section 3 of [Kiryakov et al, 2002] and provides more implementation details on top of it. The appropriate evaluation framework ([DLBMark 2002]) is also discussed.