com.clarkparsia.modularity
Class IncrementalClassifier

java.lang.Object
  extended by com.clarkparsia.modularity.IncrementalClassifier
All Implemented Interfaces:
org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner

public class IncrementalClassifier
extends java.lang.Object
implements org.semanticweb.owlapi.reasoner.OWLReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Nested Class Summary
 class IncrementalClassifier.DisjointClassComparator
           
static class IncrementalClassifier.PersistedState
          A class that has access to all the internal parts of the IncrementalClassifier that has to be persisted when saving the state to the stream.
 
Field Summary
static java.util.logging.Logger log
           
 Timers timers
           
 
Constructor Summary
IncrementalClassifier(IncrementalClassifier.PersistedState persistedState)
           
IncrementalClassifier(IncrementalClassifier.PersistedState persistedState, org.semanticweb.owlapi.model.OWLOntology ontology)
           
IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology)
           
IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, ModuleExtractor moduleExtractor)
           
IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
           
IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config, ModuleExtractor moduleExtractor)
           
IncrementalClassifier(PelletReasoner reasoner)
           
IncrementalClassifier(PelletReasoner reasoner, ModuleExtractor extractor)
           
 
Method Summary
static Taxonomy<org.semanticweb.owlapi.model.OWLClass> buildClassHierarchy(PelletReasoner reasoner)
          Build the class hierarchy based on the results from the reasoner
 void classify()
           
 void dispose()
           
 void flush()
          
 java.util.Collection<org.semanticweb.owlapi.model.OWLAxiom> getAxioms()
           
 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()
          
 org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty pe, boolean direct)
          
 java.util.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 clsC)
           
 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)
          
 MultiValueMap<org.semanticweb.owlapi.model.OWLEntity,org.semanticweb.owlapi.model.OWLEntity> getModules()
          Get the modules
 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)
          
 java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
          
 java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
          
 java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
          
 java.util.Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
          
 PelletReasoner getReasoner()
          Get the underlying reasoner
 java.lang.String getReasonerName()
          
 org.semanticweb.owlapi.util.Version getReasonerVersion()
          
 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 clsC, 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)
          
 Taxonomy<org.semanticweb.owlapi.model.OWLClass> getTaxonomy()
           
 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()
          
 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()
          
 void interrupt()
          
 boolean isClassified()
           
 boolean isConsistent()
          
 boolean isDefined(org.semanticweb.owlapi.model.OWLClass cls)
           
 boolean isDefined(org.semanticweb.owlapi.model.OWLDataProperty prop)
           
 boolean isDefined(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
           
 boolean isDefined(org.semanticweb.owlapi.model.OWLObjectProperty prop)
           
 boolean isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
          
 boolean isEntailed(java.util.Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
          
 boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
          
 boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression clsC, org.semanticweb.owlapi.model.OWLClassExpression clsD)
           
 boolean isMultiThreaded()
          Returns the value of multi-threaded option.
 boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
          
 boolean isRealized()
           
 boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression description)
           
 void ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
           
 void precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
          
 void prepareReasoner()
          
 void setMultiThreaded(boolean multiThreaded)
          Sets the multi-threading option.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static final java.util.logging.Logger log

timers

public Timers timers
Constructor Detail

IncrementalClassifier

public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology)

IncrementalClassifier

public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology,
                             org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)

IncrementalClassifier

public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology,
                             ModuleExtractor moduleExtractor)

IncrementalClassifier

public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology,
                             org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config,
                             ModuleExtractor moduleExtractor)

IncrementalClassifier

public IncrementalClassifier(PelletReasoner reasoner)

IncrementalClassifier

public IncrementalClassifier(PelletReasoner reasoner,
                             ModuleExtractor extractor)

IncrementalClassifier

public IncrementalClassifier(IncrementalClassifier.PersistedState persistedState)

IncrementalClassifier

public IncrementalClassifier(IncrementalClassifier.PersistedState persistedState,
                             org.semanticweb.owlapi.model.OWLOntology ontology)
Method Detail

getAxioms

public java.util.Collection<org.semanticweb.owlapi.model.OWLAxiom> getAxioms()

buildClassHierarchy

public static Taxonomy<org.semanticweb.owlapi.model.OWLClass> buildClassHierarchy(PelletReasoner reasoner)
Build the class hierarchy based on the results from the reasoner


classify

public void classify()

dispose

public void dispose()
Specified by:
dispose in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getEquivalentClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression clsC)
Specified by:
getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getModules

public MultiValueMap<org.semanticweb.owlapi.model.OWLEntity,org.semanticweb.owlapi.model.OWLEntity> getModules()
Get the modules


getReasoner

public PelletReasoner getReasoner()
Get the underlying reasoner


getSubClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression clsC,
                                                                                                    boolean direct)
Specified by:
getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isClassified

public boolean isClassified()

isRealized

public boolean isRealized()

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLClass cls)

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLDataProperty prop)

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLNamedIndividual ind)

isDefined

public boolean isDefined(org.semanticweb.owlapi.model.OWLObjectProperty prop)

isEquivalentClass

public boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression clsC,
                                 org.semanticweb.owlapi.model.OWLClassExpression clsD)

isSatisfiable

public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression description)
Specified by:
isSatisfiable in interface org.semanticweb.owlapi.reasoner.OWLReasoner

ontologiesChanged

public void ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
                       throws org.semanticweb.owlapi.model.OWLException
Specified by:
ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener
Throws:
org.semanticweb.owlapi.model.OWLException

isMultiThreaded

public boolean isMultiThreaded()
Returns the value of multi-threaded option.

Returns:
the value of multi-threaded option
See Also:
setMultiThreaded(boolean)

setMultiThreaded

public void setMultiThreaded(boolean multiThreaded)
Sets the multi-threading option. In multi-threaded mode, during the initial setup, the regular classification and module extraction are performed in two separate threads concurrently. Doing so might reduce overall processing time but it also increases the memory requirements because both processes need additional memory during running which will be freed at the end of the process.

Parameters:
multiThreaded - value to set the multi-threaded option

flush

public void flush()

Specified by:
flush 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

getBottomDataPropertyNode

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

Specified by:
getBottomDataPropertyNode 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

getBufferingMode

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

Specified by:
getBufferingMode 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)
                                                                                                      throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                             org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                             org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                             org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:
getDataPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getDataPropertyValues

public java.util.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

Specified by:
getDataPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getDifferentIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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)

Specified by:
getDisjointClasses 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)
                                                                                                                throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                       org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                       org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                       org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:
getDisjointDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getDisjointObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getEquivalentDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getEquivalentObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

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

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

Specified by:
getInstances in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

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

Specified by:
getInverseObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getObjectPropertyDomains in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getObjectPropertyRanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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

Specified by:
getObjectPropertyValues in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getPendingAxiomAdditions

public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()

Specified by:
getPendingAxiomAdditions in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingAxiomRemovals

public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()

Specified by:
getPendingAxiomRemovals in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getPendingChanges

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

Specified by:
getPendingChanges in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getReasonerName

public java.lang.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

getRootOntology

public org.semanticweb.owlapi.model.OWLOntology getRootOntology()

Specified by:
getRootOntology 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)
                                                                                                         throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                                org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                                org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                                org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:
getSameIndividuals in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

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

Specified by:
getSubDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

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

Specified by:
getSubObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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

Specified by:
getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

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

Specified by:
getSuperDataProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
getSuperObjectProperties in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getTimeOut

public long getTimeOut()

Specified by:
getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasoner

getTopClassNode

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

Specified by:
getTopClassNode 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

getTopObjectPropertyNode

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

Specified by:
getTopObjectPropertyNode 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)
                                                                                        throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                               org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                               org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                               org.semanticweb.owlapi.reasoner.TimeOutException

Specified by:
getTypes in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getUnsatisfiableClasses

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

Specified by:
getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

interrupt

public void interrupt()

Specified by:
interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner

isConsistent

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

Specified by:
isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

Specified by:
isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

isEntailed

public boolean isEntailed(java.util.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

Specified by:
isEntailed in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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

isEntailmentCheckingSupported

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

Specified by:
isEntailmentCheckingSupported in interface org.semanticweb.owlapi.reasoner.OWLReasoner

prepareReasoner

public void prepareReasoner()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException

Throws:
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getTaxonomy

public Taxonomy<org.semanticweb.owlapi.model.OWLClass> getTaxonomy()

getPrecomputableInferenceTypes

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

Specified by:
getPrecomputableInferenceTypes 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

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

Specified by:
precomputeInferences in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Throws:
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException


Copyright © 2004 Evren Sirin. All Rights Reserved.