- getSuperClasses
Gets the set of named classes that are the strict (potentially direct) super
classes of the specifie
- isConsistent
Determines if the set of reasoner axioms is consistent. Note that this method
will NOT throw an org.
- isSatisfiable
A convenience method that determines if the specified class expression is
satisfiable with respect t
- getSubClasses
Gets the set of named classes that are the strict (potentially direct)
subclasses of the specified c
- precomputeInferences
Asks the reasoner to precompute certain types of inferences. Note that it is NOT
necessary to call t
- getEquivalentClasses
Gets the set of named classes that are equivalent to the specified class
expression with respect to
- getObjectPropertyValues
Gets the object property values for the specified individual and object property
expression. The ind
- getTypes
Gets the named classes which are (potentially direct) types of the specified
named individual. The c
- getUnsatisfiableClasses
A convenience method that obtains the classes in the signature of the root
ontology that are unsatis
- dispose
Disposes of this reasoner. This frees up any resources used by the reasoner and
detaches the reasone
- getDataPropertyValues
Gets the data property values for the specified individual and data property
expression. The values
- getInstances
Gets the individuals which are instances of the specified class expression. The
individuals are retu