Provides interfaces and classes with the data types used in
the axioms of the classification algorithm.
de.tudresden.inf.lat.jcel.ontology.normalization - package de.tudresden.inf.lat.jcel.ontology.normalization
Provides interfaces and classes needed to perform the
normalization.
Declaration -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
DifferentIndividuals -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
DisjointClasses -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
E
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- equals(Object) -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- EquivalentClasses -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- EquivalentProperties -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
F
- FunctionalObjectProperty -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
G
- getBottomClass() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
- Returns the bottom class.
- getBottomClass() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getBottomDataProperty() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
- Returns the bottom data property.
- getBottomDataProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getBottomObjectProperty() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
- Returns the bottom object property.
- getBottomObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getClassesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getClassExpression() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
- Returns the class expression in the axiom.
- getClassExpressions() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
- Returns the set of disjoint classes in this axiom.
- getClassExpressions() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
- Returns the set of equivalent classes in this axiom.
- getComplexAxiomFactory() -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
- Returns the complex axiom factory.
- getComplexAxiomFactory() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getDataPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getDataTypeFactory() -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
- Returns the data type factory.
- getDataTypeFactory() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getDatatypesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getEntity() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getEntity() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getEntity() -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDeclarationAxiom
- Returns the entity declared by this axioms.
- getEntity() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getEntity() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getEntityManager() -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
- Returns the identifier generator.
- getEntityManager() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getFiller() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
- Returns the class expression in this class expression.
- getFiller() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
- Returns the filler.
- getFirstProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
- Returns one of object properties (called first) in this axiom.
- getId() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
- Returns the class identifier.
- getId() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getId() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataPropertyExpression
- Returns the identifier of the used data property.
- getId() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
- Returns the named individual identifier.
- getId() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
- Returns the identifier for this object property.
- getIdGenerator() -
Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
-
- getIndividual() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
- Returns the individual in the axiom.
- getIndividual() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
- Returns the individual in this class expression.
- getIndividuals() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
- Returns the set of different individuals in this axiom.
- getIndividuals() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
- Returns the set of individuals in this axiom.
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getIndividualsInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getInverse() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
- Returns the inverse used for this object property expression
- getNormalizedAxiomFactory() -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory
- Returns the normalized axiom factory.
- getNormalizedAxiomFactory() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
-
- getObject() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
- Returns the individual representing the object.
- getObject() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
- Returns the individual representing the object.
- getObject() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
- Returns the individual representing the subject.
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- getObjectPropertiesInSignature() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getOperands() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
- Return the operands in this class expression.
- getProperties() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
- Returns the set of equivalent object properties in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
- Returns the data property in the axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
- Returns the object property in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
- Returns the object property in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
- Returns the object property expression in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
- Returns the object property expression in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
- Returns the object property in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
- Returns the object property in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
- Returns the object property in this axiom.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
- Returns the data property in this class expression.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
- Returns the data property in this class expression.
- getProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- getPropertyChain() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- getRange() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
- Returns the class expression in this axiom.
- getRequiredAxioms() -
Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
-
- getSecondProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
- Returns one of object properties (called second) in this axiom.
- getSubClass() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
- Returns the subclass in this axiom.
- getSubject() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
- Returns the individual representing the subject.
- getSubject() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
- Returns the individual representing the subject.
- getSubject() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
- Returns the individual representing the subject.
- getSubProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
- Returns the sub object property in this axiom.
- getSuperClass() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
- Returns the superclass in this axiom.
- getSuperProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
- Returns the super object property in this axiom.
- getSuperProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
- Returns the super object property expression.
- getTopClass() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
- Returns the top class.
- getTopClass() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getTopDataProperty() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
- Returns the top data property.
- getTopDataProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getTopObjectProperty() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
- Returns the top object property.
- getTopObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
-
- getValue() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
- Returns the value in this class expression.
H
- hasBottom() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasDatatype() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasFunctionalObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- hashCode() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- hasIndividual() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasInverseObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasNominal() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasReflexiveObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasSubObjectPropertyOf() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasSubPropertyChainOf() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- hasTransitiveObjectProperty() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
I
- IntegerClass - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This models a class, this is : A
- IntegerClass(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
- Constructs a new class.
- IntegerClassAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an assertion axiom that relates a class with an individual.
- IntegerClassAssertionAxiom(IntegerClassExpression, Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
- Constructs a new class assertion axiom.
- IntegerClassDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- An object of this class is an axiom that declares a class.
- IntegerClassDeclarationAxiom(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
- Constructs a new class declaration axiom.
- IntegerClassExpression - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
- This interface is implemented by classes that model class expressions with
integer numbers.
- IntegerClassExpressionVisitor<T> - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models a visitor of
IntegerClassExpression
. - IntegerDataHasValue - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models a has-value class expression, this is: ∃ r .
{v} , where r is data property expression and v is a value.
- IntegerDataHasValue(Integer, Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
- Constructs a has-value class expression.
- IntegerDataProperty - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models an object property.
- IntegerDataProperty(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
- Constructs a data property.
- IntegerDataPropertyAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an assertion that relates a data property and a pair of
individuals.
- IntegerDataPropertyAssertionAxiom(Integer, Integer, Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
- Constructs a new data property assertion axiom.
- IntegerDataPropertyDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- An object of this class is an axiom that declares an data property.
- IntegerDataPropertyDeclarationAxiom(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
- Constructs a new data property declaration axiom.
- IntegerDataPropertyExpression - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
- This interface is implemented by classes that model object property
expressions with integer numbers.
- IntegerDataSomeValuesFrom - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models an existential restriction with data properties, this is:
∃ p . C, where p is a data property and C is a class expression.
- IntegerDataSomeValuesFrom(Integer, IntegerClassExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
- Constructs an existential restriction.
- IntegerDataTypeFactory - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
- An object implementing this interface can create basic ontology objects.
- IntegerDataTypeFactoryImpl - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- An object implementing this class can create basic ontology objects.
- IntegerDataTypeFactoryImpl() -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
- Constructs a new data type factory.
- IntegerDeclarationAxiom - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This interface is implemented by declaration axioms.
- IntegerDifferentIndividualsAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom saying that two or more individuals are pairwise
different.
- IntegerDifferentIndividualsAxiom(Set<Integer>) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
- Constructs a new different individuals axiom
- IntegerDisjointClassesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the contained classes are pairwise
disjoint.
- IntegerDisjointClassesAxiom(Set<IntegerClassExpression>) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
- Constructs a new disjoint classes axiom.
- IntegerEquivalentClassesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the contained classes are equivalent.
- IntegerEquivalentClassesAxiom(Set<IntegerClassExpression>) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
- Constructs a new equivalent classes axiom.
- IntegerEquivalentObjectPropertiesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the contained properties are
equivalent.
- IntegerEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression>) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
- Constructs an equivalent object properties axiom.
- IntegerFunctionalObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that an object property is functional.
- IntegerFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
- Constructs a new functional object property axiom.
- IntegerInverseFunctionalObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the inverse of an object property is
functional.
- IntegerInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
- Constructs a new inverse functional object property axiom.
- IntegerInverseObjectPropertiesAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that one object property is the inverse of
another object property.
- IntegerInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
- Constructs a new inverse object property axiom, declaring that one object
property is the inverse of another one.
- IntegerNamedIndividual - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This models a named individual.
- IntegerNamedIndividual(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
- Constructs a new named individual.
- IntegerNamedIndividualDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- An object of this class is an axiom that declares a named individual.
- IntegerNamedIndividualDeclarationAxiom(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
- Constructs a new named individual declaration axiom.
- IntegerNegativeObjectPropertyAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an assertion that negatively relates an object property and
a pair of individuals.
- IntegerNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, Integer, Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
- Constructs a new negative object property axiom.
- IntegerObjectIntersectionOf - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models an intersection of several class expressions, this is:
C1 ⊓ … ⊓ Cn
- IntegerObjectIntersectionOf(Set<IntegerClassExpression>) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
- Constructs an intersection of class expressions.
- IntegerObjectInverseOf - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models an inverse object property.
- IntegerObjectInverseOf(IntegerObjectProperty) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
- Constructs an inverse object property.
- IntegerObjectOneOf - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models the nominal constructor.
- IntegerObjectOneOf(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
- Constructs a nominal expression.
- IntegerObjectProperty - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models an object property.
- IntegerObjectProperty(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
- Constructs an object property.
- IntegerObjectPropertyAssertionAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an assertion that relates an object property and a pair of
individuals.
- IntegerObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, Integer, Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
- Constructs a new object property assertion axiom.
- IntegerObjectPropertyDeclarationAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- An object of this class is an axiom that declares an object property.
- IntegerObjectPropertyDeclarationAxiom(Integer) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
- Constructs a new object property declaration axiom.
- IntegerObjectPropertyExpression - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
- This interface is implemented by classes that model object property
expressions with integer numbers.
- IntegerObjectPropertyExpressionVisitor<T> - Interface in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models a visitor of
IntegerObjectPropertyExpression
. - IntegerObjectSomeValuesFrom - Class in de.tudresden.inf.lat.jcel.ontology.datatype
- This class models an existential restriction with object properties, this is:
∃ r . C , where r is an object property expression and C is a
class expression.
- IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression, IntegerClassExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
- Constructs an existential restriction.
- IntegerOntologyObjectFactory - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.extension
- An object implementing this interface can create all the objects in an
ontology.
- IntegerOntologyObjectFactoryImpl - Class in de.tudresden.inf.lat.jcel.ontology.axiom.extension
- An object of this class can create all the objects in an ontology.
- IntegerOntologyObjectFactoryImpl() -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactoryImpl
- Constructs a new ontology object factory.
- IntegerPropertyRangeAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the range of a particular object
property is included in a particular class expression.
- IntegerPropertyRangeAxiom(IntegerObjectPropertyExpression, IntegerClassExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
- Constructs a new object property range axiom.
- IntegerReflexiveObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that an object property is reflexive.
- IntegerReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
- Constructs a new reflexive object property axiom.
- IntegerSameIndividualAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom saying that two or more individuals are the same.
- IntegerSameIndividualAxiom(Set<Integer>) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
- Constructs a new same individual axiom.
- IntegerSubClassOfAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that one class is a subclass of another
one.
- IntegerSubClassOfAxiom(IntegerClassExpression, IntegerClassExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
- Constructs a new subclass axiom.
- IntegerSubObjectPropertyOfAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that one object property is a subproperty
of another one.
- IntegerSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
- Constructs a new sub object property axiom.
- IntegerSubPropertyChainOfAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the contained properties form a
subsumption chain.
- IntegerSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression>, IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
- Constructs a new sub object property chain axiom.
- IntegerTransitiveObjectPropertyAxiom - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
- This class models an axiom stating that the contained object property is
transitive.
- IntegerTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
- Constructs a new transitive object property axiom.
- InverseFunctionalObjectProperty -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- InverseObjectProperties -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- isLiteral() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
- Tells whether or not this class expression is a literal.
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- isLiteral() -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression
- Tells whether or not this property expression is a literal.
- isLiteral() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
N
- NamedIndividualDeclaration -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- NegativeObjectPropertyAssertion -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- NormalizationRule - Interface in de.tudresden.inf.lat.jcel.ontology.normalization
- This interface is implemented by normalization rules.
- normalize(Set<ComplexIntegerAxiom>, IntegerOntologyObjectFactory) -
Method in class de.tudresden.inf.lat.jcel.ontology.normalization.OntologyNormalizer
- Normalizes a set of axioms.
O
- ObjectPropertyAssertion -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- ObjectPropertyChain -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- ObjectPropertyDeclaration -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- ObjectPropertyIdFinder - Class in de.tudresden.inf.lat.jcel.ontology.normalization
- An object of this class is a normalizer for inverse object properties.
- ObjectPropertyIdFinder(IntegerEntityManager) -
Constructor for class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
- Constructs a new normalizer for inverse object properties.
- OntologyNormalizer - Class in de.tudresden.inf.lat.jcel.ontology.normalization
- An object of this class normalizes an ontology according to the following
normalization rules:
NR-1.1 : domain(r) ⊑ C ↝ ∃r . ⊤ ⊑ C
NR-1.2 : range(r) ⊑ C ↝ range(r) ⊑ A, A ⊑ C
NR-1.3 : reflexive(r) ↝ ϵ ⊑ r
NR-1.4 : transitive(r) ↝ r ∘ r ⊑ r
NR-1.5 : C ≡ D ↝ C ⊑ D, D ⊑ C
NR-1.6 : C⊥ ⊑ D ↝
NR-1.7 : C ⊑ D⊥ ↝ C ⊑ ⊥
NR-2.1 : r1 ∘ … ∘ rk ⊑ s
↝ r1 ∘ … ∘ rk-1 ⊑ u, u
∘ rk ⊑ s
NR-2.2 : C1 ⊓ … ⊓ C' ⊓ …
⊓ Cn ⊑ D ↝ C' ⊑ A, C1 ⊓
… ⊓ A ⊓ … ⊓ Cn ⊑ D
NR-2.3 : ∃ r . C'⊑ D ↝ C' ⊑ A, ∃ r
. A ⊑ D
NR-3.1 : C' ⊑ D' ↝ C' ⊑ A, A ⊑ D'
NR-3.2 : B ⊑ ∃ r . C' ↝ B ⊑ ∃ r
. A, A ⊑ C'
NR-3.3 : B ⊑ C ⊓ D ↝ B ⊑ C, B ⊑ D
- OntologyNormalizer() -
Constructor for class de.tudresden.inf.lat.jcel.ontology.normalization.OntologyNormalizer
- Constructs a new ontology normalizer.
- openPar -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
R
- RangeAxiom -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- ReflexiveObjectProperty -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
S
- SameIndividual -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- sp -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- SubClassOf -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
- SubObjectPropertyOf -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
T
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
-
- toString() -
Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
-
- TransitiveObjectProperty -
Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
-
V
- visit(IntegerClassAssertionAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a class assertion axiom.
- visit(IntegerClassDeclarationAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a class declaration axiom.
- visit(IntegerDataPropertyAssertionAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a data property assertion axiom.
- visit(IntegerDataPropertyDeclarationAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a data property declaration axiom.
- visit(IntegerDifferentIndividualsAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a different individuals axiom.
- visit(IntegerDisjointClassesAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a disjoint classes axiom.
- visit(IntegerEquivalentClassesAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits an equivalent classes axiom.
- visit(IntegerEquivalentObjectPropertiesAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits an equivalent object properties axiom.
- visit(IntegerFunctionalObjectPropertyAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a functional object property axiom.
- visit(IntegerInverseFunctionalObjectPropertyAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits an inverse functional object property axiom.
- visit(IntegerInverseObjectPropertiesAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits an inverse object property axiom.
- visit(IntegerNamedIndividualDeclarationAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a named individual declaration axiom.
- visit(IntegerNegativeObjectPropertyAssertionAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a negative object property assertion axiom.
- visit(IntegerObjectPropertyAssertionAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits an object property assertion axiom.
- visit(IntegerObjectPropertyDeclarationAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits an object property declaration axiom.
- visit(IntegerPropertyRangeAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits property range axiom.
- visit(IntegerReflexiveObjectPropertyAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a reflexive object property declaration axiom.
- visit(IntegerSameIndividualAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a same individual axiom.
- visit(IntegerSubClassOfAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a subclass axiom.
- visit(IntegerSubObjectPropertyOfAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a sub object property axiom.
- visit(IntegerSubPropertyChainOfAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a sub object property chain axiom.
- visit(IntegerTransitiveObjectPropertyAxiom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomVisitor
- Visits a transitive object property axiom.
- visit(IntegerClass) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits an integer class.
- visit(IntegerDataHasValue) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits a has-value class expression.
- visit(IntegerDataSomeValuesFrom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits an existential restriction with data properties.
- visit(IntegerNamedIndividual) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits a named individual.
- visit(IntegerObjectIntersectionOf) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits an intersection of several class expressions.
- visit(IntegerObjectOneOf) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits a nominal constructor.
- visit(IntegerObjectSomeValuesFrom) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpressionVisitor
- Visits an existential restriction with object properties.
- visit(IntegerObjectInverseOf) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpressionVisitor
-
- visit(IntegerObjectProperty) -
Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpressionVisitor
-
- visit(IntegerObjectInverseOf) -
Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
-
- visit(IntegerObjectProperty) -
Method in class de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
-
A C D E F G H I N O R S T V
Copyright © 2012. All Rights Reserved.