public interface IntegerReasoner
Modifier and Type | Method and Description |
---|---|
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<IntegerClass> |
getBottomClassNode()
Returns the bottom class node.
|
Set<IntegerDataProperty> |
getBottomDataPropertyNode()
Returns the bottom data property node.
|
Set<IntegerObjectPropertyExpression> |
getBottomObjectPropertyNode()
Returns the bottom object property node.
|
Set<Set<IntegerClass>> |
getDataPropertyDomains(IntegerDataProperty pe,
boolean direct)
Returns the classes that are domains of the specified data property.
|
Set<IntegerClass> |
getDataPropertyValues(IntegerNamedIndividual ind,
IntegerDataProperty pe)
Returns the data property values for the specified individual and data
property.
|
Set<Set<IntegerNamedIndividual>> |
getDifferentIndividuals(IntegerNamedIndividual ind)
Returns the individuals that are known to be different from the specified
individual.
|
Set<Set<IntegerClass>> |
getDisjointClasses(IntegerClassExpression ce)
Returns the classes that are disjoint with the specified class
expression.
|
Set<Set<IntegerDataProperty>> |
getDisjointDataProperties(IntegerDataPropertyExpression pe)
Returns the data properties that are disjoint with the specified data
property expression.
|
Set<Set<IntegerObjectPropertyExpression>> |
getDisjointObjectProperties(IntegerObjectPropertyExpression pe)
Returns the object properties that are disjoint with the specified object
property expression.
|
Set<IntegerClass> |
getEquivalentClasses(IntegerClassExpression ce)
Returns the classes that are equivalent to the specified class
expression.
|
Set<IntegerDataProperty> |
getEquivalentDataProperties(IntegerDataProperty pe)
Returns the data properties that are equivalent to the specified data
property expression.
|
Set<IntegerObjectPropertyExpression> |
getEquivalentObjectProperties(IntegerObjectPropertyExpression pe)
Returns the object properties that are equivalent to the specified object
property expression.
|
Set<Set<IntegerNamedIndividual>> |
getInstances(IntegerClassExpression ce,
boolean direct)
Returns the individuals that are instances of the specified class
expression.
|
Set<IntegerObjectPropertyExpression> |
getInverseObjectProperties(IntegerObjectPropertyExpression pe)
Returns the object property expressions that are the inverses of the
specified object property expression.
|
Set<Set<IntegerClass>> |
getObjectPropertyDomains(IntegerObjectPropertyExpression pe,
boolean direct)
Returns the classes that are domains of the specified object property
expression.
|
Set<Set<IntegerClass>> |
getObjectPropertyRanges(IntegerObjectPropertyExpression pe,
boolean direct)
Returns the classes that are ranges of the specified object property
expression.
|
Set<Set<IntegerNamedIndividual>> |
getObjectPropertyValues(IntegerNamedIndividual ind,
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<IntegerNamedIndividual> |
getSameIndividuals(IntegerNamedIndividual ind)
Returns the individuals that are equivalent to the specified individual.
|
Set<Set<IntegerClass>> |
getSubClasses(IntegerClassExpression ce,
boolean direct)
Returns the sub classes of a specified class expression.
|
Set<Set<IntegerDataProperty>> |
getSubDataProperties(IntegerDataProperty pe,
boolean direct)
Returns the sub data properties of a specified data property.
|
Set<Set<IntegerObjectPropertyExpression>> |
getSubObjectProperties(IntegerObjectPropertyExpression pe,
boolean direct)
Returns the sub object properties of a specified object property
expression.
|
Set<Set<IntegerClass>> |
getSuperClasses(IntegerClassExpression ce,
boolean direct)
Returns the super classes of a specified class expression.
|
Set<Set<IntegerDataProperty>> |
getSuperDataProperties(IntegerDataProperty pe,
boolean direct)
Returns the super data properties of a specified data property.
|
Set<Set<IntegerObjectPropertyExpression>> |
getSuperObjectProperties(IntegerObjectPropertyExpression pe,
boolean direct)
Returns the super object properties of a specified object property
expression.
|
long |
getTimeOut()
Returns the time out.
|
Set<IntegerClass> |
getTopClassNode()
Returns the top class node.
|
Set<IntegerDataProperty> |
getTopDataPropertyNode()
Returns the top data property node.
|
Set<IntegerObjectPropertyExpression> |
getTopObjectPropertyNode()
Returns the top object property node.
|
Set<Set<IntegerClass>> |
getTypes(IntegerNamedIndividual ind,
boolean direct)
Returns the types of a specified individual.
|
Set<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(ComplexIntegerAxiom axiom)
Tells whether the specified axiom is entailed by the ontology.
|
boolean |
isEntailed(Set<ComplexIntegerAxiom> axioms)
Tells whether the specified set of axioms is entailed by the ontology.
|
boolean |
isSatisfiable(IntegerClassExpression classExpression)
Tells whether the specified class expression is satisfiable.
|
void classify()
void dispose()
void flush()
Set<IntegerClass> getBottomClassNode()
Set<IntegerDataProperty> getBottomDataPropertyNode()
Set<IntegerObjectPropertyExpression> getBottomObjectPropertyNode()
Set<Set<IntegerClass>> getDataPropertyDomains(IntegerDataProperty pe, boolean direct)
pe
- data propertydirect
- true
to get only the direct domainsSet<IntegerClass> getDataPropertyValues(IntegerNamedIndividual ind, IntegerDataProperty pe)
ind
- individualpe
- data propertySet<Set<IntegerNamedIndividual>> getDifferentIndividuals(IntegerNamedIndividual ind)
ind
- individualSet<Set<IntegerClass>> getDisjointClasses(IntegerClassExpression ce)
ce
- class expressionSet<Set<IntegerDataProperty>> getDisjointDataProperties(IntegerDataPropertyExpression pe)
pe
- data property expressionSet<Set<IntegerObjectPropertyExpression>> getDisjointObjectProperties(IntegerObjectPropertyExpression pe)
pe
- object property expressionSet<IntegerClass> getEquivalentClasses(IntegerClassExpression ce)
ce
- class expressionSet<IntegerDataProperty> getEquivalentDataProperties(IntegerDataProperty pe)
pe
- data property expressionSet<IntegerObjectPropertyExpression> getEquivalentObjectProperties(IntegerObjectPropertyExpression pe)
pe
- object property expressionSet<Set<IntegerNamedIndividual>> getInstances(IntegerClassExpression ce, boolean direct)
ce
- class expressiondirect
- true
to get the direct instancesSet<IntegerObjectPropertyExpression> getInverseObjectProperties(IntegerObjectPropertyExpression pe)
pe
- object property expressionSet<Set<IntegerClass>> getObjectPropertyDomains(IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get only the direct domainsSet<Set<IntegerClass>> getObjectPropertyRanges(IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get the direct rangesSet<Set<IntegerNamedIndividual>> getObjectPropertyValues(IntegerNamedIndividual ind, IntegerObjectPropertyExpression pe)
ind
- individualpe
- data propertyString getReasonerName()
String getReasonerVersion()
Set<IntegerNamedIndividual> getSameIndividuals(IntegerNamedIndividual ind)
ind
- individualSet<Set<IntegerClass>> getSubClasses(IntegerClassExpression ce, boolean direct)
ce
- class expressiondirect
- true
to get only the direct sub classesSet<Set<IntegerDataProperty>> getSubDataProperties(IntegerDataProperty pe, boolean direct)
pe
- data propertydirect
- true
to get only the direct sub data propertiesSet<Set<IntegerObjectPropertyExpression>> getSubObjectProperties(IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get only the direct sub object propertiesSet<Set<IntegerClass>> getSuperClasses(IntegerClassExpression ce, boolean direct)
ce
- class expressiondirect
- true
to get only the direct super classesSet<Set<IntegerDataProperty>> getSuperDataProperties(IntegerDataProperty pe, boolean direct)
pe
- data propertydirect
- true
to get only the direct super data propertiesSet<Set<IntegerObjectPropertyExpression>> getSuperObjectProperties(IntegerObjectPropertyExpression pe, boolean direct)
pe
- object property expressiondirect
- true
to get only the direct super object
propertieslong getTimeOut()
Set<IntegerClass> getTopClassNode()
Set<IntegerDataProperty> getTopDataPropertyNode()
Set<IntegerObjectPropertyExpression> getTopObjectPropertyNode()
Set<Set<IntegerClass>> getTypes(IntegerNamedIndividual ind, boolean direct)
ind
- individualdirect
- true
to get only the direct typesSet<IntegerClass> getUnsatisfiableClasses()
void interrupt()
boolean isConsistent()
true
if and only if the ontology is consistentboolean isEntailed(ComplexIntegerAxiom axiom)
axiom
- axiom to test entailmenttrue
if and only if the specified axiom is entailed
by the ontologyboolean isEntailed(Set<ComplexIntegerAxiom> axioms)
axioms
- set of axioms to test entailmenttrue
if and only if the specified set of axioms is
entailed by the ontologyboolean isSatisfiable(IntegerClassExpression classExpression)
classExpression
- class expressiontrue
if and only if the specified class expression
is satisfiableCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.