de.tudresden.inf.lat.jcel.reasoner.main
Interface IntegerReasoner

All Known Implementing Classes:
RuleBasedReasoner

public interface IntegerReasoner

This interface models a reasoner.

Author:
Julian Mendez

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

classify

void classify()
Performs classification only if it is needed.


dispose

void dispose()
Disposes this reasoner.


flush

void flush()
Applies changes to the ontology when the reasoner is buffered.


getBottomClassNode

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getBottomClassNode()
Returns the bottom class node.

Returns:
the bottom class node

getBottomDataPropertyNode

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getBottomDataPropertyNode()
Returns the bottom data property node.

Returns:
the bottom data property node

getBottomObjectPropertyNode

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getBottomObjectPropertyNode()
Returns the bottom object property node.

Returns:
the bottom object property node

getDataPropertyDomains

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.

Parameters:
pe - data property
direct - true to get only the direct domains
Returns:
the classes that are domains of the specified data property

getDataPropertyValues

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.

Parameters:
ind - individual
pe - data property
Returns:
the data property values for the specified individual and data property

getDifferentIndividuals

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.

Parameters:
ind - individual
Returns:
the individuals that are known to be different from the specified individual

getDisjointClasses

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.

Parameters:
ce - class expression
Returns:
the classes that are disjoint with the specified class expression

getDisjointDataProperties

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.

Parameters:
pe - data property expression
Returns:
the data properties that are disjoint with the specified data property expression

getDisjointObjectProperties

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.

Parameters:
pe - object property expression
Returns:
the object properties that are disjoint with the specified object property expression

getEquivalentClasses

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.

Parameters:
ce - class expression
Returns:
the classes that are equivalent to the specified class expression

getEquivalentDataProperties

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.

Parameters:
pe - data property expression
Returns:
the data properties that are equivalent to the specified data property expression

getEquivalentObjectProperties

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.

Parameters:
pe - object property expression
Returns:
the object properties that are equivalent to the specified object property expression

getInstances

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.

Parameters:
ce - class expression
direct - true to get the direct instances
Returns:
the individuals that are instances of the specified class expression

getInverseObjectProperties

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.

Parameters:
pe - object property expression
Returns:
the object property expressions that are the inverses of the specified object property expression

getObjectPropertyDomains

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.

Parameters:
pe - object property expression
direct - true to get only the direct domains
Returns:
the classes that are domains of the specified object property expression

getObjectPropertyRanges

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.

Parameters:
pe - object property expression
direct - true to get the direct ranges
Returns:
the classes that are ranges of the specified object property expression

getObjectPropertyValues

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

Parameters:
ind - individual
pe - data property
Returns:
the object property values for the specified individual and object property expression

getReasonerName

String getReasonerName()
Returns the name of this reasoner.

Returns:
the name of this reasoner

getReasonerVersion

String getReasonerVersion()
Returns the version of this reasoner.

Returns:
the version of this reasoner

getSameIndividuals

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.

Parameters:
ind - individual
Returns:
the individuals that are equivalent to the specified individual

getSubClasses

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.

Parameters:
ce - class expression
direct - true to get only the direct sub classes
Returns:
the sub classes of a specified class expression

getSubDataProperties

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.

Parameters:
pe - data property
direct - true to get only the direct sub data properties
Returns:
the sub data properties of a specified data property

getSubObjectProperties

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.

Parameters:
pe - object property expression
direct - true to get only the direct sub object properties
Returns:
the sub object properties of a specified object property expression

getSuperClasses

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.

Parameters:
ce - class expression
direct - true to get only the direct super classes
Returns:
the super classes of a specified class expression

getSuperDataProperties

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.

Parameters:
pe - data property
direct - true to get only the direct super data properties
Returns:
the super data properties of a specified data property

getSuperObjectProperties

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.

Parameters:
pe - object property expression
direct - true to get only the direct super object properties
Returns:
the super object properties of a specified object property expression

getTimeOut

long getTimeOut()
Returns the time out.

Returns:
the time out

getTopClassNode

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getTopClassNode()
Returns the top class node.

Returns:
the top class node

getTopDataPropertyNode

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getTopDataPropertyNode()
Returns the top data property node.

Returns:
the top data property node

getTopObjectPropertyNode

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getTopObjectPropertyNode()
Returns the top object property node.

Returns:
the top object property node

getTypes

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.

Parameters:
ind - individual
direct - true to get only the direct types
Returns:
the types of a specified individual

getUnsatisfiableClasses

Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getUnsatisfiableClasses()
Returns the set of unsatisfiable classes.

Returns:
the set of unsatisfiable classes

interrupt

void interrupt()
Sends a request to the reasoner to stop its processing.


isConsistent

boolean isConsistent()
Tells whether the ontology is consistent.

Returns:
true if and only if the ontology is consistent

isEntailed

boolean isEntailed(de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom axiom)
Tells whether the specified axiom is entailed by the ontology.

Parameters:
axiom - axiom to test entailment
Returns:
true if and only if the specified axiom is entailed by the ontology

isEntailed

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.

Parameters:
axioms - set of axioms to test entailment
Returns:
true if and only if the specified set of axioms is entailed by the ontology

isSatisfiable

boolean isSatisfiable(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression classExpression)
Tells whether the specified class expression is satisfiable.

Parameters:
classExpression - class expression
Returns:
true if and only if the specified class expression is satisfiable


Copyright © 2012. All Rights Reserved.