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 and Description
StructuralReasoner(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode)

Method Summary

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

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

Constructor Detail

StructuralReasoner

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

Parameters:

rootOntology - the ontology

configuration - the reasoner configuration

bufferingMode - the buffering mode

Method Detail

getReasonerName

@Nonnull
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

@Nonnull
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(@Nonnull
                             OWLClassExpression classExpression)

getUnsatisfiableClasses

@Nonnull
public Node<OWLClass> getUnsatisfiableClasses()

isEntailed

public boolean isEntailed(OWLAxiom axiom)

isEntailed

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

isEntailmentCheckingSupported

public boolean isEntailmentCheckingSupported(AxiomType<?> axiomType)

getTopClassNode

public Node<OWLClass> getTopClassNode()

getBottomClassNode

public Node<OWLClass> getBottomClassNode()

getSubClasses

@Nonnull
public NodeSet<OWLClass> getSubClasses(@Nonnull
                                                OWLClassExpression ce,
                                                boolean direct)

getSuperClasses

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

getEquivalentClasses

public Node<OWLClass> getEquivalentClasses(@Nonnull
                                           OWLClassExpression ce)

getDisjointClasses

@Nonnull
public NodeSet<OWLClass> getDisjointClasses(@Nonnull
                                                     OWLClassExpression ce)

getTopObjectPropertyNode

public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode()

getBottomObjectPropertyNode

public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode()

getSubObjectProperties

@Nonnull
public NodeSet<OWLObjectPropertyExpression> getSubObjectProperties(OWLObjectPropertyExpression pe,
                                                                            boolean direct)

getSuperObjectProperties

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

getEquivalentObjectProperties

public Node<OWLObjectPropertyExpression> getEquivalentObjectProperties(OWLObjectPropertyExpression pe)

getDisjointObjectProperties

@Nonnull
public NodeSet<OWLObjectPropertyExpression> getDisjointObjectProperties(OWLObjectPropertyExpression pe)

getInverseObjectProperties

public Node<OWLObjectPropertyExpression> getInverseObjectProperties(@Nonnull
                                                                    OWLObjectPropertyExpression pe)

getObjectPropertyDomains

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

getObjectPropertyRanges

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

getTopDataPropertyNode

public Node<OWLDataProperty> getTopDataPropertyNode()

getBottomDataPropertyNode

public Node<OWLDataProperty> getBottomDataPropertyNode()

getSubDataProperties

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

getSuperDataProperties

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

getEquivalentDataProperties

public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe)

getDisjointDataProperties

@Nonnull
public NodeSet<OWLDataProperty> getDisjointDataProperties(@Nonnull
                                                                   OWLDataPropertyExpression pe)

getDataPropertyDomains

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

getTypes

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

getInstances

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

getObjectPropertyValues

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

getDataPropertyValues

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

getSameIndividuals

@Nonnull
public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind)

getDifferentIndividuals

@Nonnull
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