- getBottomClassNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the bottom class node.
- getBottomClassNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBottomDataPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the bottom data property node.
- getBottomDataPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBottomObjectPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the bottom object property node.
- getBottomObjectPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getClassHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getClassHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDataPropertyDomains(IntegerDataProperty, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are domains of the specified data property.
- getDataPropertyDomains(IntegerDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDataPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getDataPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDataPropertyValues(IntegerNamedIndividual, IntegerDataProperty) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the data property values for the specified individual and data
property.
- getDataPropertyValues(IntegerNamedIndividual, IntegerDataProperty) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDifferentIndividuals(IntegerNamedIndividual) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the individuals that are known to be different from the specified
individual.
- getDifferentIndividuals(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDirectTypes() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getDirectTypes() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDisjointClasses(IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are disjoint with the specified class
expression.
- getDisjointClasses(IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDisjointDataProperties(IntegerDataPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the data properties that are disjoint with the specified data
property expression.
- getDisjointDataProperties(IntegerDataPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDisjointObjectProperties(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object properties that are disjoint with the specified object
property expression.
- getDisjointObjectProperties(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentClasses(IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are equivalent to the specified class
expression.
- getEquivalentClasses(IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentDataProperties(IntegerDataProperty) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the data properties that are equivalent to the specified data
property expression.
- getEquivalentDataProperties(IntegerDataProperty) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentObjectProperties(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object properties that are equivalent to the specified object
property expression.
- getEquivalentObjectProperties(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getInstances(IntegerClassExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the individuals that are instances of the specified class
expression.
- getInstances(IntegerClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getInverseObjectProperties(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object property expressions that are the inverses of the
specified object property expression.
- getInverseObjectProperties(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyDomains(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are domains of the specified object property
expression.
- getObjectPropertyDomains(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getObjectPropertyHierarchy() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getObjectPropertyRanges(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the classes that are ranges of the specified object property
expression.
- getObjectPropertyRanges(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyValues(IntegerNamedIndividual, IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the object property values for the specified individual and
object property expression
- getObjectPropertyValues(IntegerNamedIndividual, IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getProcessor() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getReasoner() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- getReasonerName() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the name of this reasoner.
- getReasonerName() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getReasonerVersion() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the version of this reasoner.
- getReasonerVersion() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSameIndividualMap() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getSameIndividualMap() - Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getSameIndividuals(IntegerNamedIndividual) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the individuals that are equivalent to the specified individual.
- getSameIndividuals(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubClasses(IntegerClassExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the sub classes of a specified class expression.
- getSubClasses(IntegerClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubDataProperties(IntegerDataProperty, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the sub data properties of a specified data property.
- getSubDataProperties(IntegerDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the sub object properties of a specified object property
expression.
- getSubObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperClasses(IntegerClassExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the super classes of a specified class expression.
- getSuperClasses(IntegerClassExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperDataProperties(IntegerDataProperty, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the super data properties of a specified data property.
- getSuperDataProperties(IntegerDataProperty, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the super object properties of a specified object property
expression.
- getSuperObjectProperties(IntegerObjectPropertyExpression, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTimeOut() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the time out.
- getTimeOut() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopClassNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the top class node.
- getTopClassNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopDataPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the top data property node.
- getTopDataPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopObjectPropertyNode() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the top object property node.
- getTopObjectPropertyNode() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTypes(IntegerNamedIndividual, boolean) - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the types of a specified individual.
- getTypes(IntegerNamedIndividual, boolean) - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getUnsatisfiableClasses() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
-
Returns the set of unsatisfiable classes.
- getUnsatisfiableClasses() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-