A C D E F G H I N O R S T V

A

accept(ComplexIntegerAxiomVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom
Applies a visitor to this complex integer axiom.
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerClassDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDataPropertyDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDifferentIndividualsAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerDisjointClassesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentClassesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerEquivalentObjectPropertiesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerFunctionalObjectPropertyAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseFunctionalObjectPropertyAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerInverseObjectPropertiesAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNamedIndividualDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerNegativeObjectPropertyAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyAssertionAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerObjectPropertyDeclarationAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerPropertyRangeAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerReflexiveObjectPropertyAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSameIndividualAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubObjectPropertyOfAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubPropertyChainOfAxiom
 
accept(ComplexIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerTransitiveObjectPropertyAxiom
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
accept(IntegerClassExpressionVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
accept(IntegerObjectPropertyExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
accept(IntegerObjectPropertyExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
 
accept(IntegerObjectPropertyExpressionVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectPropertyExpression
 
accept(IntegerClassExpressionVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
apply(IntegerAxiom) - Method in interface de.tudresden.inf.lat.jcel.ontology.normalization.NormalizationRule
Applies the normalization rule to a specified axiom.

C

ClassAssertion - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
ClassDeclaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
closePar - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
compareTo(IntegerClass) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
compareTo(IntegerDataProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataProperty
 
compareTo(IntegerNamedIndividual) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
compareTo(IntegerObjectInverseOf) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectInverseOf
 
compareTo(IntegerObjectProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectProperty
 
ComplexAxiomExpressivityDetector - Class in de.tudresden.inf.lat.jcel.ontology.axiom.extension
An object implementing this class can detect the expressivity of a given set of complex axioms.
ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom>) - Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.extension.ComplexAxiomExpressivityDetector
Constructs a new expressivity detector.
ComplexIntegerAxiom - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
This interface is for complex axioms.
ComplexIntegerAxiomConstant - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
This interface is a collection of constants used by classes that implement an ComplexIntegerAxiom.
ComplexIntegerAxiomFactory - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
An object this interface is a factory to create complex axioms.
ComplexIntegerAxiomFactoryImpl - Class in de.tudresden.inf.lat.jcel.ontology.axiom.complex
An object of this class is a factory to create any complex axiom.
ComplexIntegerAxiomFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
Constructs a new complex axiom factory.
ComplexIntegerAxiomVisitor<T> - Interface in de.tudresden.inf.lat.jcel.ontology.axiom.complex
This class models a visitor of ComplexIntegerAxiom.
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
containsBottom() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
Tells whether or not this class expression contains a bottom.
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
containsBottom() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClass
 
containsOnlyOneClass() - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerClassExpression
Tells whether or not this class expression contains only one class in its signature.
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataHasValue
 
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
 
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerNamedIndividual
 
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectIntersectionOf
 
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectOneOf
 
containsOnlyOneClass() - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
 
createClass(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates a class.
createClass(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createClassAssertionAxiom(IntegerClassExpression, Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new class assertion axiom.
createClassAssertionAxiom(IntegerClassExpression, Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createClassDeclarationAxiom(Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new class declaration axiom.
createClassDeclarationAxiom(Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createDataHasValue(int, int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates a has-value class expression.
createDataHasValue(int, int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createDataProperty(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates a data property.
createDataProperty(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createDataPropertyAssertionAxiom(Integer, Integer, Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new data property assertion axiom.
createDataPropertyAssertionAxiom(Integer, Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createDataPropertyDeclarationAxiom(Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new data property declaration axiom.
createDataPropertyDeclarationAxiom(Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createDataSomeValuesFrom(int, IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates an existential restriction.
createDataSomeValuesFrom(int, IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createDifferentIndividualsAxiom(Set<Integer>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new different individuals axiom
createDifferentIndividualsAxiom(Set<Integer>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createDisjointClassesAxiom(Set<IntegerClassExpression>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new disjoint classes axiom.
createDisjointClassesAxiom(Set<IntegerClassExpression>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createEquivalentClassesAxiom(Set<IntegerClassExpression>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new equivalent classes axiom.
createEquivalentClassesAxiom(Set<IntegerClassExpression>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs an equivalent object properties axiom.
createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new functional object property axiom.
createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new inverse functional object property axiom.
createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new inverse object property axiom, declaring that one object property is the inverse of another one.
createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createNamedIndividual(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates a named individual.
createNamedIndividual(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createNamedIndividualDeclarationAxiom(Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new named individual declaration axiom.
createNamedIndividualDeclarationAxiom(Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, Integer, Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new negative object property axiom.
createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createObjectIntersectionOf(Set<IntegerClassExpression>) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates an intersection of class expressions.
createObjectIntersectionOf(Set<IntegerClassExpression>) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createObjectInverseOf(IntegerObjectProperty) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates an inverse object property.
createObjectInverseOf(IntegerObjectProperty) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createObjectOneOf(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates a nominal expression.
createObjectOneOf(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createObjectProperty(int) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates an object property.
createObjectProperty(int) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, Integer, Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new object property assertion axiom.
createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression, Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createObjectPropertyDeclarationAxiom(Integer) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new object property declaration axiom.
createObjectPropertyDeclarationAxiom(Integer) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createObjectSomeValuesFrom(IntegerObjectPropertyExpression, IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactory
Creates an existential restriction.
createObjectSomeValuesFrom(IntegerObjectPropertyExpression, IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataTypeFactoryImpl
 
createPropertyRangeAxiom(IntegerObjectPropertyExpression, IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new object property range axiom.
createPropertyRangeAxiom(IntegerObjectPropertyExpression, IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new reflexive object property axiom.
createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createSameIndividualAxiom(Set<Integer>) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new same individual axiom.
createSameIndividualAxiom(Set<Integer>) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createSubClassOfAxiom(IntegerClassExpression, IntegerClassExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new subclass axiom.
createSubClassOfAxiom(IntegerClassExpression, IntegerClassExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new sub object property axiom.
createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression, IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression>, IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new sub object property chain axiom.
createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression>, IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 
createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactory
Constructs a new transitive object property axiom.
createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression) - Method in class de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
 

D

DataPropertyAssertion - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
DataPropertyDeclaration - Static variable in interface de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomConstant
 
de.tudresden.inf.lat.jcel.ontology.axiom.complex - package de.tudresden.inf.lat.jcel.ontology.axiom.complex
Provides interfaces and classes that model complex axioms.
de.tudresden.inf.lat.jcel.ontology.axiom.extension - package de.tudresden.inf.lat.jcel.ontology.axiom.extension
Provides interfaces and classes that extend a set of axioms.
de.tudresden.inf.lat.jcel.ontology.datatype - package de.tudresden.inf.lat.jcel.ontology.datatype
Provides interfaces and classes with the data types used in the axioms of the classification algorithm.
de.tudresden.inf.lat.jcel.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.