- GCI0 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI0Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
A ⊑ B
- GCI1 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
A1 ⊓ A2 ⊑ B
- GCI2 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
A ⊑ ∃ r . B
- GCI3 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- GCI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
-
Axiom of the form:
∃ r . A ⊑ B
- getAnnotationProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation
-
Returns the annotation property.
- getAnnotationProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getAnnotations() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom
-
Returns the annotations of this axiom.
- getAnnotationValue() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation
-
Returns the annotation value.
- getAnnotationValue() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl
-
- getAuxiliaryInverseObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the auxiliary inverse object properties.
- getAuxiliaryInverseObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getAuxiliaryNominal(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
This method gives the auxiliary nominal related to a specific individual.
- getAuxiliaryNominal(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getAuxiliaryNominals() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the set of auxiliary nominals.
- getAuxiliaryNominals() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getClassesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the classes in the signature.
- getClassExpression() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getClassInSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
Returns the class on the left-hand part of the axiom.
- getClassInSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
Returns the class in the right-hand part of the axiom.
- getClassSet() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all classes in the ontology.
- getClassSet() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getDataPropertiesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the data properties in the signature.
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getDatatypesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the data types in the signature.
- getEntities(IntegerEntityType) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the set of identifiers of entities of a certain type.
- getEntities(IntegerEntityType, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns either the set of identifiers of auxiliary entities or the set of
identifiers of non-auxiliary entities.
- getEntities(IntegerEntityType) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getEntities(IntegerEntityType, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getFunctionalObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all functional object properties in the ontology.
- getFunctionalObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI0Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI0 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI0Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI1Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI1 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI1Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI2Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI2 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI2Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI3AAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI3 in the ontology such that the given
class occurs in the left part of the axiom.
- getGCI3AAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI3rAAxioms(int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI3 in the ontology such that the given
object property and the given class occur in the left part of the axiom.
- getGCI3rAAxioms(int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getGCI3rAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms GCI3 in the ontology such that the given
object property occurs in the axiom.
- getGCI3rAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getIndividual() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getIndividual(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
This method gives the individual related to a specific auxiliary nominal.
- getIndividual(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getIndividuals() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the set of individuals.
- getIndividuals() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getIndividualsInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the individuals in the signature.
- getLeftSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
Returns the left subclass in the axiom.
- getLeftSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
Returns the object property on the left-hand part of the composition.
- getName(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the name defined for a certain entity.
- getName(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- getName(OntologyExpressivity) - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName
-
Returns the description logic name for a specified expressivity.
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- getObjectPropertiesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
-
Returns the object properties in the signature.
- getObjectPropertySet() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all object properties in the ontology.
- getObjectPropertySet() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
Returns the object property in this axiom.
- getProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
Returns the object property in the axiom.
- getPropertyInSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
Returns the object property on the left-hand part of the axiom.
- getPropertyInSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
Returns the object property on the right-hand part of the axiom.
- getRange() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
Returns the class identifier in the axiom.
- getReflexiveObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all reflexive object properties in the ontology.
- getReflexiveObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI2rAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI2 in the ontology such that the given
object property occurs in the left part of the axiom.
- getRI2rAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI2sAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI2 in the ontology such that the given
object property occurs in the right part of the axiom.
- getRI2sAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI3AxiomsByLeft(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI3 in the ontology such that the given
object property occurs in the left part of the object property
composition, in the left part of the axiom.
- getRI3AxiomsByLeft(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRI3AxiomsByRight(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all axioms RI3 in the ontology such that the given
object property occurs in the right part of the object property
composition, in the left part of the axiom.
- getRI3AxiomsByRight(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getRightSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
Returns the right subclass in the axiom.
- getRightSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
Returns the object property on the right-hand part of the composition.
- getSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
Returns the subclass in this axiom.
- getSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
Returns the subclass in the axiom.
- getSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
Returns the object property on the left-hand part of the axiom
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
Returns the superclass in this axiom.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
Returns the superclass in the axiom.
- getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
Returns the superclass in the axiom.
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
Returns the object property in the axiom.
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
Returns the object property on the right-hand part of the axiom
- getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
Returns the super object property.
- getTransitiveObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
-
Returns the set of all transitive object properties in the ontology.
- getTransitiveObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- getType(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
Returns the entity type for the given identifier
- getType(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-