| Reasoner factory for the OWL micro configuration.
This only supports:
- RDFS entailments
- basic OWL axioms like ObjectProperty subClassOf Property
- intersectionOf, equivalentClass and forward implication of unionOf sufficient for traversal
of explicit class hierachies<.li>
- Property axioms (inversOf, SymmetricProperty, TransitiveProperty, equivalentProperty)
There is some experimental support for the cheaper class restriction handlingly which
should not be relied on at this point.
author: Dave Reynolds version: $Revision: 1.11 $ on $Date: 2008/01/02 12:07:47 $ |