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.owlapi.translator |
Provides interfaces and classes used in the translation
between OWL API objects and integer numbers (the internal
representation).
|
de.tudresden.inf.lat.jcel.reasoner.main |
Provides interfaces and classes used for the reasoner.
|
Modifier and Type | Method and Description |
---|---|
IntegerNamedIndividual |
IntegerDataTypeFactoryImpl.createNamedIndividual(int individualId) |
IntegerNamedIndividual |
IntegerDataTypeFactory.createNamedIndividual(int individualId)
Creates a named individual.
|
Modifier and Type | Method and Description |
---|---|
int |
IntegerNamedIndividual.compareTo(IntegerNamedIndividual o) |
T |
IntegerClassExpressionVisitor.visit(IntegerNamedIndividual namedIndividual)
Visits a named individual.
|
Modifier and Type | Method and Description |
---|---|
IntegerNamedIndividual |
Translator.translateI(org.semanticweb.owlapi.model.OWLNamedIndividual owlObject) |
Modifier and Type | Method and Description |
---|---|
Set<IntegerNamedIndividual> |
Translator.translateSI(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> owlObject) |
Set<Set<IntegerNamedIndividual>> |
Translator.translateSSI(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> owlObject) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.model.OWLNamedIndividual |
Translator.translateI(IntegerNamedIndividual integerObject) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLNamedIndividual> |
Translator.translateSI(Set<IntegerNamedIndividual> integerObject) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> |
Translator.translateSSI(Set<Set<IntegerNamedIndividual>> integerObject) |
Modifier and Type | Method and Description |
---|---|
Set<Set<IntegerNamedIndividual>> |
RuleBasedReasoner.getDifferentIndividuals(IntegerNamedIndividual ind) |
Set<Set<IntegerNamedIndividual>> |
IntegerReasoner.getDifferentIndividuals(IntegerNamedIndividual ind)
Returns the individuals that are known to be different from the specified
individual.
|
Set<Set<IntegerNamedIndividual>> |
RuleBasedReasoner.getInstances(IntegerClassExpression ce,
boolean direct) |
Set<Set<IntegerNamedIndividual>> |
IntegerReasoner.getInstances(IntegerClassExpression ce,
boolean direct)
Returns the individuals that are instances of the specified class
expression.
|
Set<Set<IntegerNamedIndividual>> |
RuleBasedReasoner.getObjectPropertyValues(IntegerNamedIndividual ind,
IntegerObjectPropertyExpression pe) |
Set<Set<IntegerNamedIndividual>> |
IntegerReasoner.getObjectPropertyValues(IntegerNamedIndividual ind,
IntegerObjectPropertyExpression pe)
Returns the object property values for the specified individual and
object property expression
|
Set<IntegerNamedIndividual> |
RuleBasedReasoner.getSameIndividuals(IntegerNamedIndividual ind) |
Set<IntegerNamedIndividual> |
IntegerReasoner.getSameIndividuals(IntegerNamedIndividual ind)
Returns the individuals that are equivalent to the specified individual.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.