SnorocketOWLReasoner (Snorocket OWL API 2.9.1 API)

java.lang.Object
- au.csiro.snorocket.owlapi.SnorocketOWLReasoner

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasoner
```
public class SnorocketOWLReasoner
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasoner
```
Main classifier class. Communicates with external modules using the org.semanticweb.owlapi classes to represent ontologies. Implements the OWLReasoner interface. This allows using the reasoner as a Protege plugin or as a standalone application.

Author:

Alejandro Metke

Constructor Summary

Constructors
Constructor and Description
`SnorocketOWLReasoner(org.semanticweb.owlapi.model.OWLOntology ont, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config, boolean buffering)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`dispose()` Disposes of this reasoner.
`void`	`flush()` Classifies the ontology incrementally if no import changes have occurred.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>`	`getBottomClassNode()` Gets the `Node` corresponding to the bottom node (containing `owl:Nothing`) in the class hierarchy.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>`	`getBottomDataPropertyNode()` Gets the `Node` corresponding to the bottom node (containing `owl:bottomDataProperty`) in the data property hierarchy.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getBottomObjectPropertyNode()` Gets the `Node` corresponding to the bottom node (containing `owl:bottomObjectProperty`) in the object property hierarchy.
`org.semanticweb.owlapi.reasoner.BufferingMode`	`getBufferingMode()`
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)` Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology.
`Set<org.semanticweb.owlapi.model.OWLLiteral>`	`getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLDataProperty pe)` Gets the data property values for the specified individual and data property expression.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>`	`getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)` Gets the individuals which are entailed to be different from the specified individual.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)` Gets the classes that are disjoint with the specified class expression `ce`.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)` Gets the data properties that are disjoint with the specified data property expression `pe`.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)` Gets the simplified object property expressions that are disjoint with the specified object property expression `pe`.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>`	`getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)` Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>`	`getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe)` Gets the set of named data properties that are equivalent to the specified data property expression with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)` Gets the set of simplified object property expressions that are equivalent to the specified object property expression with respect to the set of reasoner axioms.
`org.semanticweb.owlapi.reasoner.FreshEntityPolicy`	`getFreshEntityPolicy()` Gets the Fresh Entity Policy in use by this reasoner.
`org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy`	`getIndividualNodeSetPolicy()` Gets the IndividualNodeSetPolicy in use by this reasoner.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>`	`getInstances(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)` Gets the individuals which are instances of the specified class expression.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)` Gets the set of simplified object property expressions that are the inverses of the specified object property expression with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)` Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)` Gets the named classes that are the direct or indirect ranges of this property with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>`	`getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)` Gets the object property values for the specified individual and object property expression.
`Set<org.semanticweb.owlapi.model.OWLAxiom>`	`getPendingAxiomAdditions()` Gets the axioms that as a result of ontology changes need to be added to the reasoner to synchronise it with the root ontology imports closure.
`Set<org.semanticweb.owlapi.model.OWLAxiom>`	`getPendingAxiomRemovals()` Gets the axioms that as a result of ontology changes need to removed to the reasoner to synchronise it with the root ontology imports closure.
`List<org.semanticweb.owlapi.model.OWLOntologyChange>`	`getPendingChanges()` Gets the pending changes which need to be taken into consideration by the reasoner so that it is up to date with the root ontology imports closure.
`Set<org.semanticweb.owlapi.reasoner.InferenceType>`	`getPrecomputableInferenceTypes()` Returns the set of `InferenceType`s that are precomputable by reasoner.
`String`	`getReasonerName()`
`org.semanticweb.owlapi.util.Version`	`getReasonerVersion()`
`org.semanticweb.owlapi.model.OWLOntology`	`getRootOntology()` Gets the "root" ontology that is loaded into this reasoner.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>`	`getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)` Gets the individuals that are the same as the specified individual.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)` Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)` Gets the set of named data properties that are the strict (potentially direct) subproperties of the specified data property expression with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)` Gets the set of simplified object property expressions that are the strict (potentially direct) subproperties of the specified object property expression with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)` Gets the set of named classes that are the strict (potentially direct) super classes of the specified class expression with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)` Gets the set of named data properties that are the strict (potentially direct) super properties of the specified data property with respect to the imports closure of the root ontology.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)` Gets the set of simplified object property expressions that are the strict (potentially direct) super properties of the specified object property expression with respect to the imports closure of the root ontology.
`long`	`getTimeOut()` Gets the time out (in milliseconds) for the most basic reasoning operations.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>`	`getTopClassNode()` Gets the `Node` corresponding to the top node (containing `owl:Thing`) in the class hierarchy.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>`	`getTopDataPropertyNode()` Gets the `Node` corresponding to the top node (containing `owl:topDataProperty`) in the data property hierarchy.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>`	`getTopObjectPropertyNode()` Gets the `Node` corresponding to the top node (containing `owl:topObjectProperty`) in the object property hierarchy.
`org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>`	`getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind, boolean direct)` Gets the named classes which are (potentially direct) types of the specified named individual.
`org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>`	`getUnsatisfiableClasses()` A convenience method that obtains the classes in the signature of the root ontology that are unsatisfiable.
`void`	`interrupt()` Asks the reasoner to interrupt what it is currently doing.
`boolean`	`isConsistent()` Inconsistent Ontology - this occurs when the axioms in an ontology contain a contradiction which prevents the ontology from having a model, e.g., when the ontology asserts that an individual belongs to an unsatisfiable concept.
`boolean`	`isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)` A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.
`boolean`	`isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)` Determines if the specified set of axioms is entailed by the reasoner axioms.
`boolean`	`isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)` Determines if entailment checking for the specified axiom type is supported.
`boolean`	`isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)` Determines if a specific set of inferences have been precomputed.
`boolean`	`isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)` A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.
`static void`	`main(String[] args)`
`void`	`precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)` Asks the reasoner to precompute certain types of inferences.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner
getDataPropertyDomains, getDataPropertyDomains, getInstances, getInstances, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getTypes, getTypes, isEntailed, isEntailed

- Constructor Detail
  - SnorocketOWLReasoner
```
public SnorocketOWLReasoner(org.semanticweb.owlapi.model.OWLOntology ont,
                            org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config,
                            boolean buffering)
```
    Parameters:
    
    ont -
    
    config -
    
    buffering -
- Method Detail
  - getReasonerName
```
public String getReasonerName()
```
    Specified by:
    
    getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasoner
  - getReasonerVersion
```
public org.semanticweb.owlapi.util.Version getReasonerVersion()
```
    Specified by:
    
    getReasonerVersion in interface org.semanticweb.owlapi.reasoner.OWLReasoner
  - getBufferingMode
```
public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
```
    Specified by:
    
    getBufferingMode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
  - flush
```
public void flush()
```
    Classifies the ontology incrementally if no import changes have occurred. Flushes any changes stored in the buffer, which causes the reasoner to take into consideration the changes the current root ontology specified by the changes. If the reasoner buffering mode is BufferingMode.NON_BUFFERING then this method will have no effect.
    
    Specified by:
    
    flush in interface org.semanticweb.owlapi.reasoner.OWLReasoner
  - getPendingChanges
```
public List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
```
    Gets the pending changes which need to be taken into consideration by the reasoner so that it is up to date with the root ontology imports closure. After the flush() method is called the set of pending changes will be empty.
    
    Specified by:
    
    getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A set of changes. Note that the changes represent the raw changes as applied to the imports closure of the root ontology.
  - getPendingAxiomAdditions
```
public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
```
    Gets the axioms that as a result of ontology changes need to be added to the reasoner to synchronise it with the root ontology imports closure. If the buffering mode is BufferingMode.NON_BUFFERING then there will be no pending axiom additions.
    
    Specified by:
    
    getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    The set of axioms that need to added to the reasoner to the reasoner to synchronise it with the root ontology imports closure.
  - getPendingAxiomRemovals
```
public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
```
    Gets the axioms that as a result of ontology changes need to removed to the reasoner to synchronise it with the root ontology imports closure. If the buffering mode is BufferingMode.NON_BUFFERING then there will be no pending axiom additions.
    
    Specified by:
    
    getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    The set of axioms that need to added to the reasoner to the reasoner to synchronise it with the root ontology imports closure.
  - getRootOntology
```
public org.semanticweb.owlapi.model.OWLOntology getRootOntology()
```
    Gets the "root" ontology that is loaded into this reasoner. The reasoner takes into account the axioms in this ontology and its imports closure, plus the axioms returned by getPendingAxiomRemovals(), minus the axioms returned by getPendingAxiomAdditions() when reasoning.
    Note that the root ontology is set at reasoner creation time and cannot be changed thereafter. Clients that want to add ontologies to and remove ontologies from the reasoner after creation time should create a "dummy" ontology that imports the "real" ontologies and then specify the dummy ontology as the root ontology at reasoner creation time.
    
    Specified by:
    
    getRootOntology in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    The root ontology that is loaded into the reasoner.
  - interrupt
```
public void interrupt()
```
    Asks the reasoner to interrupt what it is currently doing. An ReasonerInterruptedException will be thrown in the thread that invoked the last reasoner operation. The OWL API is not thread safe in general, but it is likely that this method will be called from another thread than the event dispatch thread or the thread in which reasoning takes place.
    Note that the reasoner will periodically check for interrupt requests. Asking the reasoner to interrupt the current process does not mean that it will be interrupted immediately. However, clients can expect to be able to interrupt individual consistency checks, satisfiability checks etc.
    
    Specified by:
    
    interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner
  - precomputeInferences
```
public void precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
                          throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                 org.semanticweb.owlapi.reasoner.TimeOutException,
                                 org.semanticweb.owlapi.reasoner.InconsistentOntologyException
```
    Asks the reasoner to precompute certain types of inferences. Note that it is NOT necessary to call this method before asking any other queries - the reasoner will answer all queries correctly regardless of whether inferences are precomputed or not. For example, if the imports closure of the root ontology entails SubClassOf(A B) then the result of getSubClasses(B) will contain A, regardless of whether precomputeInferences(InferenceType.CLASS_HIERARCHY) has been called.
    If the reasoner does not support the precomputation of a particular type of inference then it will silently ignore the request.
    
    Specified by:
    
    precomputeInferences in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    inferenceTypes - Suggests a list of the types of inferences that should be precomputed. If the list is empty then the reasoner will determine which types of inferences are precomputed. Note that the order of the list is unimportant - the reasoner will determine the order in which inferences are computed.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - isPrecomputed
```
public boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
```
    Determines if a specific set of inferences have been precomputed.
    
    Specified by:
    
    isPrecomputed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    inferenceType - The type of inference to check for.
    
    Returns:
    
    true if the specified type of inferences have been precomputed, otherwise false.
  - getPrecomputableInferenceTypes
```
public Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
```
    Returns the set of InferenceTypes that are precomputable by reasoner.
    
    Specified by:
    
    getPrecomputableInferenceTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A set of InferenceTypes that can be precomputed by this reasoner.
  - isConsistent
```
public boolean isConsistent()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException
```
    Inconsistent Ontology - this occurs when the axioms in an ontology contain a contradiction which prevents the ontology from having a model, e.g., when the ontology asserts that an individual belongs to an unsatisfiable concept. Determines if the set of reasoner axioms is consistent. Note that this method will NOT throw an InconsistentOntologyException even if the root ontology imports closure is inconsistent.
    
    Specified by:
    
    isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    true if the imports closure of the root ontology is consistent, or false if the imports closure of the root ontology is inconsistent.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process).
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - isSatisfiable
```
public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
                      throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                             org.semanticweb.owlapi.reasoner.TimeOutException,
                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                             org.semanticweb.owlapi.reasoner.InconsistentOntologyException
```
    A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.
    
    Specified by:
    
    isSatisfiable in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    classExpression - The class expression
    
    Returns:
    
    true if classExpression is satisfiable with respect to the set of axioms, or false if classExpression is unsatisfiable with respect to the axioms.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the set of reasoner axioms is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if classExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the classExpression is not contained within the signature of the set of reasoner axioms.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getUnsatisfiableClasses
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
                                                                                                    throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                           org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                           org.semanticweb.owlapi.reasoner.InconsistentOntologyException
```
    A convenience method that obtains the classes in the signature of the root ontology that are unsatisfiable.
    
    Specified by:
    
    getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node that is the bottom node in the class hierarchy. This node represents owl:Nothing and contains owl:Nothing itself plus classes that are equivalent to owl:Nothing.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the set of reasoner axioms is inconsistent
  - isEntailed
```
public boolean isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException
```
    A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.
    
    Specified by:
    
    isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    axiom - The axiom
    
    Returns:
    
    true if axiom is entailed by the reasoner axioms or false if axiom is not entailed by the reasoner axioms. true if the set of reasoner axioms is inconsistent.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the axiom is not contained within the signature of the imports closure of the root ontology.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
    
    org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException - if the reasoner cannot perform a check to see if the specified axiom is entailed
    
    org.semanticweb.owlapi.reasoner.AxiomNotInProfileException - if axiom is not in the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the set of reasoner axioms is inconsistent
    
    See Also:
    
    isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType)
  - isEntailed
```
public boolean isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
                   throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                          org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException,
                          org.semanticweb.owlapi.reasoner.TimeOutException,
                          org.semanticweb.owlapi.reasoner.AxiomNotInProfileException,
                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                          org.semanticweb.owlapi.reasoner.InconsistentOntologyException
```
    Determines if the specified set of axioms is entailed by the reasoner axioms.
    
    Specified by:
    
    isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    axioms - The set of axioms to be tested
    
    Returns:
    
    true if the set of axioms is entailed by the axioms in the imports closure of the root ontology, otherwise false. If the set of reasoner axioms is inconsistent then true.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the set of axioms is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
    
    org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException - if the reasoner cannot perform a check to see if the specified axiom is entailed
    
    org.semanticweb.owlapi.reasoner.AxiomNotInProfileException - if axiom is not in the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the set of reasoner axioms is inconsistent
    
    See Also:
    
    isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType)
  - isEntailmentCheckingSupported
```
public boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
```
    Determines if entailment checking for the specified axiom type is supported.
    
    Specified by:
    
    isEntailmentCheckingSupported in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    axiomType - The axiom type
    
    Returns:
    
    true if entailment checking for the specified axiom type is supported, otherwise false. If true then asking isEntailed(org.semanticweb.owlapi.model.OWLAxiom) will not throw an exception of UnsupportedEntailmentTypeException . If false then asking isEntailed(org.semanticweb.owlapi.model.OWLAxiom) will throw an UnsupportedEntailmentTypeException .
  - getTopClassNode
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()
```
    Gets the Node corresponding to the top node (containing owl:Thing) in the class hierarchy.
    
    Specified by:
    
    getTopClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node containing owl:Thing that is the top node in the class hierarchy. This Node is essentially equal to the Node returned by calling getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression) with a parameter of owl:Thing.
  - getBottomClassNode
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()
```
    Gets the Node corresponding to the bottom node (containing owl:Nothing) in the class hierarchy.
    
    Specified by:
    
    getBottomClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node containing owl:Nothing that is the bottom node in the class hierarchy. This Node is essentially equal to the Node that will be returned by calling getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression) with a parameter of owl:Nothing.
  - getSubClasses
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                    boolean direct)
                                                                                             throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                    org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
```
    Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms. Note that the classes are returned as a NodeSet.
    
    Specified by:
    
    getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ce - The class expression whose strict (direct) subclasses are to be retrieved.
    
    direct - Specifies if the direct subclasses should be retrived ( true) or if the all subclasses (descendant) classes should be retrieved (false).
    
    Returns:
    
    If direct is true, a NodeSet such that for each class C in the NodeSet the set of reasoner axioms entails DirectSubClassOf(C, ce).
    If direct is false, a NodeSet such that for each class C in the NodeSet the set of reasoner axioms entails StrictSubClassOf(C, ce).
    If ce is equivalent to owl:Nothing then the empty NodeSet will be returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if classExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the classExpression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getSuperClasses
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                      boolean direct)
                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                      org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of named classes that are the strict (potentially direct) super classes of the specified class expression with respect to the imports closure of the root ontology. Note that the classes are returned as a NodeSet.
    
    Specified by:
    
    getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ce - The class expression whose strict (direct) super classes are to be retrieved.
    
    direct - Specifies if the direct super classes should be retrived ( true) or if the all super classes (ancestors) classes should be retrieved (false).
    
    Returns:
    
    If direct is true, a NodeSet such that for each class C in the NodeSet the set of reasoner axioms entails DirectSubClassOf(ce, C).
    If direct is false, a NodeSet such that for each class C in the NodeSet the set of reasoner axioms entails StrictSubClassOf(ce, C).
    If ce is equivalent to owl:Thing then the empty NodeSet will be returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if classExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the classExpression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getEquivalentClasses
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms. The classes are returned as a Node.
    
    Specified by:
    
    getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ce - The class expression whose equivalent classes are to be retrieved.
    
    Returns:
    
    A node containing the named classes such that for each named class C in the node the root ontology imports closure entails EquivalentClasses(ce C). If ce is not a class name (i.e. it is an anonymous class expression) and there are no such classes C then the node will be empty.
    If ce is a named class then ce will be contained in the node.
    If ce is unsatisfiable with respect to the set of reasoner axioms then the node representing and containing owl:Nothing, i.e. the bottom node, will be returned.
    If ce is equivalent to owl:Thing with respect to the set of reasoner axioms then the node representing and containing owl:Thing, i.e. the top node, will be returned
    .
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if classExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the classExpression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getDisjointClasses
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
                                                                                                  throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                         org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                         org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                         org.semanticweb.owlapi.reasoner.InconsistentOntologyException
```
    Gets the classes that are disjoint with the specified class expression ce. The classes are returned as a NodeSet.
    
    Specified by:
    
    getDisjointClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ce - The class expression whose disjoint classes are to be retrieved.
    
    Returns:
    
    The return value is a NodeSet such that for each class D in the NodeSet the set of reasoner axioms entails EquivalentClasses(D, ObjectComplementOf(ce)) or StrictSubClassOf(D, ObjectComplementOf(ce)).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if classExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the classExpression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getTopObjectPropertyNode
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()
```
    Gets the Node corresponding to the top node (containing owl:topObjectProperty) in the object property hierarchy.
    
    Specified by:
    
    getTopObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node containing owl:topObjectProperty that is the top node in the object property hierarchy. This Node is essentially equivalent to the Node returned by calling getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression) with a parameter of owl:topObjectProperty.
  - getBottomObjectPropertyNode
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()
```
    Gets the Node corresponding to the bottom node (containing owl:bottomObjectProperty) in the object property hierarchy.
    
    Specified by:
    
    getBottomObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node, containing owl:bottomObjectProperty, that is the bottom node in the object property hierarchy. This Node is essentially equal to the Node that will be returned by calling getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression)
  - getSubObjectProperties
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                boolean direct)
                                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of simplified object property expressions that are the strict (potentially direct) subproperties of the specified object property expression with respect to the imports closure of the root ontology. Note that the properties are returned as a NodeSet.
    
    Specified by:
    
    getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The object property expression whose strict (direct) subproperties are to be retrieved.
    
    direct - Specifies if the direct subproperties should be retrived ( true) or if the all subproperties (descendants) should be retrieved (false).
    
    Returns:
    
    If direct is true, a NodeSet of simplified object property expressions, such that for each simplified object property expression, P, in the NodeSet the set of reasoner axioms entails DirectSubObjectPropertyOf(P, pe).
    If direct is false, a NodeSet of simplified object property expressions, such that for each simplified object property expression, P, in the NodeSet the set of reasoner axioms entails StrictSubObjectPropertyOf(P, pe).
    If pe is equivalent to owl:bottomObjectProperty then the empty NodeSet will be returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getSuperObjectProperties
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                                                  boolean direct)
                                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of simplified object property expressions that are the strict (potentially direct) super properties of the specified object property expression with respect to the imports closure of the root ontology. Note that the properties are returned as a NodeSet.
    
    Specified by:
    
    getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The object property expression whose strict (direct) super properties are to be retrieved.
    
    direct - Specifies if the direct super properties should be retrived ( true) or if the all super properties (ancestors) should be retrieved (false).
    
    Returns:
    
    If direct is true, a NodeSet of simplified object property expressions, such that for each simplified object property expression, P, in the NodeSet, the set of reasoner axioms entails DirectSubObjectPropertyOf(pe, P).
    If direct is false, a NodeSet of simplified object property expressions, such that for each simplified object property expression, P, in the NodeSet, the set of reasoner axioms entails StrictSubObjectPropertyOf(pe, P).
    If pe is equivalent to owl:topObjectProperty then the empty NodeSet will be returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getEquivalentObjectProperties
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of simplified object property expressions that are equivalent to the specified object property expression with respect to the set of reasoner axioms. The properties are returned as a Node.
    
    Specified by:
    
    getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The object property expression whose equivalent properties are to be retrieved.
    
    Returns:
    
    A node containing the simplified object property expressions such that for each simplified object property expression, P, in the node, the set of reasoner axioms entails EquivalentObjectProperties(pe P).
    If pe is a simplified object property expression then pe will be contained in the node.
    If pe is unsatisfiable with respect to the set of reasoner axioms then the node representing and containing owl:bottomObjectProperty, i.e. the bottom node, will be returned.
    If pe is equivalent to owl:topObjectProperty with respect to the set of reasoner axioms then the node representing and containing owl:topObjectProperty, i.e. the top node, will be returned
    .
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getDisjointObjectProperties
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                              throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                     org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the simplified object property expressions that are disjoint with the specified object property expression pe. The object properties are returned as a NodeSet.
    
    Specified by:
    
    getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The object property expression whose disjoint object properties are to be retrieved.
    
    Returns:
    
    The return value is a NodeSet of simplified object property expressions, such that for each simplified object property expression, P, in the NodeSet the set of reasoner axioms entails EquivalentObjectProperties(P, ObjectPropertyComplementOf(pe)) or StrictSubObjectPropertyOf(P, ObjectPropertyComplementOf(pe)) .
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if object propertyExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of pe is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getInverseObjectProperties
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                          throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                                 org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of simplified object property expressions that are the inverses of the specified object property expression with respect to the imports closure of the root ontology. The properties are returned as a NodeSet
    
    Specified by:
    
    getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The property expression whose inverse properties are to be retrieved.
    
    Returns:
    
    A NodeSet of simplified object property expressions, such that for each simplified object property expression P in the nodes set, the set of reasoner axioms entails InverseObjectProperties(pe, P).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getObjectPropertyDomains
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                               boolean direct)
                                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology. The classes are returned as a NodeSet .
    
    Specified by:
    
    getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The property expression whose domains are to be retrieved.
    
    direct - Specifies if the direct domains should be retrieved ( true), or if all domains should be retrieved ( false).
    
    Returns:
    
    Let N = getEquivalentClasses(ObjectSomeValuesFrom(pe owl:Thing)) .
    If direct is true: then if N is not empty then the return value is N, else the return value is the result of getSuperClasses(ObjectSomeValuesFrom(pe owl:Thing), true).
    If direct is false: then the result of getSuperClasses(ObjectSomeValuesFrom(pe owl:Thing), false) together with N if N is non-empty.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getObjectPropertyRanges
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe,
                                                                                                              boolean direct)
                                                                                                       throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                              org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                              org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                              org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the named classes that are the direct or indirect ranges of this property with respect to the imports closure of the root ontology. The classes are returned as a NodeSet .
    
    Specified by:
    
    getObjectPropertyRanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The property expression whose ranges are to be retrieved.
    
    direct - Specifies if the direct ranges should be retrieved ( true), or if all ranges should be retrieved ( false).
    
    Returns:
    
    Let N = getEquivalentClasses(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing)) .
    If direct is true: then if N is not empty then the return value is N, else the return value is the result of getSuperClasses(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing), true).
    If direct is false: then the result of getSuperClasses(ObjectSomeValuesFrom(ObjectInverseOf(pe) owl:Thing), false) together with N if N is non-empty.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getTopDataPropertyNode
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()
```
    Gets the Node corresponding to the top node (containing owl:topDataProperty) in the data property hierarchy.
    
    Specified by:
    
    getTopDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node, containing owl:topDataProperty, that is the top node in the data property hierarchy. This Node is essentially equal to the Node returned by calling getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty) with a parameter of owl:topDataProperty.
  - getBottomDataPropertyNode
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()
```
    Gets the Node corresponding to the bottom node (containing owl:bottomDataProperty) in the data property hierarchy.
    
    Specified by:
    
    getBottomDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    A Node, containing owl:bottomDataProperty, that is the bottom node in the data property hierarchy. This Node is essentially equal to the Node that will be returned by calling getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty) with a parameter of owl:bottomDataProperty.
  - getSubDataProperties
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                  boolean direct)
                                                                                                           throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                  org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                  org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                  org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of named data properties that are the strict (potentially direct) subproperties of the specified data property expression with respect to the imports closure of the root ontology. Note that the properties are returned as a NodeSet.
    
    Specified by:
    
    getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The data property whose strict (direct) subproperties are to be retrieved.
    
    direct - Specifies if the direct subproperties should be retrived ( true) or if the all subproperties (descendants) should be retrieved (false).
    
    Returns:
    
    If direct is true, a NodeSet such that for each property P in the NodeSet the set of reasoner axioms entails DirectSubDataPropertyOf(P, pe).
    If direct is false, a NodeSet such that for each property P in the NodeSet the set of reasoner axioms entails StrictSubDataPropertyOf(P, pe).
    If pe is equivalent to owl:bottomDataProperty then the empty NodeSet will be returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the data property is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getSuperDataProperties
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                                    boolean direct)
                                                                                                             throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of named data properties that are the strict (potentially direct) super properties of the specified data property with respect to the imports closure of the root ontology. Note that the properties are returned as a NodeSet.
    
    Specified by:
    
    getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The data property whose strict (direct) super properties are to be retrieved.
    
    direct - Specifies if the direct super properties should be retrived ( true) or if the all super properties (ancestors) should be retrieved (false).
    
    Returns:
    
    If direct is true, a NodeSet such that for each property P in the NodeSet the set of reasoner axioms entails DirectSubDataPropertyOf(pe, P).
    If direct is false, a NodeSet such that for each property P in the NodeSet the set of reasoner axioms entails StrictSubDataPropertyOf(pe, P).
    If pe is equivalent to owl:topDataProperty then the empty NodeSet will be returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the data property is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getEquivalentDataProperties
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the set of named data properties that are equivalent to the specified data property expression with respect to the imports closure of the root ontology. The properties are returned as a Node.
    
    Specified by:
    
    getEquivalentDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The data property expression whose equivalent properties are to be retrieved.
    
    Returns:
    
    A node containing the named data properties such that for each named data property P in the node, the set of reasoner axioms entails EquivalentDataProperties(pe P).
    If pe is a named data property then pe will be contained in the node.
    If pe is unsatisfiable with respect to the set of reasoner axioms then the node representing and containing owl:bottomDataProperty, i.e. the bottom node, will be returned.
    If ce is equivalent to owl:topDataProperty with respect to the set of reasoner axioms then the node representing and containing owl:topDataProperty, i.e. the top node, will be returned
    .
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the data property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getDisjointDataProperties
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)
                                                                                                                throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                       org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                       org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                       org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the data properties that are disjoint with the specified data property expression pe. The data properties are returned as a NodeSet.
    
    Specified by:
    
    getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The data property expression whose disjoint data properties are to be retrieved.
    
    Returns:
    
    The return value is a NodeSet such that for each data property P in the NodeSet the set of reasoner axioms entails EquivalentDataProperties(P, DataPropertyComplementOf(pe)) or StrictSubDataPropertyOf(P, DataPropertyComplementOf(pe)) .
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if data propertyExpression is not within the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of pe is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getDataPropertyDomains
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology. The classes are returned as a NodeSet .
    
    Specified by:
    
    getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    pe - The property expression whose domains are to be retrieved.
    
    direct - Specifies if the direct domains should be retrieved ( true), or if all domains should be retrieved ( false).
    
    Returns:
    
    Let N = getEquivalentClasses(DataSomeValuesFrom(pe rdfs:Literal)) .
    If direct is true: then if N is not empty then the return value is N, else the return value is the result of getSuperClasses(DataSomeValuesFrom(pe rdfs:Literal), true).
    If direct is false: then the result of getSuperClasses(DataSomeValuesFrom(pe rdfs:Literal), false) together with N if N is non-empty.
    (Note, rdfs:Literal is the top datatype).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the object property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getTypes
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                               boolean direct)
                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the named classes which are (potentially direct) types of the specified named individual. The classes are returned as a NodeSet.
    
    Specified by:
    
    getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ind - The individual whose types are to be retrieved.
    
    direct - Specifies if the direct types should be retrieved ( true), or if all types should be retrieved ( false).
    
    Returns:
    
    If direct is true, a NodeSet containing named classes such that for each named class C in the node set, the set of reasoner axioms entails DirectClassAssertion(C, ind).
    If direct is false, a NodeSet containing named classes such that for each named class C in the node set, the set of reasoner axioms entails ClassAssertion(C, ind).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the individual is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getInstances
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(org.semanticweb.owlapi.model.OWLClassExpression ce,
                                                                                                             boolean direct)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the individuals which are instances of the specified class expression. The individuals are returned a a NodeSet.
    
    Specified by:
    
    getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ce - The class expression whose instances are to be retrieved.
    
    direct - Specifies if the direct instances should be retrieved ( true), or if all instances should be retrieved ( false).
    
    Returns:
    
    If direct is true, a NodeSet containing named individuals such that for each named individual j in the node set, the set of reasoner axioms entails DirectClassAssertion(ce, j).
    If direct is false, a NodeSet containing named individuals such that for each named individual j in the node set, the set of reasoner axioms entails ClassAssertion(ce, j).
    
    If ce is unsatisfiable with respect to the set of reasoner axioms then the empty NodeSet is returned.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException - if the class expression ce is not in the profile that is supported by this reasoner.
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the class expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
    
    See Also:
    
    org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy}
  - getObjectPropertyValues
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the object property values for the specified individual and object property expression. The individuals are returned as a NodeSet.
    
    Specified by:
    
    getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ind - The individual that is the subject of the object property values
    
    pe - The object property expression whose values are to be retrieved for the specified individual
    
    Returns:
    
    A NodeSet containing named individuals such that for each individual j in the node set, the set of reasoner axioms entails ObjectPropertyAssertion(pe ind j).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the individual and property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
    
    See Also:
    
    org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy}
  - getDataPropertyValues
```
public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind,
                                                                          org.semanticweb.owlapi.model.OWLDataProperty pe)
                                                                   throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                          org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                          org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                          org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the data property values for the specified individual and data property expression. The values are a set of literals. Note that the results are not guaranteed to be complete for this method. The reasoner may also return canonical literals or they may be in a form that bears a resemblance to the syntax of the literals in the root ontology imports closure.
    
    Specified by:
    
    getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ind - The individual that is the subject of the data property values
    
    pe - The data property expression whose values are to be retrieved for the specified individual
    
    Returns:
    
    A set of OWLLiterals containing literals such that for each literal l in the set, the set of reasoner axioms entails DataPropertyAssertion(pe ind l).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the individual and property expression is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
    
    See Also:
    
    org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy}
  - getSameIndividuals
```
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the individuals that are the same as the specified individual.
    
    Specified by:
    
    getSameIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ind - The individual whose same individuals are to be retrieved.
    
    Returns:
    
    A node containing individuals such that for each individual j in the node, the root ontology imports closure entails SameIndividual(j, ind). Note that the node will contain j.
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the individual is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getDifferentIndividuals
```
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
                                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
```
    Gets the individuals which are entailed to be different from the specified individual. The individuals are returned as a NodeSet.
    
    Specified by:
    
    getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Parameters:
    
    ind - The individual whose different individuals are to be returned.
    
    Returns:
    
    A NodeSet containing OWLNamedIndividual s such that for each individual i in the NodeSet the set of reasoner axioms entails DifferentIndividuals(ind, i).
    
    Throws:
    
    org.semanticweb.owlapi.reasoner.InconsistentOntologyException - if the imports closure of the root ontology is inconsistent
    
    org.semanticweb.owlapi.reasoner.FreshEntitiesException - if the signature of the individual is not contained within the signature of the imports closure of the root ontology and the undeclared entity policy of this reasoner is set to FreshEntityPolicy.DISALLOW.
    
    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - if the reasoning process was interrupted for any particular reason (for example if reasoning was cancelled by a client process)
    
    org.semanticweb.owlapi.reasoner.TimeOutException - if the reasoner timed out during a basic reasoning operation. See getTimeOut().
  - getTimeOut
```
public long getTimeOut()
```
    Gets the time out (in milliseconds) for the most basic reasoning operations. That is the maximum time for a satisfiability test, subsumption test etc. The time out should be set at reasoner creation time. During satisfiability (subsumption) checking the reasoner will check to see if the time it has spent doing the single check is longer than the value returned by this method. If this is the case, the reasoner will throw a TimeOutException in the thread that is executing the reasoning process.
    Note that clients that want a higher level timeout, at the level of classification for example, should start their own timers and request that the reasoner interrupts the current process using the interrupt() method.
    
    Specified by:
    
    getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    The time out in milliseconds for basic reasoner operation. By default this is the value of Long.MAX_VALUE.
  - getFreshEntityPolicy
```
public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
```
    Gets the Fresh Entity Policy in use by this reasoner. The policy is set at reasoner creation time.
    
    Specified by:
    
    getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    The policy.
  - getIndividualNodeSetPolicy
```
public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
```
    Gets the IndividualNodeSetPolicy in use by this reasoner. The policy is set at reasoner creation time.
    
    Specified by:
    
    getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner
    
    Returns:
    
    The policy.
  - dispose
```
public void dispose()
```
    Disposes of this reasoner. This frees up any resources used by the reasoner and detaches the reasoner as an OWLOntologyChangeListener from the OWLOntologyManager that manages the ontologies contained within the reasoner.
    
    Specified by:
    
    dispose in interface org.semanticweb.owlapi.reasoner.OWLReasoner
  - main
```
public static void main(String[] args)
```
    Parameters:
    
    args -

Class SnorocketOWLReasoner

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface org.semanticweb.owlapi.reasoner.OWLReasoner

Constructor Detail

SnorocketOWLReasoner

Method Detail

getReasonerName

getReasonerVersion

getBufferingMode

flush

getPendingChanges

getPendingAxiomAdditions

getPendingAxiomRemovals

getRootOntology

interrupt

precomputeInferences

isPrecomputed

getPrecomputableInferenceTypes

isConsistent

isSatisfiable

getUnsatisfiableClasses

isEntailed

isEntailed

isEntailmentCheckingSupported

getTopClassNode

getBottomClassNode

getSubClasses

getSuperClasses

getEquivalentClasses

getDisjointClasses

getTopObjectPropertyNode

getBottomObjectPropertyNode

getSubObjectProperties

getSuperObjectProperties

getEquivalentObjectProperties

getDisjointObjectProperties

getInverseObjectProperties

getObjectPropertyDomains

getObjectPropertyRanges

getTopDataPropertyNode

getBottomDataPropertyNode

getSubDataProperties

getSuperDataProperties

getEquivalentDataProperties

getDisjointDataProperties

getDataPropertyDomains

getTypes

getInstances

getObjectPropertyValues

getDataPropertyValues

getSameIndividuals

getDifferentIndividuals

getTimeOut

getFreshEntityPolicy

getIndividualNodeSetPolicy

dispose

main