Package 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:

OWLReasoner

public class StructuralReasoner
extends OWLReasonerBase

This is a simple structural reasoner that essentially answers with told information. It is incomplete.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	dumpClassHierarchy(boolean showBottomNode)
void	dumpDataPropertyHierarchy(boolean showBottomNode)
void	dumpObjectPropertyHierarchy(boolean showBottomNode)
Node<OWLClass>	getBottomClassNode()
Node<OWLDataProperty>	getBottomDataPropertyNode()
Node<OWLObjectPropertyExpression>	getBottomObjectPropertyNode()
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()
void	interrupt()
boolean	isConsistent()
boolean	isEntailed(Set<? extends OWLAxiom> axioms)
boolean	isEntailed(OWLAxiom axiom)
boolean	isEntailmentCheckingSupported(AxiomType<?> axiomType)
boolean	isPrecomputed(InferenceType inferenceType)
boolean	isSatisfiable(OWLClassExpression classExpression)
void	precomputeInferences(InferenceType... inferenceTypes)
final void	prepareReasoner()

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

dispose, flush, getBufferingMode, getOWLDataFactory, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getReasonerAxioms, getReasonerConfiguration, getRootOntology, getTimeOut

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, representativeInstances, representativeInstances, representativeInstances, 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 Details

StructuralReasoner

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

Parameters:

rootOntology - the ontology

configuration - the reasoner configuration

bufferingMode - the buffering mode

Method Details

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()

interrupt

public void interrupt()

prepareReasoner

public final void prepareReasoner()

Throws:

ReasonerInterruptedException - on interruption

TimeOutException - on timeout

precomputeInferences

public void precomputeInferences(InferenceType... inferenceTypes)

isPrecomputed

public boolean isPrecomputed(InferenceType inferenceType)

getPrecomputableInferenceTypes

public Set<InferenceType> getPrecomputableInferenceTypes()

isConsistent

public boolean isConsistent()

isSatisfiable

public boolean isSatisfiable(OWLClassExpression classExpression)

getUnsatisfiableClasses

public Node<OWLClass> getUnsatisfiableClasses()

isEntailed

public boolean isEntailed(OWLAxiom axiom)

isEntailed

public boolean isEntailed(Set<? extends OWLAxiom> axioms)

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)

getSuperClasses

public NodeSet<OWLClass> getSuperClasses(OWLClassExpression ce,
 boolean direct)

getEquivalentClasses

public Node<OWLClass> getEquivalentClasses(OWLClassExpression ce)

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)

getSuperObjectProperties

public NodeSet<OWLObjectPropertyExpression> getSuperObjectProperties(OWLObjectPropertyExpression pe,
 boolean direct)

getEquivalentObjectProperties

public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties(OWLObjectPropertyExpression pe)

getDisjointObjectProperties

public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(OWLObjectPropertyExpression pe)

getInverseObjectProperties

public Node<OWLObjectPropertyExpression> getInverseObjectProperties(OWLObjectPropertyExpression pe)

getObjectPropertyDomains

public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe,
 boolean direct)

getObjectPropertyRanges

public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe,
 boolean direct)

getTopDataPropertyNode

public Node<OWLDataProperty> getTopDataPropertyNode()

getBottomDataPropertyNode

public Node<OWLDataProperty> getBottomDataPropertyNode()

getSubDataProperties

public NodeSet<OWLDataProperty> getSubDataProperties(OWLDataProperty pe,
 boolean direct)

getSuperDataProperties

public NodeSet<OWLDataProperty> getSuperDataProperties(OWLDataProperty pe,
 boolean direct)

getEquivalentDataProperties

public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe)

getDisjointDataProperties

public NodeSet<OWLDataProperty> getDisjointDataProperties(OWLDataPropertyExpression pe)

getDataPropertyDomains

public NodeSet<OWLClass> getDataPropertyDomains(OWLDataProperty pe,
 boolean direct)

getTypes

public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind,
 boolean direct)

getInstances

public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce,
 boolean direct)

getObjectPropertyValues

public NodeSet<OWLNamedIndividual> getObjectPropertyValues(OWLNamedIndividual ind,
 OWLObjectPropertyExpression pe)

getDataPropertyValues

public Set<OWLLiteral> getDataPropertyValues(OWLNamedIndividual ind,
 OWLDataProperty pe)

getSameIndividuals

public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind)

getDifferentIndividuals

public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind)

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