|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.modularity.IncrementalClassifier
public class IncrementalClassifier
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
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 |
---|
public static final java.util.logging.Logger log
public Timers timers
Constructor Detail |
---|
public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology)
public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, ModuleExtractor moduleExtractor)
public IncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config, ModuleExtractor moduleExtractor)
public IncrementalClassifier(PelletReasoner reasoner)
public IncrementalClassifier(PelletReasoner reasoner, ModuleExtractor extractor)
public IncrementalClassifier(IncrementalClassifier.PersistedState persistedState)
public IncrementalClassifier(IncrementalClassifier.PersistedState persistedState, org.semanticweb.owlapi.model.OWLOntology ontology)
Method Detail |
---|
public java.util.Collection<org.semanticweb.owlapi.model.OWLAxiom> getAxioms()
public static Taxonomy<org.semanticweb.owlapi.model.OWLClass> buildClassHierarchy(PelletReasoner reasoner)
public void classify()
public void dispose()
dispose
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression clsC)
getEquivalentClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public MultiValueMap<org.semanticweb.owlapi.model.OWLEntity,org.semanticweb.owlapi.model.OWLEntity> getModules()
public PelletReasoner getReasoner()
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression clsC, boolean direct)
getSubClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isClassified()
public boolean isRealized()
public boolean isDefined(org.semanticweb.owlapi.model.OWLClass cls)
public boolean isDefined(org.semanticweb.owlapi.model.OWLDataProperty prop)
public boolean isDefined(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
public boolean isDefined(org.semanticweb.owlapi.model.OWLObjectProperty prop)
public boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression clsC, org.semanticweb.owlapi.model.OWLClassExpression clsD)
public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression description)
isSatisfiable
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public void ontologiesChanged(java.util.List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes) throws org.semanticweb.owlapi.model.OWLException
ontologiesChanged
in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener
org.semanticweb.owlapi.model.OWLException
public boolean isMultiThreaded()
setMultiThreaded(boolean)
public void setMultiThreaded(boolean multiThreaded)
multiThreaded
- value to set the multi-threaded optionpublic void flush()
flush
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getBottomClassNode()
getBottomClassNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getBottomDataPropertyNode()
getBottomDataPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getBottomObjectPropertyNode()
getBottomObjectPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
getBufferingMode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getDataPropertyDomains
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getDataPropertyValues
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getDifferentIndividuals
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression ce)
getDisjointClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getDisjointDataProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getDisjointObjectProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getEquivalentDataProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getEquivalentObjectProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
getFreshEntityPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
getIndividualNodeSetPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getInstances
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
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
getInverseObjectProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getObjectPropertyDomains
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getObjectPropertyRanges
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getObjectPropertyValues
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
getPendingAxiomAdditions
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
getPendingAxiomRemovals
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public java.util.List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
getPendingChanges
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public java.lang.String getReasonerName()
getReasonerName
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.util.Version getReasonerVersion()
getReasonerVersion
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.model.OWLOntology getRootOntology()
getRootOntology
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getSameIndividuals
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSubDataProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSubObjectProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSuperClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
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
getSuperDataProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
getSuperObjectProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public long getTimeOut()
getTimeOut
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getTopClassNode()
getTopClassNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> getTopDataPropertyNode()
getTopDataPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getTopObjectPropertyNode()
getTopObjectPropertyNode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
getTypes
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses() throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException
getUnsatisfiableClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public void interrupt()
interrupt
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isConsistent() throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException
isConsistent
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
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
isEntailed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
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
isEntailed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
public boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> axiomType)
isEntailmentCheckingSupported
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public void prepareReasoner() throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
public Taxonomy<org.semanticweb.owlapi.model.OWLClass> getTaxonomy()
public java.util.Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
getPrecomputableInferenceTypes
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType inferenceType)
isPrecomputed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
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
precomputeInferences
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |