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 |
---|---|
IntegerClass |
IntegerDataTypeFactoryImpl.createClass(int classId) |
IntegerClass |
IntegerDataTypeFactory.createClass(int classId)
Creates a class.
|
IntegerClass |
IntegerDataTypeFactoryImpl.getBottomClass() |
IntegerClass |
IntegerDataTypeFactory.getBottomClass()
Returns the bottom class.
|
IntegerClass |
IntegerDataTypeFactoryImpl.getTopClass() |
IntegerClass |
IntegerDataTypeFactory.getTopClass()
Returns the top class.
|
Modifier and Type | Method and Description |
---|---|
int |
IntegerClass.compareTo(IntegerClass o) |
T |
IntegerClassExpressionVisitor.visit(IntegerClass classExpression)
Visits an integer class.
|
Modifier and Type | Method and Description |
---|---|
IntegerClass |
Translator.translateC(org.semanticweb.owlapi.model.OWLClass owlObject) |
Modifier and Type | Method and Description |
---|---|
Set<IntegerClass> |
Translator.translateSC(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> owlObject) |
Set<Set<IntegerClass>> |
Translator.translateSSC(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> owlObject) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.model.OWLClass |
Translator.translateC(IntegerClass integerObject) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> |
Translator.translateSC(Set<IntegerClass> integerObject) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> |
Translator.translateSSC(Set<Set<IntegerClass>> integerObject) |
Modifier and Type | Method and Description |
---|---|
protected IntegerClass |
RuleBasedReasoner.flattenClassExpression(IntegerClassExpression ce) |
Modifier and Type | Method and Description |
---|---|
Set<IntegerClass> |
RuleBasedReasoner.getBottomClassNode() |
Set<IntegerClass> |
IntegerReasoner.getBottomClassNode()
Returns the bottom class node.
|
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<Set<IntegerClass>> |
RuleBasedReasoner.getDisjointClasses(IntegerClassExpression ce) |
Set<Set<IntegerClass>> |
IntegerReasoner.getDisjointClasses(IntegerClassExpression ce)
Returns the classes that are disjoint with the specified class
expression.
|
Set<IntegerClass> |
RuleBasedReasoner.getEquivalentClasses(IntegerClassExpression ce) |
Set<IntegerClass> |
IntegerReasoner.getEquivalentClasses(IntegerClassExpression ce)
Returns the classes that are equivalent to the specified class
expression.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getObjectPropertyDomains(IntegerObjectPropertyExpression pe,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getObjectPropertyDomains(IntegerObjectPropertyExpression pe,
boolean direct)
Returns the classes that are domains of the specified object property
expression.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getObjectPropertyRanges(IntegerObjectPropertyExpression pe,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getObjectPropertyRanges(IntegerObjectPropertyExpression pe,
boolean direct)
Returns the classes that are ranges of the specified object property
expression.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getSubClasses(IntegerClassExpression ce,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getSubClasses(IntegerClassExpression ce,
boolean direct)
Returns the sub classes of a specified class expression.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getSuperClasses(IntegerClassExpression ce,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getSuperClasses(IntegerClassExpression ce,
boolean direct)
Returns the super classes of a specified class expression.
|
Set<IntegerClass> |
RuleBasedReasoner.getTopClassNode() |
Set<IntegerClass> |
IntegerReasoner.getTopClassNode()
Returns the top class node.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getTypes(IntegerNamedIndividual ind,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getTypes(IntegerNamedIndividual ind,
boolean direct)
Returns the types of a specified individual.
|
Set<IntegerClass> |
RuleBasedReasoner.getUnsatisfiableClasses() |
Set<IntegerClass> |
IntegerReasoner.getUnsatisfiableClasses()
Returns the set of unsatisfiable classes.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.