de.tudresden.inf.lat.jcel.reasoner.main
Class RuleBasedReasoner

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
All Implemented Interfaces:
IntegerReasoner

public class RuleBasedReasoner
extends Object
implements IntegerReasoner

This class models a rule-based reasoner.

Author:
Julian Mendez

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

RuleBasedReasoner

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

classify

public void classify()
Description copied from interface: IntegerReasoner
Performs classification only if it is needed.

Specified by:
classify in interface IntegerReasoner

dispose

public void dispose()
Description copied from interface: IntegerReasoner
Disposes this reasoner.

Specified by:
dispose in interface IntegerReasoner

flattenClassExpression

protected de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass flattenClassExpression(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)

flush

public void flush()
Description copied from interface: IntegerReasoner
Applies changes to the ontology when the reasoner is buffered.

Specified by:
flush in interface IntegerReasoner

getBottomClassNode

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getBottomClassNode()
Description copied from interface: IntegerReasoner
Returns the bottom class node.

Specified by:
getBottomClassNode in interface IntegerReasoner
Returns:
the bottom class node

getBottomDataPropertyNode

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getBottomDataPropertyNode()
Description copied from interface: IntegerReasoner
Returns the bottom data property node.

Specified by:
getBottomDataPropertyNode in interface IntegerReasoner
Returns:
the bottom data property node

getBottomObjectPropertyNode

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getBottomObjectPropertyNode()
Description copied from interface: IntegerReasoner
Returns the bottom object property node.

Specified by:
getBottomObjectPropertyNode in interface IntegerReasoner
Returns:
the bottom object property node

getDataPropertyDomains

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getDataPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe,
                                                                                                 boolean direct)
Description copied from interface: IntegerReasoner
Returns the classes that are domains of the specified data property.

Specified by:
getDataPropertyDomains in interface IntegerReasoner
Parameters:
pe - data property
direct - true to get only the direct domains
Returns:
the classes that are domains of the specified data property

getDataPropertyValues

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)
Description copied from interface: IntegerReasoner
Returns the data property values for the specified individual and data property.

Specified by:
getDataPropertyValues in interface IntegerReasoner
Parameters:
ind - individual
pe - data property
Returns:
the data property values for the specified individual and data property

getDifferentIndividuals

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> getDifferentIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
Description copied from interface: IntegerReasoner
Returns the individuals that are known to be different from the specified individual.

Specified by:
getDifferentIndividuals in interface IntegerReasoner
Parameters:
ind - individual
Returns:
the individuals that are known to be different from the specified individual

getDisjointClasses

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getDisjointClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
Description copied from interface: IntegerReasoner
Returns the classes that are disjoint with the specified class expression.

Specified by:
getDisjointClasses in interface IntegerReasoner
Parameters:
ce - class expression
Returns:
the classes that are disjoint with the specified class expression

getDisjointDataProperties

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getDisjointDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression pe)
Description copied from interface: IntegerReasoner
Returns the data properties that are disjoint with the specified data property expression.

Specified by:
getDisjointDataProperties in interface IntegerReasoner
Parameters:
pe - data property expression
Returns:
the data properties that are disjoint with the specified data property expression

getDisjointObjectProperties

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getDisjointObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Description copied from interface: IntegerReasoner
Returns the object properties that are disjoint with the specified object property expression.

Specified by:
getDisjointObjectProperties in interface IntegerReasoner
Parameters:
pe - object property expression
Returns:
the object properties that are disjoint with the specified object property expression

getEquivalentClasses

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getEquivalentClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce)
Description copied from interface: IntegerReasoner
Returns the classes that are equivalent to the specified class expression.

Specified by:
getEquivalentClasses in interface IntegerReasoner
Parameters:
ce - class expression
Returns:
the classes that are equivalent to the specified class expression

getEquivalentDataProperties

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getEquivalentDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe)
Description copied from interface: IntegerReasoner
Returns the data properties that are equivalent to the specified data property expression.

Specified by:
getEquivalentDataProperties in interface IntegerReasoner
Parameters:
pe - data property expression
Returns:
the data properties that are equivalent to the specified data property expression

getEquivalentObjectProperties

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getEquivalentObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Description copied from interface: IntegerReasoner
Returns the object properties that are equivalent to the specified object property expression.

Specified by:
getEquivalentObjectProperties in interface IntegerReasoner
Parameters:
pe - object property expression
Returns:
the object properties that are equivalent to the specified object property expression

getInstances

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual>> getInstances(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce,
                                                                                                 boolean direct)
Description copied from interface: IntegerReasoner
Returns the individuals that are instances of the specified class expression.

Specified by:
getInstances in interface IntegerReasoner
Parameters:
ce - class expression
direct - true to get the direct instances
Returns:
the individuals that are instances of the specified class expression

getInverseObjectProperties

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getInverseObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe)
Description copied from interface: IntegerReasoner
Returns the object property expressions that are the inverses of the specified object property expression.

Specified by:
getInverseObjectProperties in interface IntegerReasoner
Parameters:
pe - object property expression
Returns:
the object property expressions that are the inverses of the specified object property expression

getObjectPropertyDomains

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getObjectPropertyDomains(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
                                                                                                   boolean direct)
Description copied from interface: IntegerReasoner
Returns the classes that are domains of the specified object property expression.

Specified by:
getObjectPropertyDomains in interface IntegerReasoner
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

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getObjectPropertyRanges(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
                                                                                                  boolean direct)
Description copied from interface: IntegerReasoner
Returns the classes that are ranges of the specified object property expression.

Specified by:
getObjectPropertyRanges in interface IntegerReasoner
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

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)
Description copied from interface: IntegerReasoner
Returns the object property values for the specified individual and object property expression

Specified by:
getObjectPropertyValues in interface IntegerReasoner
Parameters:
ind - individual
pe - data property
Returns:
the object property values for the specified individual and object property expression

getProcessor

public de.tudresden.inf.lat.jcel.core.algorithm.common.Processor getProcessor()

getReasonerName

public String getReasonerName()
Description copied from interface: IntegerReasoner
Returns the name of this reasoner.

Specified by:
getReasonerName in interface IntegerReasoner
Returns:
the name of this reasoner

getReasonerVersion

public String getReasonerVersion()
Description copied from interface: IntegerReasoner
Returns the version of this reasoner.

Specified by:
getReasonerVersion in interface IntegerReasoner
Returns:
the version of this reasoner

getSameIndividuals

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual> getSameIndividuals(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind)
Description copied from interface: IntegerReasoner
Returns the individuals that are equivalent to the specified individual.

Specified by:
getSameIndividuals in interface IntegerReasoner
Parameters:
ind - individual
Returns:
the individuals that are equivalent to the specified individual

getSubClasses

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getSubClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce,
                                                                                        boolean direct)
Description copied from interface: IntegerReasoner
Returns the sub classes of a specified class expression.

Specified by:
getSubClasses in interface IntegerReasoner
Parameters:
ce - class expression
direct - true to get only the direct sub classes
Returns:
the sub classes of a specified class expression

getSubDataProperties

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getSubDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe,
                                                                                                      boolean direct)
Description copied from interface: IntegerReasoner
Returns the sub data properties of a specified data property.

Specified by:
getSubDataProperties in interface IntegerReasoner
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

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getSubObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
                                                                                                                    boolean direct)
Description copied from interface: IntegerReasoner
Returns the sub object properties of a specified object property expression.

Specified by:
getSubObjectProperties in interface IntegerReasoner
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

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getSuperClasses(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression ce,
                                                                                          boolean direct)
Description copied from interface: IntegerReasoner
Returns the super classes of a specified class expression.

Specified by:
getSuperClasses in interface IntegerReasoner
Parameters:
ce - class expression
direct - true to get only the direct super classes
Returns:
the super classes of a specified class expression

getSuperDataProperties

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty>> getSuperDataProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty pe,
                                                                                                        boolean direct)
Description copied from interface: IntegerReasoner
Returns the super data properties of a specified data property.

Specified by:
getSuperDataProperties in interface IntegerReasoner
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

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression>> getSuperObjectProperties(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression pe,
                                                                                                                      boolean direct)
Description copied from interface: IntegerReasoner
Returns the super object properties of a specified object property expression.

Specified by:
getSuperObjectProperties in interface IntegerReasoner
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

public long getTimeOut()
Description copied from interface: IntegerReasoner
Returns the time out.

Specified by:
getTimeOut in interface IntegerReasoner
Returns:
the time out

getTopClassNode

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getTopClassNode()
Description copied from interface: IntegerReasoner
Returns the top class node.

Specified by:
getTopClassNode in interface IntegerReasoner
Returns:
the top class node

getTopDataPropertyNode

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty> getTopDataPropertyNode()
Description copied from interface: IntegerReasoner
Returns the top data property node.

Specified by:
getTopDataPropertyNode in interface IntegerReasoner
Returns:
the top data property node

getTopObjectPropertyNode

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression> getTopObjectPropertyNode()
Description copied from interface: IntegerReasoner
Returns the top object property node.

Specified by:
getTopObjectPropertyNode in interface IntegerReasoner
Returns:
the top object property node

getTypes

public Set<Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass>> getTypes(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual ind,
                                                                                   boolean direct)
Description copied from interface: IntegerReasoner
Returns the types of a specified individual.

Specified by:
getTypes in interface IntegerReasoner
Parameters:
ind - individual
direct - true to get only the direct types
Returns:
the types of a specified individual

getUnsatisfiableClasses

public Set<de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass> getUnsatisfiableClasses()
Description copied from interface: IntegerReasoner
Returns the set of unsatisfiable classes.

Specified by:
getUnsatisfiableClasses in interface IntegerReasoner
Returns:
the set of unsatisfiable classes

interrupt

public void interrupt()
Description copied from interface: IntegerReasoner
Sends a request to the reasoner to stop its processing.

Specified by:
interrupt in interface IntegerReasoner

isClassified

public boolean isClassified()

isConsistent

public boolean isConsistent()
Description copied from interface: IntegerReasoner
Tells whether the ontology is consistent.

Specified by:
isConsistent in interface IntegerReasoner
Returns:
true if and only if the ontology is consistent

isEntailed

public boolean isEntailed(de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom axiom)
Description copied from interface: IntegerReasoner
Tells whether the specified axiom is entailed by the ontology.

Specified by:
isEntailed in interface IntegerReasoner
Parameters:
axiom - axiom to test entailment
Returns:
true if and only if the specified axiom is entailed by the ontology

isEntailed

public boolean isEntailed(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> axioms)
Description copied from interface: IntegerReasoner
Tells whether the specified set of axioms is entailed by the ontology.

Specified by:
isEntailed in interface IntegerReasoner
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

public boolean isSatisfiable(de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression classExpression)
Description copied from interface: IntegerReasoner
Tells whether the specified class expression is satisfiable.

Specified by:
isSatisfiable in interface IntegerReasoner
Parameters:
classExpression - class expression
Returns:
true if and only if the specified class expression is satisfiable


Copyright © 2012. All Rights Reserved.