Provides interfaces and classes with the data types used in
the normalized axioms of the classification algorithm.
de.tudresden.inf.lat.jcel.coreontology.expressivity - package de.tudresden.inf.lat.jcel.coreontology.expressivity
E
- emptyProp -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- ExpressivityName - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity
- An object of this class can name the expressivity used in an ontology.
- ExpressivityName() -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName
- Constructs a new object that can give the description logic name for a
given expressivity.
- ExtendedOntology - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
- This is the interface of an extended ontology provides methods to efficiently
retrieve axioms from the ontology.
- ExtendedOntologyImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- This class models an ontology with the property to look up by axiom type.
- ExtendedOntologyImpl() -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
- Constructs an empty ontology.
F
- firstUsableIdentifier -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
- FunctionalObjectProperty -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- FunctObjectPropAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- Axiom stating that an object property is functional.
- FunctObjectPropAxiom(int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
- Constructs a new functional object property axiom.
G
- 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
- GCI0Axiom(int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
- Constructs a new GCI-0 axiom.
- 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 ⊓ … ⊓ An ⊑ B
- GCI1Axiom(List<Integer>, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
- Constructs a new GCI-1 axiom.
- 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
- GCI2Axiom(int, int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
- Constructs a new GCI-2 axiom.
- 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
- GCI3Axiom(int, int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
- Constructs a new GCI-3 axiom.
- 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, boolean) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
- Returns the set of identifiers of auxiliary entities of a certain type.
- 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.
- 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
-
- getOperands() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
- Returns the list of operands on the left-hand side of the axiom.
- 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
-
- 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
-
H
- hasBottom() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found class bottom.
- hasBottom() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasDatatype() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found data types.
- hasDatatype() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasFunctionalObjectProperty() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found functional object
properties.
- hasFunctionalObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- hasIndividual() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found individuals.
- hasIndividual() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasInverseObjectProperty() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found inverse object properties.
- hasInverseObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasNominal() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found nominals.
- hasNominal() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasReflexiveObjectProperty() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found reflexive object
properties.
- hasReflexiveObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasSubObjectPropertyOf() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found sub object properties.
- hasSubObjectPropertyOf() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasSubPropertyChainOf() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found sub object property chains.
- hasSubPropertyChainOf() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
- hasTransitiveObjectProperty() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
- Tells whether the ontology analyzer has found transitive object
properties.
- hasTransitiveObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
I
- IntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
- An
IntegerAxiom
is an axiom that is composed by integer numbers. - IntegerClassExpressionWord - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
- This interface is a collection of constants used in the string representation
of
IntegerClassExpression
s. - IntegerDatatype - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
- An object implementing this interface is an object used for data types based
on integer numbers.
- IntegerEntityManager - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
- An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
- IntegerEntityManagerImpl - Class in de.tudresden.inf.lat.jcel.coreontology.datatype
- An object of this class generates new identification numbers for object
properties and classes.
- IntegerEntityManagerImpl() -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
- Constructs a new identifier generator.
- IntegerEntityType - Enum in de.tudresden.inf.lat.jcel.coreontology.datatype
-
- isAuxiliary(Integer) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
- Tells whether the given identifier corresponds to an auxiliary entity.
- isAuxiliary(Integer) -
Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
L
- load(Set<NormalizedIntegerAxiom>) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
- Loads a set of normalized axioms.
- load(Set<NormalizedIntegerAxiom>) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
N
- NominalAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- Axiom of the form:
{a} ≡ A
- NominalAxiom(int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
- Constructs a new nominal axiom.
- NominalAxiom -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- NormalizedAxiomExpressivityDetector - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity
- An object implementing this class can detect the expressivity of a given set
of normalized axioms.
- NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom>) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
- Constructs a new expressivity detector.
- NormalizedIntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
- This interface is for normalized axioms, that is, resulting axioms of the
normalization process.
- NormalizedIntegerAxiomConstant - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
- This interface is a collection of constants used by classes that implement an
NormalizedIntegerAxiom
. - NormalizedIntegerAxiomFactory - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
- An object implementing this interface is a factory to create normalized
axioms.
- NormalizedIntegerAxiomFactoryImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- An object of this class is a factory to create any normalized axiom.
- NormalizedIntegerAxiomFactoryImpl() -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
- Constructs a new normalized axiom factory.
- NormalizedIntegerAxiomVisitor<T> - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
- This class models a visitor of
NormalizedIntegerAxiom
. - NormalizedRangeAxiom -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
O
- ObjectIntersectionOf -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
- ObjectInverseOf -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
- ObjectOneOf -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
- ObjectSomeValuesFrom -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
- OntologyExpressivity - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
-
- openPar -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- openPar -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
P
- proposeInverseObjectPropertyOf(Integer, Integer) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
- Proposes the association of an object property to another object property
as one the inverse object property of the other one.
- proposeInverseObjectPropertyOf(Integer, Integer) -
Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
R
- RangeAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- Axiom of the form:
range(r) ⊑ A
- RangeAxiom(int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
- Constructs a new range axiom.
- RI1 -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- RI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- Axiom of the form:
ϵ ⊑ r
- RI1Axiom(int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
- Constructs a new axiom RI-1.
- RI2 -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- RI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- Axiom of the form:
r ⊑ s
- RI2Axiom(int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
- Constructs a new axiom RI-2.
- RI3 -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- RI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
- Axiom of the form:
r ∘ s ⊑ t
- RI3Axiom(int, int, int) -
Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
- Constructs a new RI-3 axiom
S
- size() -
Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
- Returns the number of created entities, either auxiliary or
non-auxiliary.
- size() -
Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- sp -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
-
- sp -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
-
T
- topClassId -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
- topDataPropertyId -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
- topObjectPropertyId -
Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
-
V
- valueOf(String) -
Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType
- Returns the enum constant of this type with the specified name.
- values() -
Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType
- Returns an array containing the constants of this enum type, in
the order they are declared.
- visit(FunctObjectPropAxiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(GCI0Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(GCI1Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(GCI2Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(GCI3Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(NominalAxiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(RangeAxiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(RI1Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(RI2Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(RI3Axiom) -
Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
-
- visit(FunctObjectPropAxiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a functional object property axiom.
- visit(GCI0Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a GCI-0 axiom.
- visit(GCI1Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a GCI-1 axiom.
- visit(GCI2Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a GCI-2 axiom.
- visit(GCI3Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a GCI-3 axiom.
- visit(NominalAxiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a nominal axiom.
- visit(RangeAxiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits a range axiom.
- visit(RI1Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits an RI-1 axiom.
- visit(RI2Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits an RI-2 axiom.
- visit(RI3Axiom) -
Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
- Visits an RI-3 axiom.
A B C D E F G H I L N O P R S T V
Copyright © 2012. All Rights Reserved.