Package | Description |
---|---|
de.tudresden.inf.lat.jcel.ontology.datatype |
Provides interfaces and classes with the data types used in
the axioms of the classification algorithm.
|
de.tudresden.inf.lat.jcel.reasoner.main |
Provides interfaces and classes used for the reasoner.
|
Modifier and Type | Method and Description |
---|---|
IntegerDataProperty |
IntegerDataTypeFactoryImpl.createDataProperty(int dataPropertyId) |
IntegerDataProperty |
IntegerDataTypeFactory.createDataProperty(int dataPropertyId)
Creates a data property.
|
IntegerDataProperty |
IntegerDataTypeFactoryImpl.getBottomDataProperty() |
IntegerDataProperty |
IntegerDataTypeFactory.getBottomDataProperty()
Returns the bottom data property.
|
IntegerDataProperty |
IntegerDataTypeFactoryImpl.getTopDataProperty() |
IntegerDataProperty |
IntegerDataTypeFactory.getTopDataProperty()
Returns the top data property.
|
Modifier and Type | Method and Description |
---|---|
int |
IntegerDataProperty.compareTo(IntegerDataProperty o) |
Modifier and Type | Method and Description |
---|---|
Set<IntegerDataProperty> |
RuleBasedReasoner.getBottomDataPropertyNode() |
Set<IntegerDataProperty> |
IntegerReasoner.getBottomDataPropertyNode()
Returns the bottom data property node.
|
Set<Set<IntegerDataProperty>> |
RuleBasedReasoner.getDisjointDataProperties(IntegerDataPropertyExpression pe) |
Set<Set<IntegerDataProperty>> |
IntegerReasoner.getDisjointDataProperties(IntegerDataPropertyExpression pe)
Returns the data properties that are disjoint with the specified data
property expression.
|
Set<IntegerDataProperty> |
RuleBasedReasoner.getEquivalentDataProperties(IntegerDataProperty pe) |
Set<IntegerDataProperty> |
IntegerReasoner.getEquivalentDataProperties(IntegerDataProperty pe)
Returns the data properties that are equivalent to the specified data
property expression.
|
Set<Set<IntegerDataProperty>> |
RuleBasedReasoner.getSubDataProperties(IntegerDataProperty pe,
boolean direct) |
Set<Set<IntegerDataProperty>> |
IntegerReasoner.getSubDataProperties(IntegerDataProperty pe,
boolean direct)
Returns the sub data properties of a specified data property.
|
Set<Set<IntegerDataProperty>> |
RuleBasedReasoner.getSuperDataProperties(IntegerDataProperty pe,
boolean direct) |
Set<Set<IntegerDataProperty>> |
IntegerReasoner.getSuperDataProperties(IntegerDataProperty pe,
boolean direct)
Returns the super data properties of a specified data property.
|
Set<IntegerDataProperty> |
RuleBasedReasoner.getTopDataPropertyNode() |
Set<IntegerDataProperty> |
IntegerReasoner.getTopDataPropertyNode()
Returns the top data property node.
|
Modifier and Type | Method and Description |
---|---|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getDataPropertyDomains(IntegerDataProperty pe,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getDataPropertyDomains(IntegerDataProperty pe,
boolean direct)
Returns the classes that are domains of the specified data property.
|
Set<IntegerClass> |
RuleBasedReasoner.getDataPropertyValues(IntegerNamedIndividual ind,
IntegerDataProperty pe) |
Set<IntegerClass> |
IntegerReasoner.getDataPropertyValues(IntegerNamedIndividual ind,
IntegerDataProperty pe)
Returns the data property values for the specified individual and data
property.
|
Set<IntegerDataProperty> |
RuleBasedReasoner.getEquivalentDataProperties(IntegerDataProperty pe) |
Set<IntegerDataProperty> |
IntegerReasoner.getEquivalentDataProperties(IntegerDataProperty pe)
Returns the data properties that are equivalent to the specified data
property expression.
|
Set<Set<IntegerDataProperty>> |
RuleBasedReasoner.getSubDataProperties(IntegerDataProperty pe,
boolean direct) |
Set<Set<IntegerDataProperty>> |
IntegerReasoner.getSubDataProperties(IntegerDataProperty pe,
boolean direct)
Returns the sub data properties of a specified data property.
|
Set<Set<IntegerDataProperty>> |
RuleBasedReasoner.getSuperDataProperties(IntegerDataProperty pe,
boolean direct) |
Set<Set<IntegerDataProperty>> |
IntegerReasoner.getSuperDataProperties(IntegerDataProperty pe,
boolean direct)
Returns the super data properties of a specified data property.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.