Package | Description |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms.
|
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 |
---|---|
IntegerObjectPropertyExpression |
IntegerInverseObjectPropertiesAxiom.getFirstProperty()
Returns one of object properties (called first) in this axiom.
|
IntegerObjectPropertyExpression |
IntegerTransitiveObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerReflexiveObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerPropertyRangeAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerObjectPropertyAssertionAxiom.getProperty()
Returns the object property expression in this axiom.
|
IntegerObjectPropertyExpression |
IntegerNegativeObjectPropertyAssertionAxiom.getProperty()
Returns the object property expression in this axiom.
|
IntegerObjectPropertyExpression |
IntegerInverseFunctionalObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerFunctionalObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerInverseObjectPropertiesAxiom.getSecondProperty()
Returns one of object properties (called second) in this axiom.
|
IntegerObjectPropertyExpression |
IntegerSubObjectPropertyOfAxiom.getSubProperty()
Returns the sub object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerSubPropertyChainOfAxiom.getSuperProperty()
Returns the super object property expression.
|
IntegerObjectPropertyExpression |
IntegerSubObjectPropertyOfAxiom.getSuperProperty()
Returns the super object property in this axiom.
|
Modifier and Type | Method and Description |
---|---|
Set<IntegerObjectPropertyExpression> |
IntegerEquivalentObjectPropertiesAxiom.getProperties()
Returns the set of equivalent object properties in this axiom.
|
List<IntegerObjectPropertyExpression> |
IntegerSubPropertyChainOfAxiom.getPropertyChain() |
Modifier and Type | Class and Description |
---|---|
class |
IntegerObjectInverseOf
This class models an inverse object property.
|
class |
IntegerObjectProperty
This class models an object property.
|
Modifier and Type | Method and Description |
---|---|
IntegerObjectPropertyExpression |
IntegerObjectSomeValuesFrom.getProperty() |
Modifier and Type | Method and Description |
---|---|
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactoryImpl.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression) |
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactory.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
Constructor and Description |
---|
IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Constructs an existential restriction.
|
Modifier and Type | Method and Description |
---|---|
IntegerObjectPropertyExpression |
AxiomTranslator.translateObjectPropertyExpression(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpr) |
IntegerObjectPropertyExpression |
Translator.translateOPE(org.semanticweb.owlapi.model.OWLObjectPropertyExpression owlObject) |
IntegerObjectPropertyExpression |
ObjectPropertyExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationProperty owlAnnotationProperty) |
IntegerObjectPropertyExpression |
ObjectPropertyExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataProperty property) |
IntegerObjectPropertyExpression |
ObjectPropertyExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectInverseOf property) |
IntegerObjectPropertyExpression |
ObjectPropertyExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectProperty owlObjectProperty) |
Modifier and Type | Method and Description |
---|---|
Set<IntegerObjectPropertyExpression> |
Translator.translateSOPE(org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> owlObject) |
Set<Set<IntegerObjectPropertyExpression>> |
Translator.translateSSOPE(org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> owlObject) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.model.OWLObjectPropertyExpression |
Translator.translateOPE(IntegerObjectPropertyExpression integerObject) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
Translator.translateSOPE(Set<IntegerObjectPropertyExpression> integerObject) |
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
Translator.translateSSOPE(Set<Set<IntegerObjectPropertyExpression>> integerObject) |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.