org.semanticweb.owlapi.reasoner.structural

Class StructuralReasoner

java.lang.Object

org.semanticweb.owlapi.reasoner.impl.OWLReasonerBase

org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.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 org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor	pm

Constructor Summary

Constructors

Constructor and Description
StructuralReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Method Summary

Methods

Modifier and Type	Method and Description
void	dumpClassHierarchy(boolean showBottomNode)
void	dumpDataPropertyHierarchy(boolean showBottomNode)
void	dumpObjectPropertyHierarchy(boolean showBottomNode)
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()
protected org.semanticweb.owlapi.model.OWLDataFactory	getDataFactory()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
Set<org.semanticweb.owlapi.model.OWLLiteral>	getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLDataProperty pe)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression pe)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
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 ce, boolean direct)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual ind, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)
Set<org.semanticweb.owlapi.reasoner.InferenceType>	getPrecomputableInferenceTypes()
String	getReasonerName()
org.semanticweb.owlapi.util.Version	getReasonerVersion()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>	getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass>	getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression ce, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty>	getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe, boolean direct)
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 ind, boolean direct)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass>	getUnsatisfiableClasses()
protected void	handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms, Set<org.semanticweb.owlapi.model.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(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	isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
void	precomputeInferences(org.semanticweb.owlapi.reasoner.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 org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor pm

Constructor Detail

StructuralReasoner

public StructuralReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
                  org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration,
                  org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Parameters:

rootOntology - the ontology

configuration - the reasoner configuration

bufferingMode - the buffering mode

Method Detail

getReasonerName

public String getReasonerName()

getFreshEntityPolicy

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

Specified by:

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

Overrides:

getFreshEntityPolicy in class OWLReasonerBase

getIndividualNodeSetPolicy

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

Specified by:

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

Overrides:

getIndividualNodeSetPolicy in class OWLReasonerBase

getReasonerVersion

public org.semanticweb.owlapi.util.Version getReasonerVersion()

handleChanges

protected void handleChanges(Set<org.semanticweb.owlapi.model.OWLAxiom> addAxioms,
                 Set<org.semanticweb.owlapi.model.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 org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException - on interruption

org.semanticweb.owlapi.reasoner.TimeOutException - on timeout

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

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

isPrecomputed

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

getPrecomputableInferenceTypes

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

throwExceptionIfInterrupted

protected void throwExceptionIfInterrupted()

isConsistent

public boolean isConsistent()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

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

getUnsatisfiableClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
                                                                                                    throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                           org.semanticweb.owlapi.reasoner.TimeOutException

Throws:

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

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

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

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

isEntailmentCheckingSupported

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

getTopClassNode

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

getBottomClassNode

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

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.InconsistentOntologyException,
                                                                                                    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                    org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException

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

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

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

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

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

getDisjointClasses

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

getTopObjectPropertyNode

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

getBottomObjectPropertyNode

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

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getTopDataPropertyNode

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

getBottomDataPropertyNode

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

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

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

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

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

Throws:

org.semanticweb.owlapi.reasoner.InconsistentOntologyException

org.semanticweb.owlapi.reasoner.FreshEntitiesException

org.semanticweb.owlapi.reasoner.ReasonerInterruptedException

org.semanticweb.owlapi.reasoner.TimeOutException

getDataFactory

protected org.semanticweb.owlapi.model.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