|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.owlapi.inference.OWLReasonerAdapter
uk.ac.manchester.cs.owlapi.inference.dig11.DIGReasoner
public class DIGReasoner
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006
Constructor Summary | |
---|---|
DIGReasoner(OWLOntologyManager owlOntologyManager)
Creates a reasoner that is backed by a DIG server. |
Method Summary | |
---|---|
void |
classify()
Asks the reasoner to classify the ontology. |
void |
disposeReasoner()
This method should be called to dispose of the reasoner. |
java.util.Set<java.util.Set<OWLClass>> |
getAncestorClasses(OWLClassExpression classExpression)
Returns the collection of all superclasses of the given class expression. |
java.util.Set<java.util.Set<OWLDataProperty>> |
getAncestorProperties(OWLDataProperty property)
|
java.util.Set<java.util.Set<OWLObjectProperty>> |
getAncestorProperties(OWLObjectProperty property)
|
java.util.Map<OWLDataProperty,java.util.Set<OWLLiteral>> |
getDataPropertyRelationships(OWLNamedIndividual individual)
|
java.util.Set<java.util.Set<OWLClass>> |
getDescendantClasses(OWLClassExpression classExpression)
Returns the collection of all subclasses of the given class expression. |
java.util.Set<java.util.Set<OWLDataProperty>> |
getDescendantProperties(OWLDataProperty property)
|
java.util.Set<java.util.Set<OWLObjectProperty>> |
getDescendantProperties(OWLObjectProperty property)
|
java.util.Set<java.util.Set<OWLClassExpression>> |
getDomains(OWLDataProperty property)
|
java.util.Set<java.util.Set<OWLClassExpression>> |
getDomains(OWLObjectProperty property)
Gets the domains of a particular property. |
java.util.Set<OWLClass> |
getEquivalentClasses(OWLClassExpression classExpression)
Returns the collection of (named) classes which are equivalent to the given class expression. |
java.util.Set<OWLDataProperty> |
getEquivalentProperties(OWLDataProperty property)
|
java.util.Set<OWLObjectProperty> |
getEquivalentProperties(OWLObjectProperty property)
|
java.util.Set<OWLNamedIndividual> |
getIndividuals(OWLClassExpression clsC,
boolean direct)
|
java.util.Set<java.util.Set<OWLObjectProperty>> |
getInverseProperties(OWLObjectProperty property)
|
java.lang.String |
getKbURI()
Gets the DIG server kb URI that this reasoner uses as a handle. |
java.util.Map<OWLObjectProperty,java.util.Set<OWLNamedIndividual>> |
getObjectPropertyRelationships(OWLNamedIndividual individual)
|
java.util.Set<OWLDataRange> |
getRanges(OWLDataProperty property)
|
java.util.Set<OWLClassExpression> |
getRanges(OWLObjectProperty property)
|
HTTPReasoner |
getReasoner()
Gets the HTTPReasoner that backs this DIG reasoner. |
java.util.Set<OWLNamedIndividual> |
getRelatedIndividuals(OWLNamedIndividual subject,
OWLObjectPropertyExpression property)
|
java.util.Set<OWLLiteral> |
getRelatedValues(OWLNamedIndividual subject,
OWLDataPropertyExpression property)
|
java.util.Set<java.util.Set<OWLClass>> |
getSubClasses(OWLClassExpression classExpression)
Returns the collection of (named) most general subclasses of the given class expression. |
java.util.Set<java.util.Set<OWLDataProperty>> |
getSubProperties(OWLDataProperty property)
|
java.util.Set<java.util.Set<OWLObjectProperty>> |
getSubProperties(OWLObjectProperty property)
|
java.util.Set<java.util.Set<OWLClass>> |
getSuperClasses(OWLClassExpression classExpression)
Returns the collection of (named) most specific superclasses of the given class expression. |
java.util.Set<java.util.Set<OWLDataProperty>> |
getSuperProperties(OWLDataProperty property)
|
java.util.Set<java.util.Set<OWLObjectProperty>> |
getSuperProperties(OWLObjectProperty property)
|
DIGTranslator |
getTranslator()
Gets the translator that translates back and forth between DIG documents and OWLAPI objects. |
java.util.Set<java.util.Set<OWLClass>> |
getTypes(OWLNamedIndividual individual,
boolean direct)
|
java.util.Set<OWLClass> |
getUnsatisfiableClasses()
A convenience methods for obtaining all classes which are inconsistent. |
protected void |
handleOntologyChanges(java.util.List<OWLOntologyChange> changes)
This method will be called when any of the loaded ontologies have had logical axioms added to or removed from them. |
boolean |
hasDataPropertyRelationship(OWLNamedIndividual subject,
OWLDataPropertyExpression property,
OWLLiteral object)
|
boolean |
hasObjectPropertyRelationship(OWLNamedIndividual subject,
OWLObjectPropertyExpression property,
OWLNamedIndividual object)
|
boolean |
hasType(OWLNamedIndividual individual,
OWLClassExpression type,
boolean direct)
|
boolean |
isAsymmetric(OWLObjectProperty property)
|
boolean |
isClassified()
Determines if the reasoner has classified the ontology. |
boolean |
isConsistent(OWLOntology ontology)
Checks to see if the ontology that have been loaded into the reasoner are consistent in combination. |
boolean |
isDefined(OWLClass cls)
Determines if the specified class is defined in the reasoner. |
boolean |
isDefined(OWLDataProperty prop)
Determines if the specified property is defined in the reasoner. |
boolean |
isDefined(OWLIndividual ind)
Determines if the specified individual is defined in the reasoner. |
boolean |
isDefined(OWLObjectProperty prop)
Determines if the specified property is defined in the reasoner. |
boolean |
isEquivalentClass(OWLClassExpression clsC,
OWLClassExpression clsD)
Checks whether the first class is equivalent to the second class |
boolean |
isFunctional(OWLDataProperty property)
|
boolean |
isFunctional(OWLObjectProperty property)
|
boolean |
isInverseFunctional(OWLObjectProperty property)
|
boolean |
isIrreflexive(OWLObjectProperty property)
|
boolean |
isRealised()
Determines if the types of individuals have been computed by this reasoner (if supported). |
boolean |
isReasonerSynchonised()
|
boolean |
isReflexive(OWLObjectProperty property)
|
boolean |
isSatisfiable(OWLClassExpression cls)
Determines if the specified class is satisfiable. |
boolean |
isSubClassOf(OWLClassExpression clsC,
OWLClassExpression clsD)
Checks whether the first class is a subclass of the second class |
boolean |
isSymmetric(OWLObjectProperty property)
|
boolean |
isTransitive(OWLObjectProperty property)
|
protected void |
ontologiesChanged()
This method will be called when the set of ontologies from which axioms should be retrieved for reasoning has changed. |
protected void |
ontologiesCleared()
This method will be called when the set of ontologies from which axioms should be retrieved for reasoning has been cleared. |
protected org.w3c.dom.Document |
performRequest(org.w3c.dom.Document doc)
Performs a request using the DIG HTTP Reasoner. |
void |
realise()
Asks the reasoner to compute the types of individuals (if supported). |
protected void |
synchroniseReasoner()
This method synchronises the reasoner if necessary. |
Methods inherited from class org.semanticweb.owlapi.inference.OWLReasonerAdapter |
---|
clearOntologies, createSetOfSets, dispose, flattenSetOfSets, getAllAxioms, getLoadedOntologies, getOWLDataFactory, getOWLOntologyManager, loadOntologies, ontologiesChanged, unloadOntologies |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DIGReasoner(OWLOntologyManager owlOntologyManager) throws OWLException
owlOntologyManager
- The OWLOntologyManager
that should be
used to obtain imported ontologies.
OWLException
Method Detail |
---|
public HTTPReasoner getReasoner()
public DIGTranslator getTranslator()
public java.lang.String getKbURI()
public boolean isClassified()
OWLReasonerBase
true
if the ontology has been classified,
or false
if the ontology has not been classified.public void classify() throws OWLReasonerException
OWLReasonerBase
OWLReasonerException
public boolean isRealised() throws OWLReasonerException
OWLReasonerBase
true
is the types of individuals have been computed,
otherwise false
.
OWLReasonerException
public void realise() throws OWLReasonerException
OWLReasonerBase
OWLReasonerException
public void disposeReasoner()
disposeReasoner
in class OWLReasonerAdapter
protected void ontologiesCleared()
OWLReasonerAdapter
ontologiesCleared
in class OWLReasonerAdapter
protected void ontologiesChanged()
OWLReasonerAdapter
ontologiesChanged
in class OWLReasonerAdapter
protected void handleOntologyChanges(java.util.List<OWLOntologyChange> changes)
OWLReasonerAdapter
handleOntologyChanges
in class OWLReasonerAdapter
changes
- The set of changes that represent changes to loaded
ontologies.public boolean isReasonerSynchonised()
protected void synchroniseReasoner() throws DIGReasonerException
DIGReasonerException
public boolean isDefined(OWLClass cls) throws OWLReasonerException
OWLReasonerBase
cls
- The class to check for.
true
if the class is defined in the
reasoner, or false
if the class is not defined
in the reasoner.
OWLReasonerException
public boolean isDefined(OWLObjectProperty prop) throws OWLReasonerException
OWLReasonerBase
prop
- The property to check for.
true
if the property is defined in the
reasoner, or false
if the property is not defined
in the reasoner.
OWLReasonerException
public boolean isDefined(OWLDataProperty prop) throws OWLReasonerException
OWLReasonerBase
prop
- The property to check for.
true
if the property is defined in the
reasoner, or false
if the property is not defined
in the reasoner.
OWLReasonerException
public boolean isDefined(OWLIndividual ind) throws OWLReasonerException
OWLReasonerBase
ind
- The individual to check for.
true
if the individual is defined in the
reasoner, or false
if the individual is not defined
in the reasoner.
OWLReasonerException
protected org.w3c.dom.Document performRequest(org.w3c.dom.Document doc) throws DIGReasonerException
doc
- The Request DIG Document
DIGReasonerException
public boolean isConsistent(OWLOntology ontology) throws OWLReasonerException
OWLConsistencyChecker
ontology
- Implementations should ignore this parameter. It is here
for legacy reasons.
true
if the loaded ontologies in combination are consistent,
or false
if the loaded ontologies in combination are not consistent.
OWLReasonerException
public boolean isSatisfiable(OWLClassExpression cls) throws OWLReasonerException
OWLSatisfiabilityChecker
OWLReasonerException
public boolean isSubClassOf(OWLClassExpression clsC, OWLClassExpression clsD) throws OWLReasonerException
OWLClassReasoner
true
if the first class is a subclass of the second class
OWLReasonerException
public boolean isEquivalentClass(OWLClassExpression clsC, OWLClassExpression clsD) throws OWLReasonerException
OWLClassReasoner
true
if the first class is equivalent to the second class, or
false
if the first class is not equivalent to the second class
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getSuperClasses(OWLClassExpression classExpression) throws OWLReasonerException
OWLClassReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getAncestorClasses(OWLClassExpression classExpression) throws OWLReasonerException
OWLClassReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getSubClasses(OWLClassExpression classExpression) throws OWLReasonerException
OWLClassReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getDescendantClasses(OWLClassExpression classExpression) throws OWLReasonerException
OWLClassReasoner
OWLReasonerException
public java.util.Set<OWLClass> getEquivalentClasses(OWLClassExpression classExpression) throws OWLReasonerException
OWLClassReasoner
OWLReasonerException
public java.util.Set<OWLClass> getUnsatisfiableClasses() throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getTypes(OWLNamedIndividual individual, boolean direct) throws OWLReasonerException
OWLReasonerException
public java.util.Set<OWLNamedIndividual> getIndividuals(OWLClassExpression clsC, boolean direct) throws OWLReasonerException
OWLReasonerException
public java.util.Map<OWLObjectProperty,java.util.Set<OWLNamedIndividual>> getObjectPropertyRelationships(OWLNamedIndividual individual) throws OWLReasonerException
OWLReasonerException
public java.util.Map<OWLDataProperty,java.util.Set<OWLLiteral>> getDataPropertyRelationships(OWLNamedIndividual individual) throws OWLReasonerException
OWLReasonerException
public java.util.Set<OWLNamedIndividual> getRelatedIndividuals(OWLNamedIndividual subject, OWLObjectPropertyExpression property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<OWLLiteral> getRelatedValues(OWLNamedIndividual subject, OWLDataPropertyExpression property) throws OWLReasonerException
OWLReasonerException
public boolean hasDataPropertyRelationship(OWLNamedIndividual subject, OWLDataPropertyExpression property, OWLLiteral object) throws OWLReasonerException
OWLReasonerException
public boolean hasObjectPropertyRelationship(OWLNamedIndividual subject, OWLObjectPropertyExpression property, OWLNamedIndividual object) throws OWLReasonerException
OWLReasonerException
public boolean hasType(OWLNamedIndividual individual, OWLClassExpression type, boolean direct) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getSuperProperties(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getSubProperties(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getAncestorProperties(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getDescendantProperties(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getInverseProperties(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<OWLObjectProperty> getEquivalentProperties(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLClassExpression>> getDomains(OWLObjectProperty property) throws OWLReasonerException
OWLPropertyReasoner
property
- The property whose domains are to be retrieved.
OWLReasonerException
- If there is a problem with the reasoner.public java.util.Set<OWLClassExpression> getRanges(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isFunctional(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isInverseFunctional(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isSymmetric(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isTransitive(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isReflexive(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isIrreflexive(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isAsymmetric(OWLObjectProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getSuperProperties(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getSubProperties(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getAncestorProperties(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getDescendantProperties(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<OWLDataProperty> getEquivalentProperties(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<java.util.Set<OWLClassExpression>> getDomains(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public java.util.Set<OWLDataRange> getRanges(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
public boolean isFunctional(OWLDataProperty property) throws OWLReasonerException
OWLReasonerException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |