public class RuleBasedReasoner extends Object implements IntegerReasoner
Constructor and Description |
---|
RuleBasedReasoner(Set<ComplexIntegerAxiom> ontology,
IntegerOntologyObjectFactory factory) |
Modifier and Type | Method and Description |
---|---|
void |
classify()
Performs classification only if it is needed.
|
void |
dispose()
Disposes this reasoner.
|
protected IntegerClass |
flattenClassExpression(IntegerClassExpression ce) |
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
|
Processor |
getProcessor() |
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 |
isClassified() |
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.
|
public RuleBasedReasoner(Set<ComplexIntegerAxiom> ontology, IntegerOntologyObjectFactory factory)
public void classify()
IntegerReasoner
classify
in interface IntegerReasoner
public void dispose()
IntegerReasoner
dispose
in interface IntegerReasoner
protected IntegerClass flattenClassExpression(IntegerClassExpression ce)
public void flush()
IntegerReasoner
flush
in interface IntegerReasoner
public Set<IntegerClass> getBottomClassNode()
IntegerReasoner
getBottomClassNode
in interface IntegerReasoner
public Set<IntegerDataProperty> getBottomDataPropertyNode()
IntegerReasoner
getBottomDataPropertyNode
in interface IntegerReasoner
public Set<IntegerObjectPropertyExpression> getBottomObjectPropertyNode()
IntegerReasoner
getBottomObjectPropertyNode
in interface IntegerReasoner
public Set<Set<IntegerClass>> getDataPropertyDomains(IntegerDataProperty pe, boolean direct)
IntegerReasoner
getDataPropertyDomains
in interface IntegerReasoner
pe
- data propertydirect
- true
to get only the direct domainspublic Set<IntegerClass> getDataPropertyValues(IntegerNamedIndividual ind, IntegerDataProperty pe)
IntegerReasoner
getDataPropertyValues
in interface IntegerReasoner
ind
- individualpe
- data propertypublic Set<Set<IntegerNamedIndividual>> getDifferentIndividuals(IntegerNamedIndividual ind)
IntegerReasoner
getDifferentIndividuals
in interface IntegerReasoner
ind
- individualpublic Set<Set<IntegerClass>> getDisjointClasses(IntegerClassExpression ce)
IntegerReasoner
getDisjointClasses
in interface IntegerReasoner
ce
- class expressionpublic Set<Set<IntegerDataProperty>> getDisjointDataProperties(IntegerDataPropertyExpression pe)
IntegerReasoner
getDisjointDataProperties
in interface IntegerReasoner
pe
- data property expressionpublic Set<Set<IntegerObjectPropertyExpression>> getDisjointObjectProperties(IntegerObjectPropertyExpression pe)
IntegerReasoner
getDisjointObjectProperties
in interface IntegerReasoner
pe
- object property expressionpublic Set<IntegerClass> getEquivalentClasses(IntegerClassExpression ce)
IntegerReasoner
getEquivalentClasses
in interface IntegerReasoner
ce
- class expressionpublic Set<IntegerDataProperty> getEquivalentDataProperties(IntegerDataProperty pe)
IntegerReasoner
getEquivalentDataProperties
in interface IntegerReasoner
pe
- data property expressionpublic Set<IntegerObjectPropertyExpression> getEquivalentObjectProperties(IntegerObjectPropertyExpression pe)
IntegerReasoner
getEquivalentObjectProperties
in interface IntegerReasoner
pe
- object property expressionpublic Set<Set<IntegerNamedIndividual>> getInstances(IntegerClassExpression ce, boolean direct)
IntegerReasoner
getInstances
in interface IntegerReasoner
ce
- class expressiondirect
- true
to get the direct instancespublic Set<IntegerObjectPropertyExpression> getInverseObjectProperties(IntegerObjectPropertyExpression pe)
IntegerReasoner
getInverseObjectProperties
in interface IntegerReasoner
pe
- object property expressionpublic Set<Set<IntegerClass>> getObjectPropertyDomains(IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getObjectPropertyDomains
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get only the direct domainspublic Set<Set<IntegerClass>> getObjectPropertyRanges(IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getObjectPropertyRanges
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get the direct rangespublic Set<Set<IntegerNamedIndividual>> getObjectPropertyValues(IntegerNamedIndividual ind, IntegerObjectPropertyExpression pe)
IntegerReasoner
getObjectPropertyValues
in interface IntegerReasoner
ind
- individualpe
- data propertypublic Processor getProcessor()
public String getReasonerName()
IntegerReasoner
getReasonerName
in interface IntegerReasoner
public String getReasonerVersion()
IntegerReasoner
getReasonerVersion
in interface IntegerReasoner
public Set<IntegerNamedIndividual> getSameIndividuals(IntegerNamedIndividual ind)
IntegerReasoner
getSameIndividuals
in interface IntegerReasoner
ind
- individualpublic Set<Set<IntegerClass>> getSubClasses(IntegerClassExpression ce, boolean direct)
IntegerReasoner
getSubClasses
in interface IntegerReasoner
ce
- class expressiondirect
- true
to get only the direct sub classespublic Set<Set<IntegerDataProperty>> getSubDataProperties(IntegerDataProperty pe, boolean direct)
IntegerReasoner
getSubDataProperties
in interface IntegerReasoner
pe
- data propertydirect
- true
to get only the direct sub data propertiespublic Set<Set<IntegerObjectPropertyExpression>> getSubObjectProperties(IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getSubObjectProperties
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get only the direct sub object propertiespublic Set<Set<IntegerClass>> getSuperClasses(IntegerClassExpression ce, boolean direct)
IntegerReasoner
getSuperClasses
in interface IntegerReasoner
ce
- class expressiondirect
- true
to get only the direct super classespublic Set<Set<IntegerDataProperty>> getSuperDataProperties(IntegerDataProperty pe, boolean direct)
IntegerReasoner
getSuperDataProperties
in interface IntegerReasoner
pe
- data propertydirect
- true
to get only the direct super data propertiespublic Set<Set<IntegerObjectPropertyExpression>> getSuperObjectProperties(IntegerObjectPropertyExpression pe, boolean direct)
IntegerReasoner
getSuperObjectProperties
in interface IntegerReasoner
pe
- object property expressiondirect
- true
to get only the direct super object
propertiespublic long getTimeOut()
IntegerReasoner
getTimeOut
in interface IntegerReasoner
public Set<IntegerClass> getTopClassNode()
IntegerReasoner
getTopClassNode
in interface IntegerReasoner
public Set<IntegerDataProperty> getTopDataPropertyNode()
IntegerReasoner
getTopDataPropertyNode
in interface IntegerReasoner
public Set<IntegerObjectPropertyExpression> getTopObjectPropertyNode()
IntegerReasoner
getTopObjectPropertyNode
in interface IntegerReasoner
public Set<Set<IntegerClass>> getTypes(IntegerNamedIndividual ind, boolean direct)
IntegerReasoner
getTypes
in interface IntegerReasoner
ind
- individualdirect
- true
to get only the direct typespublic Set<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(ComplexIntegerAxiom axiom)
IntegerReasoner
isEntailed
in interface IntegerReasoner
axiom
- axiom to test entailmenttrue
if and only if the specified axiom is entailed
by the ontologypublic boolean isEntailed(Set<ComplexIntegerAxiom> axioms)
IntegerReasoner
isEntailed
in interface IntegerReasoner
axioms
- set of axioms to test entailmenttrue
if and only if the specified set of axioms is
entailed by the ontologypublic boolean isSatisfiable(IntegerClassExpression classExpression)
IntegerReasoner
isSatisfiable
in interface IntegerReasoner
classExpression
- class expressiontrue
if and only if the specified class expression
is satisfiableCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.