|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.more.MOReReasoner
public class MOReReasoner
Nested Class Summary | |
---|---|
protected class |
MOReReasoner.OntologyChangeListener
|
Field Summary | |
---|---|
protected int |
classified
|
protected org.semanticweb.owlapi.model.OWLOntology |
compmodule_onto
|
protected int |
compModuleSize
|
protected Set<org.semanticweb.owlapi.model.OWLEntity> |
compSignature
|
protected org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration |
configuration
|
protected static int |
ELKFRAGMENT
|
protected String |
iri_compmodule_ontology
|
protected String |
iri_lmodule_ontology
|
protected String |
iri_str_working_ontology
|
protected boolean |
isBuffered
|
protected boolean |
isMonitorUp
|
protected int |
lFragment
|
protected org.semanticweb.owlapi.model.OWLOntology |
lmodule_onto
We need to keep them to remove them from reasoner before reclassifying This can be avoided if incremental functionalities are implemented |
protected Set<org.semanticweb.owlapi.model.OWLAxiom> |
lModuleAxioms
|
protected org.semanticweb.owlapi.reasoner.OWLReasoner |
lReasoner
|
protected Set<org.semanticweb.owlapi.model.OWLEntity> |
lSignature
|
protected org.semanticweb.owlapi.model.OWLOntologyManager |
manager
|
protected boolean |
normalizeAxioms
|
protected int |
notYetClassified
|
protected org.semanticweb.owlapi.model.OWLOntology |
ontology
Working ontology |
protected static int |
OWL2EL
|
protected org.semanticweb.owlapi.reasoner.OWLReasoner |
owl2reasoner
|
protected int |
OWL2REASONERID
|
protected List<org.semanticweb.owlapi.model.OWLOntologyChange> |
pendingChanges_root_ontology
Changes if incremental classification |
protected org.semanticweb.owlapi.model.OWLOntology |
root_ontology
Original ontology |
protected MOReReasoner.OntologyChangeListener |
root_ontologyChangeListener
Listener to track ontology changes (Very important for Protege plugin) |
Constructor Summary | |
---|---|
MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy)
|
|
MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy,
boolean isBuffered,
boolean normalizeAxioms,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
|
|
MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy,
boolean isBuffered,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
|
|
MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy,
int fragment)
|
Method Summary | |
---|---|
boolean |
axiomInLfragment(org.semanticweb.owlapi.model.OWLAxiom axiom,
int fragment)
|
void |
classifyClasses()
|
protected void |
clearStatus()
If ontology is reloaded then we should clear current status. |
void |
dispose()
|
protected void |
disposeUsedReasoners()
|
protected Set<org.semanticweb.owlapi.model.OWLAxiom> |
extractComplementModule()
|
void |
finalize()
|
protected void |
findLsignature()
|
void |
flush()
|
protected void |
flushChangesIfRequired()
|
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()
|
int |
getCompModuleSize()
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty arg0,
boolean arg1)
|
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual arg0,
org.semanticweb.owlapi.model.OWLDataProperty arg1)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getDifferentIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual arg0)
|
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 arg0)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getDisjointObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0)
|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0)
|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty arg0)
|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0)
|
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 arg0,
boolean arg1)
|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getInverseObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0)
|
Set<org.semanticweb.owlapi.model.OWLEntity> |
getLsignature()
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getObjectPropertyDomains(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0,
boolean arg1)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getObjectPropertyRanges(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0,
boolean arg1)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getObjectPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual arg0,
org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg1)
|
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()
|
String |
getReasonerVersionStr()
|
org.semanticweb.owlapi.model.OWLOntology |
getRootOntology()
|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> |
getSameIndividuals(org.semanticweb.owlapi.model.OWLNamedIndividual arg0)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0,
boolean direct)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty direct,
boolean arg1)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getSubObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0,
boolean direct)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0,
boolean direct)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSuperDataProperties(org.semanticweb.owlapi.model.OWLDataProperty arg0,
boolean direct)
|
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
getSuperObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0,
boolean direct)
|
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 arg0,
boolean arg1)
|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
getUnsatisfiableClasses()
|
protected void |
includeLostSignature()
When filtering ontology some signature entities may be lost if they are not referenced in any Tbox or RBox axiom |
void |
interrupt()
|
protected boolean |
isBufferingMode()
|
boolean |
isConsistent()
|
boolean |
isEntailed(org.semanticweb.owlapi.model.OWLAxiom arg0)
|
boolean |
isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> arg0)
|
boolean |
isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> arg0)
|
protected boolean |
isFullyEL(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
|
boolean |
isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType arg0)
|
boolean |
isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression arg0)
|
protected void |
loadOntology()
|
protected int |
nELaxioms()
|
protected int |
nELKaxioms()
|
void |
precomputeInferences(org.semanticweb.owlapi.reasoner.InferenceType... inferenceTypes)
|
void |
printHierarchy(File outputFile)
|
protected void |
printStatsAboutInputOntology()
|
void |
processInputOntology()
|
void |
setReasoner(int reasoner)
|
void |
statisticsOriginalOntology(org.semanticweb.owlapi.model.OWLOntology ontlgy)
|
protected Set<org.semanticweb.owlapi.model.OWLAxiom> |
turnHierarchyIntoAxioms(org.semanticweb.owlapi.reasoner.OWLReasoner r)
|
protected void |
unloadOntologyFragmentsFromManager()
Unload from manager the subontologies given to hermit and lreasoner Dispose reasoners as well |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected final org.semanticweb.owlapi.model.OWLOntology root_ontology
protected org.semanticweb.owlapi.model.OWLOntology ontology
protected final String iri_str_working_ontology
protected final String iri_compmodule_ontology
protected final String iri_lmodule_ontology
protected org.semanticweb.owlapi.model.OWLOntology lmodule_onto
protected org.semanticweb.owlapi.model.OWLOntology compmodule_onto
protected final MOReReasoner.OntologyChangeListener root_ontologyChangeListener
protected final List<org.semanticweb.owlapi.model.OWLOntologyChange> pendingChanges_root_ontology
protected org.semanticweb.owlapi.model.OWLOntologyManager manager
protected org.semanticweb.owlapi.reasoner.OWLReasoner owl2reasoner
protected org.semanticweb.owlapi.reasoner.OWLReasoner lReasoner
protected Set<org.semanticweb.owlapi.model.OWLEntity> lSignature
protected Set<org.semanticweb.owlapi.model.OWLAxiom> lModuleAxioms
protected Set<org.semanticweb.owlapi.model.OWLEntity> compSignature
protected int classified
protected int compModuleSize
protected org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration
protected boolean isMonitorUp
protected boolean normalizeAxioms
protected boolean isBuffered
protected final int notYetClassified
protected int lFragment
protected static final int ELKFRAGMENT
protected static final int OWL2EL
protected int OWL2REASONERID
Constructor Detail |
---|
public MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy, boolean isBuffered, boolean normalizeAxioms, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
public MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy, int fragment)
public MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy, boolean isBuffered, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
public MOReReasoner(org.semanticweb.owlapi.model.OWLOntology ontlgy)
Method Detail |
---|
public void setReasoner(int reasoner)
public org.semanticweb.owlapi.util.Version getReasonerVersion()
getReasonerVersion
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public String getReasonerVersionStr()
protected void loadOntology()
protected void clearStatus()
protected void unloadOntologyFragmentsFromManager()
protected void includeLostSignature()
public Set<org.semanticweb.owlapi.model.OWLEntity> getLsignature()
public int getCompModuleSize()
public void classifyClasses()
protected void findLsignature()
protected void printStatsAboutInputOntology()
protected int nELaxioms()
protected int nELKaxioms()
public boolean axiomInLfragment(org.semanticweb.owlapi.model.OWLAxiom axiom, int fragment)
protected boolean isFullyEL(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
protected Set<org.semanticweb.owlapi.model.OWLAxiom> turnHierarchyIntoAxioms(org.semanticweb.owlapi.reasoner.OWLReasoner r)
protected Set<org.semanticweb.owlapi.model.OWLAxiom> extractComplementModule()
public void processInputOntology() throws org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyCreationException
public void statisticsOriginalOntology(org.semanticweb.owlapi.model.OWLOntology ontlgy)
protected void disposeUsedReasoners()
public void finalize()
finalize
in class Object
public void dispose()
dispose
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
protected void flushChangesIfRequired()
public void flush()
flush
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
protected boolean isBufferingMode()
public org.semanticweb.owlapi.reasoner.BufferingMode getBufferingMode()
getBufferingMode
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomAdditions()
getPendingAxiomAdditions
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public Set<org.semanticweb.owlapi.model.OWLAxiom> getPendingAxiomRemovals()
getPendingAxiomRemovals
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public List<org.semanticweb.owlapi.model.OWLOntologyChange> getPendingChanges()
getPendingChanges
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.NodeSet<org.semanticweb.owlapi.model.OWLClass> getDataPropertyDomains(org.semanticweb.owlapi.model.OWLDataProperty arg0, boolean arg1) 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 Set<org.semanticweb.owlapi.model.OWLLiteral> getDataPropertyValues(org.semanticweb.owlapi.model.OWLNamedIndividual arg0, org.semanticweb.owlapi.model.OWLDataProperty arg1) 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 arg0) 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) throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException, org.semanticweb.owlapi.reasoner.FreshEntitiesException, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
getDisjointClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getDisjointDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression arg0) 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 arg0) 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.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0) 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
getEquivalentClasses
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.OWLDataProperty> getEquivalentDataProperties(org.semanticweb.owlapi.model.OWLDataProperty arg0) throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException, org.semanticweb.owlapi.reasoner.FreshEntitiesException, org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
getEquivalentDataProperties
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getEquivalentObjectProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg0) 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 arg0, boolean arg1) 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 arg0) 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 arg0, boolean arg1) 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 arg0, boolean arg1) 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 arg0, org.semanticweb.owlapi.model.OWLObjectPropertyExpression arg1) 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 Set<org.semanticweb.owlapi.reasoner.InferenceType> getPrecomputableInferenceTypes()
getPrecomputableInferenceTypes
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public String getReasonerName()
getReasonerName
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 arg0) 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.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0, boolean direct) throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException, org.semanticweb.owlapi.reasoner.FreshEntitiesException, org.semanticweb.owlapi.reasoner.InconsistentOntologyException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
getSubClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubDataProperties(org.semanticweb.owlapi.model.OWLDataProperty direct, boolean arg1) 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 arg0, 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 arg0, 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 arg0, 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 arg0, 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 arg0, boolean arg1) 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, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
getUnsatisfiableClasses
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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 arg0) 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, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public boolean isEntailed(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> arg0) 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, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
public boolean isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType<?> arg0)
isEntailmentCheckingSupported
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isPrecomputed(org.semanticweb.owlapi.reasoner.InferenceType arg0)
isPrecomputed
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression arg0) throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException, org.semanticweb.owlapi.reasoner.TimeOutException, org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException, org.semanticweb.owlapi.reasoner.FreshEntitiesException, org.semanticweb.owlapi.reasoner.InconsistentOntologyException
isSatisfiable
in interface org.semanticweb.owlapi.reasoner.OWLReasoner
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
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
public void printHierarchy(File outputFile) throws FileNotFoundException, org.semanticweb.owlapi.model.OWLOntologyCreationException, org.semanticweb.owlapi.model.OWLOntologyStorageException
FileNotFoundException
org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyStorageException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |