|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
public class RuleBasedReasoner
This class models a rule-based reasoner.
Constructor Summary | |
---|---|
RuleBasedReasoner(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> ontology,
de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory factory)
|
Method Summary | |
---|---|
void |
classify()
Performs classification only if it is needed. |
void |
dispose()
Disposes this reasoner. |
protected de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass |
flattenClassExpression(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
|
void |
flush()
Applies changes to the ontology when the reasoner is buffered. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> |
getBottomClassNode()
Returns the bottom class node. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> |
getBottomDataPropertyNode()
Returns the bottom data property node. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> |
getBottomObjectPropertyNode()
Returns the bottom object property node. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getDataPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe,
boolean direct)
Returns the classes that are domains of the specified data property. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> |
getDataPropertyValues(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind,
de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe)
Returns the data property values for the specified individual and data property. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> |
getDifferentIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
Returns the individuals that are known to be different from the specified individual. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getDisjointClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
Returns the classes that are disjoint with the specified class expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> |
getDisjointDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression pe)
Returns the data properties that are disjoint with the specified data property expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> |
getDisjointObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Returns the object properties that are disjoint with the specified object property expression. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> |
getEquivalentClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
Returns the classes that are equivalent to the specified class expression. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> |
getEquivalentDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe)
Returns the data properties that are equivalent to the specified data property expression. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> |
getEquivalentObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Returns the object properties that are equivalent to the specified object property expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> |
getInstances(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce,
boolean direct)
Returns the individuals that are instances of the specified class expression. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> |
getInverseObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Returns the object property expressions that are the inverses of the specified object property expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getObjectPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
boolean direct)
Returns the classes that are domains of the specified object property expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getObjectPropertyRanges(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
boolean direct)
Returns the classes that are ranges of the specified object property expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> |
getObjectPropertyValues(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind,
de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Returns the object property values for the specified individual and object property expression |
de.tudresden.inf.lat.jcel.core.algorithm.common.Processor |
getProcessor()
|
String |
getReasonerName()
Returns the name of this reasoner. |
String |
getReasonerVersion()
Returns the version of this reasoner. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual> |
getSameIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
Returns the individuals that are equivalent to the specified individual. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getSubClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce,
boolean direct)
Returns the sub classes of a specified class expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> |
getSubDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe,
boolean direct)
Returns the sub data properties of a specified data property. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> |
getSubObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
boolean direct)
Returns the sub object properties of a specified object property expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getSuperClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce,
boolean direct)
Returns the super classes of a specified class expression. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> |
getSuperDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe,
boolean direct)
Returns the super data properties of a specified data property. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> |
getSuperObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
boolean direct)
Returns the super object properties of a specified object property expression. |
long |
getTimeOut()
Returns the time out. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> |
getTopClassNode()
Returns the top class node. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> |
getTopDataPropertyNode()
Returns the top data property node. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> |
getTopObjectPropertyNode()
Returns the top object property node. |
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> |
getTypes(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind,
boolean direct)
Returns the types of a specified individual. |
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> |
getUnsatisfiableClasses()
Returns the set of unsatisfiable classes. |
void |
interrupt()
Sends a request to the reasoner to stop its processing. |
boolean |
isClassified()
|
boolean |
isConsistent()
Tells whether the ontology is consistent. |
boolean |
isEntailed(de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom axiom)
Tells whether the specified axiom is entailed by the ontology. |
boolean |
isEntailed(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> axioms)
Tells whether the specified set of axioms is entailed by the ontology. |
boolean |
isSatisfiable(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression classExpression)
Tells whether the specified class expression is satisfiable. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RuleBasedReasoner(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> ontology, de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory factory)
Method Detail |
---|
public void classify()
IntegerReasoner
classify
in interface IntegerReasoner
public void dispose()
IntegerReasoner
dispose
in interface IntegerReasoner
protected de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass flattenClassExpression(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
public void flush()
IntegerReasoner
flush
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getBottomClassNode()
IntegerReasoner
getBottomClassNode
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getBottomDataPropertyNode()
IntegerReasoner
getBottomDataPropertyNode
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getBottomObjectPropertyNode()
IntegerReasoner
getBottomObjectPropertyNode
in interface IntegerReasoner
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getDataPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe, boolean direct)
IntegerReasoner
getDataPropertyDomains
in interface IntegerReasoner
pe
- data propertydirect
- true
to get only the direct domains
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getDataPropertyValues(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe)
IntegerReasoner
getDataPropertyValues
in interface IntegerReasoner
ind
- individualpe
- data property
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> getDifferentIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
IntegerReasoner
getDifferentIndividuals
in interface IntegerReasoner
ind
- individual
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getDisjointClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
IntegerReasoner
getDisjointClasses
in interface IntegerReasoner
ce
- class expression
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getDisjointDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression pe)
IntegerReasoner
getDisjointDataProperties
in interface IntegerReasoner
pe
- data property expression
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getDisjointObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
IntegerReasoner
getDisjointObjectProperties
in interface IntegerReasoner
pe
- object property expression
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getEquivalentClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
IntegerReasoner
getEquivalentClasses
in interface IntegerReasoner
ce
- class expression
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getEquivalentDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe)
IntegerReasoner
getEquivalentDataProperties
in interface IntegerReasoner
pe
- data property expression
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getEquivalentObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
IntegerReasoner
getEquivalentObjectProperties
in interface IntegerReasoner
pe
- object property expression
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> getInstances(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce, boolean direct)
IntegerReasoner
getInstances
in interface IntegerReasoner
ce
- class expressiondirect
- true
to get the direct instances
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getInverseObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
IntegerReasoner
getInverseObjectProperties
in interface IntegerReasoner
pe
- object property expression
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getObjectPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getObjectPropertyDomains
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get only the direct domains
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getObjectPropertyRanges(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getObjectPropertyRanges
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get the direct ranges
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> getObjectPropertyValues(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind, de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
IntegerReasoner
getObjectPropertyValues
in interface IntegerReasoner
ind
- individualpe
- data property
public de.tudresden.inf.lat.jcel.core.algorithm.common.Processor getProcessor()
public String getReasonerName()
IntegerReasoner
getReasonerName
in interface IntegerReasoner
public String getReasonerVersion()
IntegerReasoner
getReasonerVersion
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual> getSameIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
IntegerReasoner
getSameIndividuals
in interface IntegerReasoner
ind
- individual
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getSubClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce, boolean direct)
IntegerReasoner
getSubClasses
in interface IntegerReasoner
ce
- class expressiondirect
- true
to get only the direct sub classes
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getSubDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe, boolean direct)
IntegerReasoner
getSubDataProperties
in interface IntegerReasoner
pe
- data propertydirect
- true
to get only the direct sub data properties
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getSubObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getSubObjectProperties
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get only the direct sub object properties
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getSuperClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce, boolean direct)
IntegerReasoner
getSuperClasses
in interface IntegerReasoner
ce
- class expressiondirect
- true
to get only the direct super classes
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getSuperDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe, boolean direct)
IntegerReasoner
getSuperDataProperties
in interface IntegerReasoner
pe
- data propertydirect
- true
to get only the direct super data properties
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getSuperObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getSuperObjectProperties
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get only the direct super object
properties
public long getTimeOut()
IntegerReasoner
getTimeOut
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getTopClassNode()
IntegerReasoner
getTopClassNode
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getTopDataPropertyNode()
IntegerReasoner
getTopDataPropertyNode
in interface IntegerReasoner
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getTopObjectPropertyNode()
IntegerReasoner
getTopObjectPropertyNode
in interface IntegerReasoner
public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getTypes(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind, boolean direct)
IntegerReasoner
getTypes
in interface IntegerReasoner
ind
- individualdirect
- true
to get only the direct types
public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getUnsatisfiableClasses()
IntegerReasoner
getUnsatisfiableClasses
in interface IntegerReasoner
public void interrupt()
IntegerReasoner
interrupt
in interface IntegerReasoner
public boolean isClassified()
public boolean isConsistent()
IntegerReasoner
isConsistent
in interface IntegerReasoner
true
if and only if the ontology is consistentpublic boolean isEntailed(de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom axiom)
IntegerReasoner
isEntailed
in interface IntegerReasoner
axiom
- axiom to test entailment
true
if and only if the specified axiom is entailed
by the ontologypublic boolean isEntailed(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> axioms)
IntegerReasoner
isEntailed
in interface IntegerReasoner
axioms
- set of axioms to test entailment
true
if and only if the specified set of axioms is
entailed by the ontologypublic boolean isSatisfiable(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression classExpression)
IntegerReasoner
isSatisfiable
in interface IntegerReasoner
classExpression
- class expression
true
if and only if the specified class expression
is satisfiable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |