StructuralReasoner (OWLAPI :: Default Implementation 3.4.9.1-ansell API)

java.lang.Object
- org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
- - org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

All Implemented Interfaces:

OWLReasoner
```
public class StructuralReasoner
extends OWLReasonerBase
```
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 04-Dec-2009
This is a simple structural reasoner that essentially answers with told information. It is incomplete.

Field Summary

Fields
Modifier and Type Field and Description

protected ReasonerProgressMonitor pm

Fields
Modifier and Type	Field and Description
`protected ReasonerProgressMonitor`	`pm`

Constructor Summary

Constructors
Constructor and Description
`StructuralReasoner(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode)`

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`dumpClassHierarchy(boolean showBottomNode)`
`void`	`dumpDataPropertyHierarchy(boolean showBottomNode)`
`void`	`dumpObjectPropertyHierarchy(boolean showBottomNode)`
`Node<OWLClass>`	`getBottomClassNode()`
`Node<OWLDataProperty>`	`getBottomDataPropertyNode()`
`Node<OWLObjectPropertyExpression>`	`getBottomObjectPropertyNode()`
`protected OWLDataFactory`	`getDataFactory()`
`NodeSet<OWLClass>`	`getDataPropertyDomains(OWLDataProperty pe, boolean direct)`
`Set<OWLLiteral>`	`getDataPropertyValues(OWLNamedIndividual ind, OWLDataProperty pe)`
`NodeSet<OWLNamedIndividual>`	`getDifferentIndividuals(OWLNamedIndividual ind)`
`NodeSet<OWLClass>`	`getDisjointClasses(OWLClassExpression ce)`
`NodeSet<OWLDataProperty>`	`getDisjointDataProperties(OWLDataPropertyExpression pe)`
`NodeSet<OWLObjectPropertyExpression>`	`getDisjointObjectProperties(OWLObjectPropertyExpression pe)`
`Node<OWLClass>`	`getEquivalentClasses(OWLClassExpression ce)`
`Node<OWLDataProperty>`	`getEquivalentDataProperties(OWLDataProperty pe)`
`Node<OWLObjectPropertyExpression>`	`getEquivalentObjectProperties(OWLObjectPropertyExpression pe)`
`FreshEntityPolicy`	`getFreshEntityPolicy()`
`IndividualNodeSetPolicy`	`getIndividualNodeSetPolicy()`
`NodeSet<OWLNamedIndividual>`	`getInstances(OWLClassExpression ce, boolean direct)`
`Node<OWLObjectPropertyExpression>`	`getInverseObjectProperties(OWLObjectPropertyExpression pe)`
`NodeSet<OWLClass>`	`getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct)`
`NodeSet<OWLClass>`	`getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct)`
`NodeSet<OWLNamedIndividual>`	`getObjectPropertyValues(OWLNamedIndividual ind, OWLObjectPropertyExpression pe)`
`Set<InferenceType>`	`getPrecomputableInferenceTypes()`
`String`	`getReasonerName()`
`Version`	`getReasonerVersion()`
`Node<OWLNamedIndividual>`	`getSameIndividuals(OWLNamedIndividual ind)`
`NodeSet<OWLClass>`	`getSubClasses(OWLClassExpression ce, boolean direct)`
`NodeSet<OWLDataProperty>`	`getSubDataProperties(OWLDataProperty pe, boolean direct)`
`NodeSet<OWLObjectPropertyExpression>`	`getSubObjectProperties(OWLObjectPropertyExpression pe, boolean direct)`
`NodeSet<OWLClass>`	`getSuperClasses(OWLClassExpression ce, boolean direct)`
`NodeSet<OWLDataProperty>`	`getSuperDataProperties(OWLDataProperty pe, boolean direct)`
`NodeSet<OWLObjectPropertyExpression>`	`getSuperObjectProperties(OWLObjectPropertyExpression pe, boolean direct)`
`Node<OWLClass>`	`getTopClassNode()`
`Node<OWLDataProperty>`	`getTopDataPropertyNode()`
`Node<OWLObjectPropertyExpression>`	`getTopObjectPropertyNode()`
`NodeSet<OWLClass>`	`getTypes(OWLNamedIndividual ind, boolean direct)`
`Node<OWLClass>`	`getUnsatisfiableClasses()`
`protected void`	`handleChanges(Set<OWLAxiom> addAxioms, Set<OWLAxiom> removeAxioms)` Asks the reasoner implementation to handle axiom additions and removals from the imports closure of the root ontology.
`void`	`interrupt()`
`boolean`	`isConsistent()`
`boolean`	`isEntailed(OWLAxiom axiom)`
`boolean`	`isEntailed(Set<? extends OWLAxiom> axioms)`
`boolean`	`isEntailmentCheckingSupported(AxiomType<?> axiomType)`
`boolean`	`isPrecomputed(InferenceType inferenceType)`
`boolean`	`isSatisfiable(OWLClassExpression classExpression)`
`void`	`precomputeInferences(InferenceType... inferenceTypes)`
`void`	`prepareReasoner()`
`protected void`	`throwExceptionIfInterrupted()`

Methods inherited from class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase
dispose, flush, getBufferingMode, getOWLDataFactory, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getReasonerAxioms, getReasonerConfiguration, getRootOntology, getTimeOut, handleRawOntologyChanges

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

Field Detail

pm

protected final ReasonerProgressMonitor pm

Constructor Detail

StructuralReasoner

public StructuralReasoner(OWLOntology rootOntology,
                  OWLReasonerConfiguration configuration,
                  BufferingMode bufferingMode)

Parameters:: rootOntology - the ontology; configuration - the reasoner configuration; bufferingMode - the buffering mode

Method Detail

getReasonerName
```
public String getReasonerName()
```

getFreshEntityPolicy
```
public FreshEntityPolicy getFreshEntityPolicy()
```
Specified by:

getFreshEntityPolicy in interface OWLReasoner

Overrides:

getFreshEntityPolicy in class OWLReasonerBase

getIndividualNodeSetPolicy
```
public IndividualNodeSetPolicy getIndividualNodeSetPolicy()
```
Specified by:

getIndividualNodeSetPolicy in interface OWLReasoner

Overrides:

getIndividualNodeSetPolicy in class OWLReasonerBase

getReasonerVersion
```
public Version getReasonerVersion()
```

handleChanges
```
protected void handleChanges(Set<OWLAxiom> addAxioms,
                 Set<OWLAxiom> removeAxioms)
```
Description copied from class: OWLReasonerBase

Asks the reasoner implementation to handle axiom additions and removals from the imports closure of the root ontology. The changes will not include annotation axiom additions and removals.

Specified by:

handleChanges in class OWLReasonerBase

Parameters:
addAxioms - The axioms to be added to the reasoner.
removeAxioms - The axioms to be removed from the reasoner

interrupt
```
public void interrupt()
```

prepareReasoner

public void prepareReasoner()
                     throws ReasonerInterruptedException,
                            TimeOutException

Throws:: ReasonerInterruptedException - on interruption; TimeOutException - on timeout

precomputeInferences

public void precomputeInferences(InferenceType... inferenceTypes)
                          throws ReasonerInterruptedException,
                                 TimeOutException,
                                 InconsistentOntologyException

Throws:: ReasonerInterruptedException; TimeOutException; InconsistentOntologyException

isPrecomputed

public boolean isPrecomputed(InferenceType inferenceType)

getPrecomputableInferenceTypes

public Set<InferenceType> getPrecomputableInferenceTypes()

throwExceptionIfInterrupted

protected void throwExceptionIfInterrupted()

isConsistent

public boolean isConsistent()
                     throws ReasonerInterruptedException,
                            TimeOutException

Throws:: ReasonerInterruptedException; TimeOutException

isSatisfiable

public boolean isSatisfiable(OWLClassExpression classExpression)
                      throws ReasonerInterruptedException,
                             TimeOutException,
                             ClassExpressionNotInProfileException,
                             FreshEntitiesException,
                             InconsistentOntologyException

Throws:: ReasonerInterruptedException; TimeOutException; ClassExpressionNotInProfileException; FreshEntitiesException; InconsistentOntologyException

getUnsatisfiableClasses

public Node<OWLClass> getUnsatisfiableClasses()
                                       throws ReasonerInterruptedException,
                                              TimeOutException

Throws:: ReasonerInterruptedException; TimeOutException

isEntailed

public boolean isEntailed(OWLAxiom axiom)
                   throws ReasonerInterruptedException,
                          UnsupportedEntailmentTypeException,
                          TimeOutException,
                          AxiomNotInProfileException,
                          FreshEntitiesException,
                          InconsistentOntologyException

Throws:: ReasonerInterruptedException; UnsupportedEntailmentTypeException; TimeOutException; AxiomNotInProfileException; FreshEntitiesException; InconsistentOntologyException

isEntailed

public boolean isEntailed(Set<? extends OWLAxiom> axioms)
                   throws ReasonerInterruptedException,
                          UnsupportedEntailmentTypeException,
                          TimeOutException,
                          AxiomNotInProfileException,
                          FreshEntitiesException,
                          InconsistentOntologyException

Throws:: ReasonerInterruptedException; UnsupportedEntailmentTypeException; TimeOutException; AxiomNotInProfileException; FreshEntitiesException; InconsistentOntologyException

isEntailmentCheckingSupported

public boolean isEntailmentCheckingSupported(AxiomType<?> axiomType)

getTopClassNode

public Node<OWLClass> getTopClassNode()

getBottomClassNode

public Node<OWLClass> getBottomClassNode()

getSubClasses

public NodeSet<OWLClass> getSubClasses(OWLClassExpression ce,
                              boolean direct)
                                throws InconsistentOntologyException,
                                       ClassExpressionNotInProfileException,
                                       FreshEntitiesException,
                                       ReasonerInterruptedException,
                                       TimeOutException

Throws:: InconsistentOntologyException; ClassExpressionNotInProfileException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getSuperClasses

public NodeSet<OWLClass> getSuperClasses(OWLClassExpression ce,
                                boolean direct)
                                  throws InconsistentOntologyException,
                                         ClassExpressionNotInProfileException,
                                         FreshEntitiesException,
                                         ReasonerInterruptedException,
                                         TimeOutException

Throws:: InconsistentOntologyException; ClassExpressionNotInProfileException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getEquivalentClasses

public Node<OWLClass> getEquivalentClasses(OWLClassExpression ce)
                                    throws InconsistentOntologyException,
                                           ClassExpressionNotInProfileException,
                                           FreshEntitiesException,
                                           ReasonerInterruptedException,
                                           TimeOutException

Throws:: InconsistentOntologyException; ClassExpressionNotInProfileException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDisjointClasses

public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression ce)

getTopObjectPropertyNode

public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode()

getBottomObjectPropertyNode

public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode()

getSubObjectProperties

public NodeSet<OWLObjectPropertyExpression> getSubObjectProperties(OWLObjectPropertyExpression pe,
                                                          boolean direct)
                                                            throws InconsistentOntologyException,
                                                                   FreshEntitiesException,
                                                                   ReasonerInterruptedException,
                                                                   TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getSuperObjectProperties

public NodeSet<OWLObjectPropertyExpression> getSuperObjectProperties(OWLObjectPropertyExpression pe,
                                                            boolean direct)
                                                              throws InconsistentOntologyException,
                                                                     FreshEntitiesException,
                                                                     ReasonerInterruptedException,
                                                                     TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getEquivalentObjectProperties

public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties(OWLObjectPropertyExpression pe)
                                                                throws InconsistentOntologyException,
                                                                       FreshEntitiesException,
                                                                       ReasonerInterruptedException,
                                                                       TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDisjointObjectProperties

public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(OWLObjectPropertyExpression pe)
                                                                 throws InconsistentOntologyException,
                                                                        FreshEntitiesException,
                                                                        ReasonerInterruptedException,
                                                                        TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getInverseObjectProperties

public Node<OWLObjectPropertyExpression> getInverseObjectProperties(OWLObjectPropertyExpression pe)
                                                             throws InconsistentOntologyException,
                                                                    FreshEntitiesException,
                                                                    ReasonerInterruptedException,
                                                                    TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getObjectPropertyDomains

public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe,
                                         boolean direct)
                                           throws InconsistentOntologyException,
                                                  FreshEntitiesException,
                                                  ReasonerInterruptedException,
                                                  TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getObjectPropertyRanges

public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe,
                                        boolean direct)
                                          throws InconsistentOntologyException,
                                                 FreshEntitiesException,
                                                 ReasonerInterruptedException,
                                                 TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getTopDataPropertyNode

public Node<OWLDataProperty> getTopDataPropertyNode()

getBottomDataPropertyNode

public Node<OWLDataProperty> getBottomDataPropertyNode()

getSubDataProperties

public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe,
                                            boolean direct)
                                              throws InconsistentOntologyException,
                                                     FreshEntitiesException,
                                                     ReasonerInterruptedException,
                                                     TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getSuperDataProperties

public NodeSet<OWLDataProperty> getSuperDataProperties(OWLDataProperty pe,
                                              boolean direct)
                                                throws InconsistentOntologyException,
                                                       FreshEntitiesException,
                                                       ReasonerInterruptedException,
                                                       TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getEquivalentDataProperties

public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe)
                                                  throws InconsistentOntologyException,
                                                         FreshEntitiesException,
                                                         ReasonerInterruptedException,
                                                         TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDisjointDataProperties

public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe)
                                                   throws InconsistentOntologyException,
                                                          FreshEntitiesException,
                                                          ReasonerInterruptedException,
                                                          TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDataPropertyDomains

public NodeSet<OWLClass> getDataPropertyDomains(OWLDataProperty pe,
                                       boolean direct)
                                         throws InconsistentOntologyException,
                                                FreshEntitiesException,
                                                ReasonerInterruptedException,
                                                TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getTypes

public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind,
                         boolean direct)
                           throws InconsistentOntologyException,
                                  FreshEntitiesException,
                                  ReasonerInterruptedException,
                                  TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getInstances

public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce,
                                       boolean direct)
                                         throws InconsistentOntologyException,
                                                ClassExpressionNotInProfileException,
                                                FreshEntitiesException,
                                                ReasonerInterruptedException,
                                                TimeOutException

Throws:: InconsistentOntologyException; ClassExpressionNotInProfileException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getObjectPropertyValues

public NodeSet<OWLNamedIndividual> getObjectPropertyValues(OWLNamedIndividual ind,
                                                  OWLObjectPropertyExpression pe)
                                                    throws InconsistentOntologyException,
                                                           FreshEntitiesException,
                                                           ReasonerInterruptedException,
                                                           TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDataPropertyValues

public Set<OWLLiteral> getDataPropertyValues(OWLNamedIndividual ind,
                                    OWLDataProperty pe)
                                      throws InconsistentOntologyException,
                                             FreshEntitiesException,
                                             ReasonerInterruptedException,
                                             TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getSameIndividuals

public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind)
                                            throws InconsistentOntologyException,
                                                   FreshEntitiesException,
                                                   ReasonerInterruptedException,
                                                   TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDifferentIndividuals

public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind)
                                                    throws InconsistentOntologyException,
                                                           FreshEntitiesException,
                                                           ReasonerInterruptedException,
                                                           TimeOutException

Throws:: InconsistentOntologyException; FreshEntitiesException; ReasonerInterruptedException; TimeOutException

getDataFactory

protected OWLDataFactory getDataFactory()

dumpClassHierarchy
```
public void dumpClassHierarchy(boolean showBottomNode)
```
Parameters:
showBottomNode - true if bottom node is to be showed

dumpObjectPropertyHierarchy
```
public void dumpObjectPropertyHierarchy(boolean showBottomNode)
```
Parameters:
showBottomNode - true if bottom node is to be showed

dumpDataPropertyHierarchy
```
public void dumpDataPropertyHierarchy(boolean showBottomNode)
```
Parameters:
showBottomNode - true if bottom node is to be showed

Class StructuralReasoner

Field Summary

Constructor Summary

Method Summary

Methods inherited from class org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

Methods inherited from class java.lang.Object

Field Detail

pm

Constructor Detail

StructuralReasoner

Method Detail

getReasonerName

getFreshEntityPolicy

getIndividualNodeSetPolicy

getReasonerVersion

handleChanges

interrupt

prepareReasoner

precomputeInferences

isPrecomputed

getPrecomputableInferenceTypes

throwExceptionIfInterrupted

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

getDataFactory

dumpClassHierarchy

dumpObjectPropertyHierarchy

dumpDataPropertyHierarchy