Uses of Class
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

Packages that use ReasonerInterruptedException

Package	Description
org.semanticweb.owlapi.reasoner

Uses of ReasonerInterruptedException in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that throw ReasonerInterruptedException

Modifier and Type	Method and Description
NodeSet<OWLClass>	OWLReasoner.getDataPropertyDomains(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<OWLLiteral>	OWLReasoner.getDataPropertyValues(OWLNamedIndividual ind, OWLDataProperty pe) Gets the data property values for the specified individual and data property expression.
NodeSet<OWLNamedIndividual>	OWLReasoner.getDifferentIndividuals(OWLNamedIndividual ind) Gets the individuals which are entailed to be different from the specified individual.
NodeSet<OWLClass>	OWLReasoner.getDisjointClasses(OWLClassExpression ce) Gets the classes that are disjoint with the specified class expression ce.
NodeSet<OWLDataProperty>	OWLReasoner.getDisjointDataProperties(OWLDataPropertyExpression pe) Gets the data properties that are disjoint with the specified data property expression pe.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expression pe.
Node<OWLClass>	OWLReasoner.getEquivalentClasses(OWLClassExpression ce) Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.
Node<OWLDataProperty>	OWLReasoner.getEquivalentDataProperties(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.
Node<OWLObjectPropertyExpression>	OWLReasoner.getEquivalentObjectProperties(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.
NodeSet<OWLNamedIndividual>	OWLReasoner.getInstances(OWLClassExpression ce, boolean direct) Gets the individuals which are instances of the specified class expression.
Node<OWLObjectPropertyExpression>	OWLReasoner.getInverseObjectProperties(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.
NodeSet<OWLClass>	OWLReasoner.getObjectPropertyDomains(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.
NodeSet<OWLClass>	OWLReasoner.getObjectPropertyRanges(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.
NodeSet<OWLNamedIndividual>	OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) Gets the object property values for the specified individual and object property expression.
Node<OWLNamedIndividual>	OWLReasoner.getSameIndividuals(OWLNamedIndividual ind) Gets the individuals that are the same as the specified individual.
NodeSet<OWLClass>	OWLReasoner.getSubClasses(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.
NodeSet<OWLDataProperty>	OWLReasoner.getSubDataProperties(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.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getSubObjectProperties(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.
NodeSet<OWLClass>	OWLReasoner.getSuperClasses(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.
NodeSet<OWLDataProperty>	OWLReasoner.getSuperDataProperties(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.
NodeSet<OWLObjectPropertyExpression>	OWLReasoner.getSuperObjectProperties(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.
NodeSet<OWLClass>	OWLReasoner.getTypes(OWLNamedIndividual ind, boolean direct) Gets the named classes which are (potentially direct) types of the specified named individual.
Node<OWLClass>	OWLReasoner.getUnsatisfiableClasses() A convenience method that obtains the classes in the signature of the root ontology that are unsatisfiable.
boolean	OWLReasoner.isConsistent() Determines if the set of reasoner axioms is consistent.
boolean	OWLReasoner.isEntailed(OWLAxiom axiom) A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.
boolean	OWLReasoner.isEntailed(Set<? extends OWLAxiom> axioms) Determines if the specified set of axioms is entailed by the reasoner axioms.
boolean	OWLReasoner.isSatisfiable(OWLClassExpression classExpression) A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.
void	OWLReasoner.precomputeInferences(InferenceType... inferenceTypes) Asks the reasoner to precompute certain types of inferences.