A C D F G I M P R S T

A

au.csiro.snorocket.owlapi - package au.csiro.snorocket.owlapi

au.csiro.snorocket.owlapi.util - package au.csiro.snorocket.owlapi.util

C

createNonBufferingReasoner(OWLOntology) - Method in class au.csiro.snorocket.owlapi.SnorocketReasonerFactory

createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class au.csiro.snorocket.owlapi.SnorocketReasonerFactory

createReasoner(OWLOntology) - Method in class au.csiro.snorocket.owlapi.SnorocketReasonerFactory

createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class au.csiro.snorocket.owlapi.SnorocketReasonerFactory

D

DebugUtils - Class in au.csiro.snorocket.owlapi.util

DebugUtils() - Constructor for class au.csiro.snorocket.owlapi.util.DebugUtils

dispose() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Disposes of this reasoner.

F

flush() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Classifies the ontology incrementally if no import changes have occurred.

formatAxiom(OWLAxiom, OWLOntology) - Static method in class au.csiro.snorocket.owlapi.util.DebugUtils

formatClassExpression(OWLClassExpression, OWLOntology) - Static method in class au.csiro.snorocket.owlapi.util.DebugUtils

G

getBottomClassNode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Node corresponding to the bottom node (containing owl:Nothing) in the class hierarchy.

getBottomDataPropertyNode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Node corresponding to the bottom node (containing owl:bottomDataProperty) in the data property hierarchy.

getBottomObjectPropertyNode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Node corresponding to the bottom node (containing owl:bottomObjectProperty) in the object property hierarchy.

getBufferingMode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

getDataPropertyDomains(OWLDataProperty, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology.

getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the data property values for the specified individual and data property expression.

getDifferentIndividuals(OWLNamedIndividual) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the individuals which are entailed to be different from the specified individual.

getDisjointClasses(OWLClassExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the classes that are disjoint with the specified class expression ce.

getDisjointDataProperties(OWLDataPropertyExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the data properties that are disjoint with the specified data property expression pe.

getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the simplified object property expressions that are disjoint with the specified object property expression pe.

getEquivalentClasses(OWLClassExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.

getEquivalentDataProperties(OWLDataProperty) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getFreshEntityPolicy() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Fresh Entity Policy in use by this reasoner.

getIndividualNodeSetPolicy() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the IndividualNodeSetPolicy in use by this reasoner.

getInstances(OWLClassExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the individuals which are instances of the specified class expression.

getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getLabel(OWLEntity, OWLOntology) - Static method in class au.csiro.snorocket.owlapi.util.DebugUtils

getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the named classes that are the direct or indirect domains of this property with respect to the imports closure of the root ontology.

getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the named classes that are the direct or indirect ranges of this property with respect to the imports closure of the root ontology.

getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the object property values for the specified individual and object property expression.

getPendingAxiomAdditions() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getPendingAxiomRemovals() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getPendingChanges() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getPrecomputableInferenceTypes() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Returns the set of InferenceTypes that are precomputable by reasoner.

getReasonerName() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

getReasonerName() - Method in class au.csiro.snorocket.owlapi.SnorocketReasonerFactory

getReasonerVersion() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

getRootOntology() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the "root" ontology that is loaded into this reasoner.

getSameIndividuals(OWLNamedIndividual) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the individuals that are the same as the specified individual.

getSubClasses(OWLClassExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms.

getSubDataProperties(OWLDataProperty, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getSuperClasses(OWLClassExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getSuperDataProperties(OWLDataProperty, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

getTimeOut() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the time out (in milliseconds) for the most basic reasoning operations.

getTopClassNode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Node corresponding to the top node (containing owl:Thing) in the class hierarchy.

getTopDataPropertyNode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Node corresponding to the top node (containing owl:topDataProperty) in the data property hierarchy.

getTopObjectPropertyNode() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the Node corresponding to the top node (containing owl:topObjectProperty) in the object property hierarchy.

getTypes(OWLNamedIndividual, boolean) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Gets the named classes which are (potentially direct) types of the specified named individual.

getUnsatisfiableClasses() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

A convenience method that obtains the classes in the signature of the root ontology that are unsatisfiable.

I

interrupt() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Asks the reasoner to interrupt what it is currently doing.

isConsistent() - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

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.

isEntailed(OWLAxiom) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.

isEntailed(Set<? extends OWLAxiom>) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Determines if the specified set of axioms is entailed by the reasoner axioms.

isEntailmentCheckingSupported(AxiomType<?>) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Determines if entailment checking for the specified axiom type is supported.

isPrecomputed(InferenceType) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Determines if a specific set of inferences have been precomputed.

isSatisfiable(OWLClassExpression) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.

M

main(String[]) - Static method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

main(String[]) - Static method in class au.csiro.snorocket.owlapi.util.DebugUtils

P

precomputeInferences(InferenceType...) - Method in class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

Asks the reasoner to precompute certain types of inferences.

ProgressMonitorWrapper - Class in au.csiro.snorocket.owlapi

ProgressMonitorWrapper(ReasonerProgressMonitor) - Constructor for class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

Builds a new ProgressMonitorWrapper.

R

reasonerTaskBusy() - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

reasonerTaskProgressChanged(int, int) - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

reasonerTaskStarted(String) - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

reasonerTaskStopped() - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

S

SnorocketOWLReasoner - Class in au.csiro.snorocket.owlapi

Main classifier class.

SnorocketOWLReasoner(OWLOntology, OWLReasonerConfiguration, boolean) - Constructor for class au.csiro.snorocket.owlapi.SnorocketOWLReasoner

SnorocketReasonerFactory - Class in au.csiro.snorocket.owlapi

Factory used to create the OWL-API version of the Snorocket reasoner.

SnorocketReasonerFactory() - Constructor for class au.csiro.snorocket.owlapi.SnorocketReasonerFactory

step(int, int) - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

T

taskBusy() - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

taskEnded() - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

taskStarted(String) - Method in class au.csiro.snorocket.owlapi.ProgressMonitorWrapper

A C D F G I M P R S T