Note: The development of BOR is frozen due to the intrinsic performance limitations related to reasoning on top of a true description logics language.
We recommend the usage of OWLIM - a high-performance reasoner which supports OWL DLP trough an inductive rule engine.

As part of the On-To-Knowledge project BOR was integrated with SESAME.
Further in this document the term `BOR' will refer to the core reasoner module and `SeBOR' (a shortcut for `SESAME-BOR') will refer to the SESAME-integrated-BOR.

Concept satisfiability checking

Given a TBox and a `target' concept, checks if the target concept is satisfiable with respect to the TBox

Taxonomy building

Given a TBox for each concept in it finds its most specific sub-concepts and super-concepts

Model checking

Given a TBox and an ABox checks if the ABox is a model of the TBox

Model building

Given a TBox and an ABox checks if the ABox can be `extended' to a model of the TBox. An allowed `extension' is assuming that an individual is an instance of a concept.

TBox & ABox import from KRSS format

A convinient input method for each of the above mentioned tasks. A quick reference on the KRSS format is also available.

View BOR white paper for details on BOR's capabilities.