Class Hierarchy
- java.lang.Object
- reasoner.ReasonerManager
- reasoner.impl.ReasonerComplementOf
- reasoner.impl.ReasonerComplementOfSecond
- reasoner.impl.ReasonerDisjointWith
- reasoner.impl.ReasonerEquivalentToAll
- reasoner.impl.ReasonerEquivalentToClass
- reasoner.impl.ReasonerEquivalentToIntersection
- reasoner.impl.ReasonerEquivalentToIntersectionSecond
- reasoner.impl.ReasonerEquivalentToMaxCardinality
- reasoner.impl.ReasonerEquivalentToMinCardinality
- reasoner.impl.ReasonerEquivalentToSome
- reasoner.impl.ReasonerEquivalentToSomeSecond
- reasoner.impl.ReasonerEquivalentToUnion
- reasoner.impl.ReasonerEquivalentToUnionSecond
- reasoner.impl.ReasonerFunctionalProperty
- reasoner.impl.ReasonerInverseFunctionalProperty
- reasoner.impl.ReasonerObjectPropertyDomain
- reasoner.impl.ReasonerObjectPropertyEquivalentToClass
- reasoner.impl.ReasonerObjectPropertyInverseOf
- reasoner.impl.ReasonerObjectPropertyRange
- reasoner.impl.ReasonerObjectPropertySubPropertyOf
- reasoner.impl.ReasonerSameAsClassIndividual
- reasoner.impl.ReasonerSameAsPropIndividual
- reasoner.impl.ReasonerSameAsTransitiveClosure
- reasoner.impl.ReasonerSubclassOfAll
- reasoner.impl.ReasonerSubclassOfClass
- reasoner.impl.ReasonerSubclassOfIntersection
- reasoner.impl.ReasonerSubclassOfSomeSecond
- reasoner.impl.ReasonerSubclassOfUnionSecond
- reasoner.ReasonerManager