|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.owlapi.inference.NullReasoner
public class NullReasoner
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jun-2008
A reasoner that does nothing. For use in the "null object"
pattern (http://en.wikipedia.org/wiki/Null_Object_pattern)
Constructor Summary | |
---|---|
NullReasoner()
|
Method Summary | |
---|---|
void |
classify()
Does nothing in this implementation |
void |
clearOntologies()
Does nothing in this implementation. |
void |
dispose()
Disposes of and cleans up any resources used by this reasoner. |
java.util.Set<java.util.Set<OWLClass>> |
getAncestorClasses(OWLClassExpression clsC)
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 clsC)
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 clsC)
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.util.Set<OWLOntology> |
getLoadedOntologies()
Gets the ontologies that have been loaded into this reasoner. |
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)
|
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 clsC)
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 clsC)
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)
|
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 unsatisfiable. |
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 |
isReflexive(OWLObjectProperty property)
|
boolean |
isSatisfiable(OWLClassExpression classExpression)
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)
|
void |
loadOntologies(java.util.Set<OWLOntology> ontologies)
Loads the specified ontologies. |
void |
realise()
Does nothing in this implementation. |
void |
unloadOntologies(java.util.Set<OWLOntology> ontologies)
Does nothing in this implementation. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public NullReasoner()
Method Detail |
---|
public boolean isConsistent(OWLOntology ontology) throws OWLReasonerException
OWLConsistencyChecker
isConsistent
in interface OWLConsistencyChecker
ontology
- Implementations should ignore this parameter. It is here
for legacy reasons.
true
in this implementation.
OWLReasonerException
public void loadOntologies(java.util.Set<OWLOntology> ontologies) throws OWLReasonerException
OWLReasonerBase
loadOntologies
in interface OWLReasonerBase
ontologies
- The ontolgies to be loaded.
OWLReasonerException
public boolean isClassified() throws OWLReasonerException
OWLReasonerBase
isClassified
in interface OWLReasonerBase
true
OWLReasonerException
public void classify() throws OWLReasonerException
classify
in interface OWLReasonerBase
OWLReasonerException
public boolean isRealised() throws OWLReasonerException
OWLReasonerBase
isRealised
in interface OWLReasonerBase
true
OWLReasonerException
public void realise() throws OWLReasonerException
realise
in interface OWLReasonerBase
OWLReasonerException
public boolean isDefined(OWLClass cls) throws OWLReasonerException
OWLReasonerBase
isDefined
in interface OWLReasonerBase
cls
- The class to check for.
true
in this implementation
OWLReasonerException
public boolean isDefined(OWLObjectProperty prop) throws OWLReasonerException
OWLReasonerBase
isDefined
in interface OWLReasonerBase
prop
- The property to check for.
true
OWLReasonerException
public boolean isDefined(OWLDataProperty prop) throws OWLReasonerException
OWLReasonerBase
isDefined
in interface OWLReasonerBase
prop
- The property to check for.
true
in this implementation
OWLReasonerException
public boolean isDefined(OWLIndividual ind) throws OWLReasonerException
OWLReasonerBase
isDefined
in interface OWLReasonerBase
ind
- The individual to check for.
true
in this implementation
OWLReasonerException
public java.util.Set<OWLOntology> getLoadedOntologies()
OWLReasonerBase
getLoadedOntologies
in interface OWLReasonerBase
OWLReasonerException
public void unloadOntologies(java.util.Set<OWLOntology> ontologies) throws OWLReasonerException
unloadOntologies
in interface OWLReasonerBase
ontologies
- The ontologies to be unloaded.
OWLReasonerException
public void clearOntologies() throws OWLReasonerException
clearOntologies
in interface OWLReasonerBase
OWLReasonerException
public void dispose() throws OWLReasonerException
OWLReasonerBase
dispose
in interface OWLReasonerBase
OWLReasonerException
public boolean isSubClassOf(OWLClassExpression clsC, OWLClassExpression clsD) throws OWLReasonerException
OWLClassReasoner
isSubClassOf
in interface OWLClassReasoner
false
in this implementation
OWLReasonerException
public boolean isEquivalentClass(OWLClassExpression clsC, OWLClassExpression clsD) throws OWLReasonerException
OWLClassReasoner
isEquivalentClass
in interface OWLClassReasoner
false
in this implementation
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getSuperClasses(OWLClassExpression clsC) throws OWLReasonerException
OWLClassReasoner
getSuperClasses
in interface OWLClassReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getAncestorClasses(OWLClassExpression clsC) throws OWLReasonerException
OWLClassReasoner
getAncestorClasses
in interface OWLClassReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getSubClasses(OWLClassExpression clsC) throws OWLReasonerException
OWLClassReasoner
getSubClasses
in interface OWLClassReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getDescendantClasses(OWLClassExpression clsC) throws OWLReasonerException
OWLClassReasoner
getDescendantClasses
in interface OWLClassReasoner
OWLReasonerException
public java.util.Set<OWLClass> getEquivalentClasses(OWLClassExpression clsC) throws OWLReasonerException
OWLClassReasoner
getEquivalentClasses
in interface OWLClassReasoner
OWLReasonerException
public java.util.Set<OWLClass> getUnsatisfiableClasses() throws OWLReasonerException
OWLClassReasoner
getUnsatisfiableClasses
in interface OWLClassReasoner
OWLReasonerException
public boolean isSatisfiable(OWLClassExpression classExpression) throws OWLReasonerException
OWLSatisfiabilityChecker
isSatisfiable
in interface OWLSatisfiabilityChecker
true
in this implementation
OWLReasonerException
public java.util.Set<java.util.Set<OWLClass>> getTypes(OWLNamedIndividual individual, boolean direct) throws OWLReasonerException
getTypes
in interface OWLIndividualReasoner
OWLReasonerException
public java.util.Set<OWLNamedIndividual> getIndividuals(OWLClassExpression clsC, boolean direct) throws OWLReasonerException
getIndividuals
in interface OWLIndividualReasoner
OWLReasonerException
public java.util.Map<OWLObjectProperty,java.util.Set<OWLNamedIndividual>> getObjectPropertyRelationships(OWLNamedIndividual individual) throws OWLReasonerException
getObjectPropertyRelationships
in interface OWLIndividualReasoner
OWLReasonerException
public java.util.Map<OWLDataProperty,java.util.Set<OWLLiteral>> getDataPropertyRelationships(OWLNamedIndividual individual) throws OWLReasonerException
getDataPropertyRelationships
in interface OWLIndividualReasoner
OWLReasonerException
public boolean hasType(OWLNamedIndividual individual, OWLClassExpression type, boolean direct) throws OWLReasonerException
hasType
in interface OWLIndividualReasoner
false
in this implementation.
OWLReasonerException
public boolean hasObjectPropertyRelationship(OWLNamedIndividual subject, OWLObjectPropertyExpression property, OWLNamedIndividual object) throws OWLReasonerException
hasObjectPropertyRelationship
in interface OWLIndividualReasoner
false
in this implementation.
OWLReasonerException
public boolean hasDataPropertyRelationship(OWLNamedIndividual subject, OWLDataPropertyExpression property, OWLLiteral object) throws OWLReasonerException
hasDataPropertyRelationship
in interface OWLIndividualReasoner
false
in this implementation.
OWLReasonerException
public java.util.Set<OWLNamedIndividual> getRelatedIndividuals(OWLNamedIndividual subject, OWLObjectPropertyExpression property) throws OWLReasonerException
getRelatedIndividuals
in interface OWLIndividualReasoner
OWLReasonerException
public java.util.Set<OWLLiteral> getRelatedValues(OWLNamedIndividual subject, OWLDataPropertyExpression property) throws OWLReasonerException
getRelatedValues
in interface OWLIndividualReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getSuperProperties(OWLObjectProperty property) throws OWLReasonerException
getSuperProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getSubProperties(OWLObjectProperty property) throws OWLReasonerException
getSubProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getAncestorProperties(OWLObjectProperty property) throws OWLReasonerException
getAncestorProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getDescendantProperties(OWLObjectProperty property) throws OWLReasonerException
getDescendantProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLObjectProperty>> getInverseProperties(OWLObjectProperty property) throws OWLReasonerException
getInverseProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<OWLObjectProperty> getEquivalentProperties(OWLObjectProperty property) throws OWLReasonerException
getEquivalentProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClassExpression>> getDomains(OWLObjectProperty property) throws OWLReasonerException
OWLPropertyReasoner
getDomains
in interface OWLPropertyReasoner
property
- The property whose domains are to be retrieved.
OWLReasonerException
public java.util.Set<OWLClassExpression> getRanges(OWLObjectProperty property) throws OWLReasonerException
getRanges
in interface OWLPropertyReasoner
OWLReasonerException
public boolean isFunctional(OWLObjectProperty property) throws OWLReasonerException
isFunctional
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public boolean isInverseFunctional(OWLObjectProperty property) throws OWLReasonerException
isInverseFunctional
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public boolean isSymmetric(OWLObjectProperty property) throws OWLReasonerException
isSymmetric
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public boolean isTransitive(OWLObjectProperty property) throws OWLReasonerException
isTransitive
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public boolean isReflexive(OWLObjectProperty property) throws OWLReasonerException
isReflexive
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public boolean isIrreflexive(OWLObjectProperty property) throws OWLReasonerException
isIrreflexive
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public boolean isAsymmetric(OWLObjectProperty property) throws OWLReasonerException
isAsymmetric
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getSuperProperties(OWLDataProperty property) throws OWLReasonerException
getSuperProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getSubProperties(OWLDataProperty property) throws OWLReasonerException
getSubProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getAncestorProperties(OWLDataProperty property) throws OWLReasonerException
getAncestorProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLDataProperty>> getDescendantProperties(OWLDataProperty property) throws OWLReasonerException
getDescendantProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<OWLDataProperty> getEquivalentProperties(OWLDataProperty property) throws OWLReasonerException
getEquivalentProperties
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<java.util.Set<OWLClassExpression>> getDomains(OWLDataProperty property) throws OWLReasonerException
getDomains
in interface OWLPropertyReasoner
OWLReasonerException
public java.util.Set<OWLDataRange> getRanges(OWLDataProperty property) throws OWLReasonerException
getRanges
in interface OWLPropertyReasoner
OWLReasonerException
public boolean isFunctional(OWLDataProperty property) throws OWLReasonerException
isFunctional
in interface OWLPropertyReasoner
false
in this implementation.
OWLReasonerException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |