|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IntegerReasoner
This interface models a reasoner.
Method Summary | |
---|---|
void |
classify()
Performs classification only if it is needed. |
void |
dispose()
Disposes this reasoner. |
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 |
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 |
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. |
Method Detail |
---|
void classify()
void dispose()
void flush()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getBottomClassNode()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getBottomDataPropertyNode()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getBottomObjectPropertyNode()
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getDataPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe, boolean direct)
pe
- data propertydirect
- true
to get only the direct domains
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)
ind
- individualpe
- data property
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> getDifferentIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
ind
- individual
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getDisjointClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
ce
- class expression
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getDisjointDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression pe)
pe
- data property expression
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getDisjointObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
pe
- object property expression
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getEquivalentClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
ce
- class expression
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getEquivalentDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe)
pe
- data property expression
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getEquivalentObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
pe
- 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)
ce
- class expressiondirect
- true
to get the direct instances
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getInverseObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
pe
- 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)
pe
- object property expressiondirect
- true
to get only the direct domains
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getObjectPropertyRanges(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get the direct ranges
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)
ind
- individualpe
- data property
String getReasonerName()
String getReasonerVersion()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual> getSameIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
ind
- individual
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getSubClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce, boolean direct)
ce
- class expressiondirect
- true
to get only the direct sub classes
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getSubDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe, boolean direct)
pe
- data propertydirect
- true
to get only the direct sub data properties
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getSubObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get only the direct sub object properties
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getSuperClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce, boolean direct)
ce
- class expressiondirect
- true
to get only the direct super classes
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getSuperDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe, boolean direct)
pe
- data propertydirect
- true
to get only the direct super data properties
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getSuperObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get only the direct super object
properties
long getTimeOut()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getTopClassNode()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getTopDataPropertyNode()
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getTopObjectPropertyNode()
Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getTypes(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind, boolean direct)
ind
- individualdirect
- true
to get only the direct types
Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getUnsatisfiableClasses()
void interrupt()
boolean isConsistent()
true
if and only if the ontology is consistentboolean isEntailed(de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom axiom)
axiom
- axiom to test entailment
true
if and only if the specified axiom is entailed
by the ontologyboolean isEntailed(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> axioms)
axioms
- set of axioms to test entailment
true
if and only if the specified set of axioms is
entailed by the ontologyboolean isSatisfiable(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression classExpression)
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 |