uk.ac.manchester.cs.jfact

Class JFactReasoner

java.lang.Object

uk.ac.manchester.cs.jfact.JFactReasoner

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner, org.semanticweb.owlapi.reasoner.OWLReasoner

public class JFactReasoner
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner, Serializable

Synchronization policy: all methods for OWLReasoner are synchronized, except the methods which do not touch the kernel or only affect threadsafe data structures. inner private classes are not synchronized since methods from those classes cannot be invoked from outsize synchronized methods.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode

Constructor Summary

Constructors

Constructor and Description
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, Collection<org.semanticweb.owlapi.model.OWLAxiom> axioms, JFactReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology, JFactReasonerConfiguration config, org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)
JFactReasoner(org.semanticweb.owlapi.model.OWLOntology o, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration c, org.semanticweb.owlapi.reasoner.BufferingMode b)

Method Summary

Modifier and Type	Method and Description
void	dispose()
void	dumpClassHierarchy(LogAdapter pw, boolean includeBottomNode)
void	flush()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getAtomAxioms(int index)
Set<org.semanticweb.owlapitools.decomposition.OntologyAtom>	getAtomDependents(int index)
int	getAtomicDecompositionSize(boolean useSemantics, uk.ac.manchester.cs.owlapi.modularity.ModuleType type)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getAtomModule(int index)
org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode	getBlocker(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object)
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()
JFactReasonerConfiguration	getConfiguration()
org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLDataRange>	getDataLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty>	getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode>	getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n, org.semanticweb.owlapi.model.OWLDataProperty property)
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.Node<org.semanticweb.owlapi.model.OWLNamedIndividual>	getDataRelatedIndividuals(java.util.stream.Stream<org.semanticweb.owlapi.model.OWLIndividual> individuals, org.semanticweb.owlapi.model.OWLDataProperty r, org.semanticweb.owlapi.model.OWLDataProperty s, int op) get all individuals from the set individuals that has r-successor and s-successor and those are related via OP: r op s.
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)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getModule(Set<org.semanticweb.owlapi.model.OWLEntity> signature, boolean useSemantic, uk.ac.manchester.cs.owlapi.modularity.ModuleType moduletype)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getNonLocal(Set<org.semanticweb.owlapi.model.OWLEntity> signature, boolean useSemantic, uk.ac.manchester.cs.owlapi.modularity.ModuleType moduletype)
org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLClassExpression>	getObjectLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object, boolean deterministicOnly)
Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode>	getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n, org.semanticweb.owlapi.model.OWLObjectProperty property)
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)
Ontology	getOntology()
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()
String	getReasonerName()
org.semanticweb.owlapi.util.Version	getReasonerVersion()
org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode	getRoot(org.semanticweb.owlapi.model.OWLClassExpression expression)
org.semanticweb.owlapi.model.OWLOntology	getRootOntology()
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)
Set<org.semanticweb.owlapi.model.OWLAxiom>	getTautologies()
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()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getTrace(org.semanticweb.owlapi.model.OWLAxiom axiom)
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()
static List<org.semanticweb.owlapi.model.OWLAxiom>	importsIncluded(org.semanticweb.owlapi.model.OWLOntology ont)
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	ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
void	precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
void	writeReasoningResult(long time)

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

getDataPropertyDomains, getDataPropertyDomains, getInstances, getInstances, getObjectPropertyDomains, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyRanges, getSubClasses, getSubClasses, getSubDataProperties, getSubDataProperties, getSubObjectProperties, getSubObjectProperties, getSuperClasses, getSuperClasses, getSuperDataProperties, getSuperDataProperties, getSuperObjectProperties, getSuperObjectProperties, getTypes, getTypes, isEntailed, isEntailed

Constructor Detail

JFactReasoner

public JFactReasoner(org.semanticweb.owlapi.model.OWLOntology o,
                     org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration c,
                     org.semanticweb.owlapi.reasoner.BufferingMode b)

Parameters:

o - o

c - c

b - b

JFactReasoner

public JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
                     Collection<org.semanticweb.owlapi.model.OWLAxiom> axioms,
                     JFactReasonerConfiguration config,
                     org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Parameters:

rootOntology - rootOntology

axioms - axioms to actually use

config - config

bufferingMode - bufferingMode

JFactReasoner

public JFactReasoner(org.semanticweb.owlapi.model.OWLOntology rootOntology,
                     JFactReasonerConfiguration config,
                     org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode)

Parameters:

rootOntology - rootOntology

config - config

bufferingMode - bufferingMode

Method Detail

importsIncluded

public static List<org.semanticweb.owlapi.model.OWLAxiom> importsIncluded(org.semanticweb.owlapi.model.OWLOntology ont)

Parameters:

ont - ontology

Returns:

all axioms in the ontology and its import closure

getConfiguration

public JFactReasonerConfiguration getConfiguration()

Returns:

the configuration for this reasoner

getOntology

public Ontology getOntology()

Returns:

ontology

getEquivalentClasses

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

Specified by:

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

ontologiesChanged

public void ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)

Specified by:

ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

getBufferingMode

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

Specified by:

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

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut 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

getPendingChanges

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

Specified by:

getPendingChanges 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

flush

public void flush()

Specified by:

flush 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

getIndividualNodeSetPolicy

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

Specified by:

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

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

interrupt

public void interrupt()

Specified by:

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

precomputeInferences

public void precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)

Specified by:

precomputeInferences 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

getPrecomputableInferenceTypes

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

Specified by:

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

isConsistent

public boolean isConsistent()

Specified by:

isConsistent 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

getUnsatisfiableClasses

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

Specified by:

getUnsatisfiableClasses 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

isEntailmentCheckingSupported

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

Specified by:

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

getTrace

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

Parameters:

axiom - axiom

Returns:

tracing set (set of axioms that were participate in achieving result) for a given entailment. Return empty set if the axiom is not entailed.

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

getSubClasses

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

Specified by:

getSubClasses 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 ce,
                                                                                                      boolean direct)

Specified by:

getSuperClasses 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 ce)

Specified by:

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

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

getSubObjectProperties

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

Specified by:

getSubObjectProperties 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 pe,
                                                                                                                                  boolean direct)

Specified by:

getSuperObjectProperties 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 pe)

Specified by:

getEquivalentObjectProperties 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 pe)

Specified by:

getDisjointObjectProperties 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 pe)

Specified by:

getInverseObjectProperties 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 pe,
                                                                                                               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 pe,
                                                                                                              boolean direct)

Specified by:

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

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

getSubDataProperties

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

Specified by:

getSubDataProperties 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 pe,
                                                                                                                    boolean direct)

Specified by:

getSuperDataProperties 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 pe)

Specified by:

getEquivalentDataProperties 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 pe)

Specified by:

getDisjointDataProperties 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 pe,
                                                                                                             boolean direct)

Specified by:

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

getTypes

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

Specified by:

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

getInstances

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

Specified by:

getInstances 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 ind,
                                                                                                                        org.semanticweb.owlapi.model.OWLObjectPropertyExpression pe)

Specified by:

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

getDataPropertyValues

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

Specified by:

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

getSameIndividuals

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

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

Specified by:

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

dispose

public void dispose()

Specified by:

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

dumpClassHierarchy

public void dumpClassHierarchy(LogAdapter pw,
                               boolean includeBottomNode)

Parameters:

pw - pw

includeBottomNode - includeBottomNode

writeReasoningResult

public void writeReasoningResult(long time)

Parameters:

time - time

getRoot

public org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode getRoot(org.semanticweb.owlapi.model.OWLClassExpression expression)

Specified by:

getRoot in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getObjectNeighbours

public org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                                                    boolean deterministicOnly)

Specified by:

getObjectNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getDataNeighbours

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                            boolean deterministicOnly)

Specified by:

getDataNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getObjectNeighbours

public Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode> getObjectNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n,
                                                                                                                                  org.semanticweb.owlapi.model.OWLObjectProperty property)

Specified by:

getObjectNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getDataNeighbours

public Collection<org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode> getDataNeighbours(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode n,
                                                                                                                                org.semanticweb.owlapi.model.OWLDataProperty property)

Specified by:

getDataNeighbours in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getObjectLabel

public org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLClassExpression> getObjectLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                                      boolean deterministicOnly)

Specified by:

getObjectLabel in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getDataLabel

public org.semanticweb.owlapi.reasoner.Node<? extends org.semanticweb.owlapi.model.OWLDataRange> getDataLabel(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object,
                                                                                                              boolean deterministicOnly)

Specified by:

getDataLabel in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getBlocker

public org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode getBlocker(org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner.RootNode object)

Specified by:

getBlocker in interface org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner

getAtomicDecompositionSize

public int getAtomicDecompositionSize(boolean useSemantics,
                                      uk.ac.manchester.cs.owlapi.modularity.ModuleType type)

Parameters:

useSemantics - useSemantics

type - type

Returns:

number of atoms

getTautologies

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

Returns:

set of tautologies

getAtomAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getAtomAxioms(int index)

Parameters:

index - index

Returns:

set of axioms that corresponds to the atom with the id INDEX

getAtomModule

public Set<org.semanticweb.owlapi.model.OWLAxiom> getAtomModule(int index)

Parameters:

index - index

Returns:

set of axioms that corresponds to the module of the atom with the id INDEX

getAtomDependents

public Set<org.semanticweb.owlapitools.decomposition.OntologyAtom> getAtomDependents(int index)

Parameters:

index - index

Returns:

set of atoms on which atom with index INDEX depends

getModule

public Set<org.semanticweb.owlapi.model.OWLAxiom> getModule(Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                                                            boolean useSemantic,
                                                            uk.ac.manchester.cs.owlapi.modularity.ModuleType moduletype)

Parameters:

signature - signature

useSemantic - useSemantic

moduletype - moduletype

Returns:

set of axioms in the module

getNonLocal

public Set<org.semanticweb.owlapi.model.OWLAxiom> getNonLocal(Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                                                              boolean useSemantic,
                                                              uk.ac.manchester.cs.owlapi.modularity.ModuleType moduletype)

Parameters:

signature - signature

useSemantic - useSemantic

moduletype - moduletype

Returns:

set of non local axioms

getDataRelatedIndividuals

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> getDataRelatedIndividuals(java.util.stream.Stream<org.semanticweb.owlapi.model.OWLIndividual> individuals,
                                                                                                                       org.semanticweb.owlapi.model.OWLDataProperty r,
                                                                                                                       org.semanticweb.owlapi.model.OWLDataProperty s,
                                                                                                                       int op)

get all individuals from the set individuals that has r-successor and s-successor and those are related via OP: r op s.

Parameters:

individuals - set of individuals to choose from

r - first operand of the comparison

s - second operand of the comparison

op - comparison operation: 0 means "equal", 1 means "different", 2 means "lesser", 3 means "lesser than or equal", 4 means "greater than", 5 means "greater than or equal"

Returns:

data related individuals