org.semanticweb.HermiT

Class Reasoner

java.lang.Object

org.semanticweb.HermiT.Reasoner

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasoner

public class Reasoner
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasoner

Answers queries about the logical implications of a particular knowledge base. A Reasoner is associated with a single knowledge base, which is "loaded" when the reasoner is constructed. By default a full classification of all atomic terms in the knowledge base is also performed at this time (which can take quite a while for large or complex ontologies), but this behavior can be disabled as a part of the Reasoner configuration. Internal details of the loading and reasoning algorithms can be configured in the Reasoner constructor and do not change over the lifetime of the Reasoner object---internal data structures and caches are optimized for a particular configuration. By default, HermiT will use the set of options which provide optimal performance.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Reasoner.ReasonerFactory Deprecated. use org.semanticweb.HermiT.ReasonerFactory

Constructor Summary

Constructors

Constructor and Description
Reasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology rootOntology) Creates a new reasoner object with the parameters for blocking, expansion strategy etc as specified in the given configuration object.
Reasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology rootOntology, Collection<DescriptionGraph> descriptionGraphs) Creates a new reasoner object loaded with the given ontology and the given description graphs.

Method Summary

Modifier and Type	Method and Description
boolean	canProcessPendingChangesIncrementally()
void	classifyClasses() Classify classes.
void	classifyDataProperties() Classify data properties.
void	classifyObjectProperties() Classify object Properties.
void	dispose()
void	flush()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getBottomClassNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getBottomDataPropertyNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getBottomObjectPropertyNode()
org.semanticweb.owlapi.reasoner.BufferingMode	getBufferingMode()
Configuration	getConfiguration()
org.semanticweb.owlapi.model.OWLDataFactory	getDataFactory()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty property, boolean direct)
Set<org.semanticweb.owlapi.model.OWLLiteral>	getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual, org.semanticweb.owlapi.model.OWLDataProperty property)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression propertyExpression)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)
DLOntology	getDLOntology()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty property)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getInstances(org.semanticweb.owlapi.model.OWLClassExpression classExpression, boolean direct)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression, boolean direct)
Map<org.semanticweb.owlapi.model.OWLNamedIndividual,Set<org.semanticweb.owlapi.model.OWLNamedIndividual>>	getObjectPropertyInstances(org.semanticweb.owlapi.model.OWLObjectProperty property)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual, org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomAdditions()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getPendingAxiomRemovals()
List<org.semanticweb.owlapi.model.OWLOntologyChange>	getPendingChanges()
Set<org.semanticweb.owlapi.reasoner.InferenceType>	getPrecomputableInferenceTypes()
Prefixes	getPrefixes()
String	getReasonerName()
org.semanticweb.owlapi.util.Version	getReasonerVersion()
org.semanticweb.owlapi.model.OWLOntology	getRootOntology()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>	getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty property, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty property, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression, boolean direct)
Tableau	getTableau()
Tableau	getTableau(org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms) A mostly internal method.
long	getTimeOut()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getTopClassNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getTopDataPropertyNode()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getTopObjectPropertyNode()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual, boolean direct)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getUnsatisfiableClasses()
boolean	hasObjectPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject, org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression, org.semanticweb.owlapi.model.OWLNamedIndividual object)
boolean	hasType(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual, org.semanticweb.owlapi.model.OWLClassExpression type, boolean direct)
void	interrupt()
boolean	isConsistent()
boolean	isDefined(org.semanticweb.owlapi.model.OWLClass owlClass)
boolean	isDefined(org.semanticweb.owlapi.model.OWLDataProperty owlDataProperty)
boolean	isDefined(org.semanticweb.owlapi.model.OWLIndividual owlIndividual)
boolean	isDefined(org.semanticweb.owlapi.model.OWLObjectProperty owlObjectProperty)
boolean	isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
boolean	isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
boolean	isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
boolean	isSameIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual1, org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual2)
boolean	isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
void	precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
void	precomputeSameAsEquivalenceClasses() Precompute.
void	printHierarchies(PrintWriter out, boolean classes, boolean objectProperties, boolean dataProperties) Prints the hierarchies into a functional style syntax ontology all nicely sorted alphabetically.
void	realiseObjectProperties() Realise object properties.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

bottomClassNode, bottomDataPropertyNode, bottomObjectPropertyNode, dataPropertyDomains, dataPropertyDomains, dataPropertyDomains, dataPropertyValues, differentIndividuals, disjointClasses, disjointDataProperties, disjointObjectProperties, equivalentClasses, equivalentDataProperties, equivalentObjectProperties, getDataPropertyDomains, getDataPropertyDomains, getInstances, getInstances, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getTypes, getTypes, instances, instances, instances, inverseObjectProperties, isEntailed, isEntailed, objectPropertyDomains, objectPropertyDomains, objectPropertyDomains, objectPropertyRanges, objectPropertyRanges, objectPropertyRanges, objectPropertyValues, pendingAxiomAdditions, pendingAxiomRemovals, pendingChanges, precomputableInferenceTypes, sameIndividuals, subClasses, subClasses, subClasses, subDataProperties, subDataProperties, subDataProperties, subObjectProperties, subObjectProperties, subObjectProperties, superClasses, superClasses, superClasses, superDataProperties, superDataProperties, superDataProperties, superObjectProperties, superObjectProperties, superObjectProperties, topClassNode, topDataPropertyNode, topObjectPropertyNode, types, types, types, unsatisfiableClasses

Constructor Detail

Reasoner

public Reasoner(Configuration configuration,
                org.semanticweb.owlapi.model.OWLOntology rootOntology)

Creates a new reasoner object with the parameters for blocking, expansion strategy etc as specified in the given configuration object. A default configuration can be obtained by just passing new Configuration(). Then the given manager is used to find all required imports for the given ontology and the ontology with the imports is loaded into the reasoner and the data factory of the manager is used to create fresh concepts during the preprocessing phase if necessary.

Parameters:

configuration - - a configuration in which parameters can be defined such as the blocking strategy to be used etc

rootOntology - - the ontology that should be loaded by the reasoner

Reasoner

public Reasoner(Configuration configuration,
                org.semanticweb.owlapi.model.OWLOntology rootOntology,
                Collection<DescriptionGraph> descriptionGraphs)

Creates a new reasoner object loaded with the given ontology and the given description graphs. When creating the reasoner, the given configuration determines the parameters for blocking, expansion strategy etc. A default configuration can be obtained by just passing new Configuration(). Then the given manager is used to find all required imports for the given ontology and the ontology with the imports and the description graphs are loaded into the reasoner. The data factory of the manager is used to create fresh concepts during the preprocessing phase if necessary.

Parameters:

configuration - - a configuration in which parameters can be defined such as the blocking strategy to be used etc

rootOntology - - the ontology that should be loaded by the reasoner

descriptionGraphs - - a set of description graphs

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface org.semanticweb.owlapi.reasoner.OWLReasoner

interrupt

public void interrupt()

Specified by:

interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDataFactory

public org.semanticweb.owlapi.model.OWLDataFactory getDataFactory()

Returns:

data factory

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

getRootOntology

public org.semanticweb.owlapi.model.OWLOntology getRootOntology()

Specified by:

getRootOntology in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getIndividualNodeSetPolicy

public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()

Specified by:

getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getFreshEntityPolicy

public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()

Specified by:

getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPrefixes

public Prefixes getPrefixes()

Returns:

prefixes

getDLOntology

public DLOntology getDLOntology()

Returns:

DL ontology

getConfiguration

public Configuration getConfiguration()

Returns:

configuration

getBufferingMode

public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()

Specified by:

getBufferingMode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingAxiomAdditions

public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()

Specified by:

getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingAxiomRemovals

public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()

Specified by:

getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingChanges

public List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()

Specified by:

getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner

flush

public void flush()

Specified by:

flush in interface org.semanticweb.owlapi.reasoner.OWLReasoner

canProcessPendingChangesIncrementally

public boolean canProcessPendingChangesIncrementally()

Returns:

true if incremental

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLClass owlClass)

Parameters:

owlClass - owlClass

Returns:

true if defined

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLIndividual owlIndividual)

Parameters:

owlIndividual - owlIndividual

Returns:

true if defined

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLObjectProperty owlObjectProperty)

Parameters:

owlObjectProperty - owlObjectProperty

Returns:

true if defined

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLDataProperty owlDataProperty)

Parameters:

owlDataProperty - owlDataProperty

Returns:

true if defined

getPrecomputableInferenceTypes

public Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()

Specified by:

getPrecomputableInferenceTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isPrecomputed

public boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)

Specified by:

isPrecomputed 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

Specified by:

precomputeInferences in interface org.semanticweb.owlapi.reasoner.OWLReasoner

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

isConsistent

public boolean isConsistent()

Specified by:

isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isEntailmentCheckingSupported

public boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)

Specified by:

isEntailmentCheckingSupported in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isEntailed

public boolean isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isEntailed

public boolean isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

Specified by:

isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner

classifyClasses

public void classifyClasses()

Classify classes.

getTopClassNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()

Specified by:

getTopClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getBottomClassNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()

Specified by:

getBottomClassNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isSatisfiable

public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Specified by:

isSatisfiable in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Specified by:

getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSuperClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression,
                                                                                                      boolean direct)

Specified by:

getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSubClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression,
                                                                                                    boolean direct)

Specified by:

getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getUnsatisfiableClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()

Specified by:

getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDisjointClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

Specified by:

getDisjointClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

classifyObjectProperties

public void classifyObjectProperties()

Classify object Properties.

getTopObjectPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()

Specified by:

getTopObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getBottomObjectPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()

Specified by:

getBottomObjectPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSuperObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression,
                                                                                                                                  boolean direct)

Specified by:

getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSubObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression,
                                                                                                                                boolean direct)

Specified by:

getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentObjectProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

Specified by:

getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getObjectPropertyDomains

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression,
                                                                                                               boolean direct)

Specified by:

getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getObjectPropertyRanges

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression,
                                                                                                              boolean direct)

Specified by:

getObjectPropertyRanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getInverseObjectProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

Specified by:

getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDisjointObjectProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

Specified by:

getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

classifyDataProperties

public void classifyDataProperties()

Classify data properties.

getTopDataPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()

Specified by:

getTopDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getBottomDataPropertyNode

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()

Specified by:

getBottomDataPropertyNode in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSuperDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty property,
                                                                                                                    boolean direct)

Specified by:

getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getSubDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty property,
                                                                                                                  boolean direct)

Specified by:

getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentDataProperties

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty property)

Specified by:

getEquivalentDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDataPropertyDomains

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty property,
                                                                                                             boolean direct)

Specified by:

getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDisjointDataProperties

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression propertyExpression)

Specified by:

getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner

realiseObjectProperties

public void realiseObjectProperties()

Realise object properties.

precomputeSameAsEquivalenceClasses

public void precomputeSameAsEquivalenceClasses()

Precompute.

getTypes

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual,
                                                                                               boolean direct)

Specified by:

getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner

hasType

public boolean hasType(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual,
                       org.semanticweb.owlapi.model.OWLClassExpression type,
                       boolean direct)

Parameters:

namedIndividual - namedIndividual

type - type

direct - direct

Returns:

true if as type

getInstances

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getInstances(org.semanticweb.owlapi.model.OWLClassExpression classExpression,
                                                                                                             boolean direct)

Specified by:

getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isSameIndividual

public boolean isSameIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual1,
                                org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual2)

Parameters:

namedIndividual1 - namedIndividual1

namedIndividual2 - namedIndividual2

Returns:

true if same individual

getSameIndividuals

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual)

Specified by:

getSameIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getDifferentIndividuals

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual)

Specified by:

getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getObjectPropertyValues

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual,
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

Specified by:

getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getObjectPropertyInstances

public Map<org.semanticweb.owlapi.model.OWLNamedIndividual,Set<org.semanticweb.owlapi.model.OWLNamedIndividual>> getObjectPropertyInstances(org.semanticweb.owlapi.model.OWLObjectProperty property)

Parameters:

property - property

Returns:

object property instances

hasObjectPropertyRelationship

public boolean hasObjectPropertyRelationship(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
                                             org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression,
                                             org.semanticweb.owlapi.model.OWLNamedIndividual object)

Parameters:

subject - subject

propertyExpression - propertyExpression

object - object

Returns:

true if has object property relationships

getDataPropertyValues

public Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual namedIndividual,
                                                                          org.semanticweb.owlapi.model.OWLDataProperty property)

Specified by:

getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getTableau

public Tableau getTableau()

Returns:

tableau

getTableau

public Tableau getTableau(org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms)
                   throws IllegalArgumentException

A mostly internal method. Can be used to retrieve a tableau for axioms in the given ontology manager plus an additional set of axioms.

Parameters:

additionalAxioms - - a list of additional axioms that should be included in the tableau

Returns:

a tableau containing rules for the normalised axioms, this tableau is not permanent in the reasoner, i.e., it does not overwrite the originally created tableau

Throws:

IllegalArgumentException - - if the axioms lead to non-admissible clauses, some configuration parameters are incompatible or other such errors

printHierarchies

public void printHierarchies(PrintWriter out,
                             boolean classes,
                             boolean objectProperties,
                             boolean dataProperties)

Prints the hierarchies into a functional style syntax ontology all nicely sorted alphabetically.

Parameters:

out - - the printwriter that is used to output the hierarchies

classes - - if true, the class hierarchy is printed

objectProperties - - if true, the object property hierarchy is printed

dataProperties - - if true, the data property hierarchy is printed