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

A

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom

Applies a visitor to this normalized integer axiom.

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

accept(NormalizedIntegerAxiomVisitor<T>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

addClass(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Adds a class to the ontology.

addClass(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

addObjectProperty(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Adds an object property to the ontology.

addObjectProperty(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

Annotation - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom

This interface models an annotation.

AnnotationImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

An object of this class is an annotation.

AnnotationImpl(URI, String) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

Constructs a new default implementation of annotation.

anonymousEntity - Static variable in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

auxiliaryEntity - Static variable in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

B

bottomClassId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

bottomDataPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

bottomObjectPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

C

clear() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Clears the ontology.

clear() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

closePar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

closePar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

compareTo(Annotation) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

createAnonymousEntity(IntegerEntityType, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Creates a new entity of a certain type.

createAnonymousEntity(IntegerEntityType, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

createFunctObjectPropAxiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new functional object property axiom.

createFunctObjectPropAxiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createGCI0Axiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new GCI-0 axiom.

createGCI0Axiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createGCI1Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new GCI-1 axiom.

createGCI1Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createGCI2Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new GCI-2 axiom.

createGCI2Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createGCI3Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new GCI-3 axiom.

createGCI3Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createNamedEntity(IntegerEntityType, String, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Creates a new entity of a certain type.

createNamedEntity(IntegerEntityType, String, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

createNominalAxiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new nominal axiom.

createNominalAxiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createOrGetClassIdForIndividual(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the class identifier corresponding to the given individual.

createOrGetClassIdForIndividual(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

createOrGetInverseObjectPropertyOf(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the inverse object property of the given object property.

createOrGetInverseObjectPropertyOf(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

createRangeAxiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new range axiom.

createRangeAxiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createRI1Axiom(int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new axiom RI-1.

createRI1Axiom(int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createRI2Axiom(int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new axiom RI-2.

createRI2Axiom(int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

createRI3Axiom(int, int, int, Set<Annotation>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory

Constructs a new RI-3 axiom.

createRI3Axiom(int, int, int, Set<Annotation>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

D

DataHasValue - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

DataSomeValuesFrom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

de.tudresden.inf.lat.jcel.coreontology.axiom - package de.tudresden.inf.lat.jcel.coreontology.axiom

Provides interfaces and classes that model normalized axioms.

de.tudresden.inf.lat.jcel.coreontology.datatype - package de.tudresden.inf.lat.jcel.coreontology.datatype

Provides interfaces and classes with the data types used in the normalized axioms of the classification algorithm.

de.tudresden.inf.lat.jcel.coreontology.expressivity - package de.tudresden.inf.lat.jcel.coreontology.expressivity

Provides interfaces and classes to detect ontology expressivity.

E

emptyProp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

ExpressivityName - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity

An object of this class can name the expressivity used in an ontology.

ExpressivityName() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName

Constructs a new object that can give the description logic name for a given expressivity.

ExtendedOntology - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom

This is the interface of an extended ontology provides methods to efficiently retrieve axioms from the ontology.

ExtendedOntologyImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

This class models an ontology with the property to look up by axiom type.

ExtendedOntologyImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

Constructs an empty ontology.

F

firstUsableIdentifier - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

FunctionalObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

FunctObjectPropAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom stating that an object property is functional.

G

GCI0 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

GCI0Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: A ⊑ B

GCI1 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

GCI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: A₁ ⊓ A₂ ⊑ B

GCI2 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

GCI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: A ⊑ ∃ r . B

GCI3 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

GCI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: ∃ r . A ⊑ B

getAnnotationProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation

Returns the annotation property.

getAnnotationProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

getAnnotations() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

getAnnotations() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom

Returns the annotations of this axiom.

getAnnotationValue() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.Annotation

Returns the annotation value.

getAnnotationValue() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

getAuxiliaryInverseObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the auxiliary inverse object properties.

getAuxiliaryInverseObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getAuxiliaryNominal(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

This method gives the auxiliary nominal related to a specific individual.

getAuxiliaryNominal(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getAuxiliaryNominals() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the set of auxiliary nominals.

getAuxiliaryNominals() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

getClassesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

getClassesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

Returns the classes in the signature.

getClassExpression() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getClassInSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

Returns the class on the left-hand part of the axiom.

getClassInSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

Returns the class in the right-hand part of the axiom.

getClassSet() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all classes in the ontology.

getClassSet() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

getDataPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

getDataPropertiesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

Returns the data properties in the signature.

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

getDatatypesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

getDatatypesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

Returns the data types in the signature.

getEntities(IntegerEntityType) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the set of identifiers of entities of a certain type.

getEntities(IntegerEntityType, boolean) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns either the set of identifiers of auxiliary entities or the set of identifiers of non-auxiliary entities.

getEntities(IntegerEntityType) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getEntities(IntegerEntityType, boolean) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getFunctionalObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all functional object properties in the ontology.

getFunctionalObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getGCI0Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom.

getGCI0Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getGCI1Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom.

getGCI1Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getGCI2Axioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom.

getGCI2Axioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getGCI3AAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom.

getGCI3AAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getGCI3rAAxioms(int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom.

getGCI3rAAxioms(int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getGCI3rAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom.

getGCI3rAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getIndividual() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getIndividual(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

This method gives the individual related to a specific auxiliary nominal.

getIndividual(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getIndividuals() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the set of individuals.

getIndividuals() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

getIndividualsInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

getIndividualsInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

Returns the individuals in the signature.

getLeftSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

Returns the left subclass in the axiom.

getLeftSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

Returns the object property on the left-hand part of the composition.

getName(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the name defined for a certain entity.

getName(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

getName(OntologyExpressivity) - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName

Returns the description logic name for a specified expressivity.

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

getObjectPropertiesInSignature() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

getObjectPropertiesInSignature() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

Returns the object properties in the signature.

getObjectPropertySet() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all object properties in the ontology.

getObjectPropertySet() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

Returns the object property in this axiom.

getProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

Returns the object property in the axiom.

getPropertyInSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

Returns the object property on the left-hand part of the axiom.

getPropertyInSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

Returns the object property on the right-hand part of the axiom.

getRange() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

Returns the class identifier in the axiom.

getReflexiveObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all reflexive object properties in the ontology.

getReflexiveObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getRI2rAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom.

getRI2rAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getRI2sAxioms(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom.

getRI2sAxioms(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getRI3AxiomsByLeft(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the left part of the object property composition, in the left part of the axiom.

getRI3AxiomsByLeft(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getRI3AxiomsByRight(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the right part of the object property composition, in the left part of the axiom.

getRI3AxiomsByRight(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getRightSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

Returns the right subclass in the axiom.

getRightSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

Returns the object property on the right-hand part of the composition.

getSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

Returns the subclass in this axiom.

getSubClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

Returns the subclass in the axiom.

getSubProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

Returns the object property on the left-hand part of the axiom

getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

Returns the superclass in this axiom.

getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

Returns the superclass in the axiom.

getSuperClass() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

Returns the superclass in the axiom.

getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

Returns the object property in the axiom.

getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

Returns the object property on the right-hand part of the axiom

getSuperProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

Returns the super object property.

getTransitiveObjectProperties() - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Returns the set of all transitive object properties in the ontology.

getTransitiveObjectProperties() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

getType(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the entity type for the given identifier

getType(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

H

hasBottom() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found class bottom.

hasBottom() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasDatatype() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found data types.

hasDatatype() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasFunctionalObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found functional object properties.

hasFunctionalObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

hasIndividual() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found individuals.

hasIndividual() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasInverseObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found inverse object properties.

hasInverseObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasNominal() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found nominals.

hasNominal() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasReflexiveObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found reflexive object properties.

hasReflexiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasSubObjectPropertyOf() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found sub object properties.

hasSubObjectPropertyOf() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasSubPropertyChainOf() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found sub object property chains.

hasSubPropertyChainOf() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

hasTransitiveObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity

Tells whether the ontology analyzer has found transitive object properties.

hasTransitiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

I

IntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype

An IntegerAxiom is an axiom that is composed by integer numbers.

IntegerClassExpressionWord - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype

This interface is a collection of constants used in the string representation of IntegerClassExpressions.

IntegerDatatype - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype

An object implementing this interface is an object used for data types based on integer numbers.

IntegerEntityManager - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype

An object implementing this interface manages entities and creates new identification numbers for auxiliary entities.

IntegerEntityManagerImpl - Class in de.tudresden.inf.lat.jcel.coreontology.datatype

An object of this class generates new identification numbers for object properties and classes.

IntegerEntityManagerImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

Constructs a new identifier generator.

IntegerEntityType - Enum in de.tudresden.inf.lat.jcel.coreontology.datatype

isAuxiliary(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Tells whether the given identifier corresponds to an auxiliary entity.

isAuxiliary(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

isEntity(Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Tell whether the given identifier corresponds to a registered entity

isEntity(Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

L

load(Set<NormalizedIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology

Loads a set of normalized axioms.

load(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

N

NominalAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: {a} ≡ A

NominalAxiom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

NormalizedAxiomExpressivityDetector - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity

An object implementing this class can detect the expressivity of a given set of normalized axioms.

NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom>) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

Constructs a new expressivity detector.

NormalizedIntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom

This interface is for normalized axioms, that is, resulting axioms of the normalization process.

NormalizedIntegerAxiomConstant - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom

This interface is a collection of constants used by classes that implement an NormalizedIntegerAxiom.

NormalizedIntegerAxiomFactory - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom

An object implementing this interface is a factory to create normalized axioms.

NormalizedIntegerAxiomFactoryImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

An object of this class is a factory to create any normalized axiom.

NormalizedIntegerAxiomFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl

Constructs a new normalized axiom factory.

NormalizedIntegerAxiomVisitor<T> - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom

This class models a visitor of NormalizedIntegerAxiom.

NormalizedRangeAxiom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

O

ObjectIntersectionOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

ObjectInverseOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

ObjectOneOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

ObjectSomeValuesFrom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

OntologyExpressivity - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype

openPar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

openPar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

P

proposeInverseObjectPropertyOf(Integer, Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Proposes the association of an object property to another object property as one the inverse object property of the other one.

proposeInverseObjectPropertyOf(Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

R

RangeAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: range(r) ⊑ A

RI1 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

RI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: ε ⊑ r

RI2 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

RI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: r ⊑ s

RI3 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

RI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom

Axiom of the form: r ∘ s ⊑ t

S

size() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

Returns the number of created entities, either auxiliary or non-auxiliary.

size() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

sp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant

sp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord

T

topClassId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

topDataPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

topObjectPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.AnnotationImpl

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl

toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector

V

valueOf(String) - Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType

Returns an array containing the constants of this enum type, in the order they are declared.

visit(FunctObjectPropAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(GCI0Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(GCI1Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(GCI2Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(GCI3Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(NominalAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(RangeAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(RI1Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(RI2Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(RI3Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl

visit(FunctObjectPropAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a functional object property axiom.

visit(GCI0Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a GCI-0 axiom.

visit(GCI1Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a GCI-1 axiom.

visit(GCI2Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a GCI-2 axiom.

visit(GCI3Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a GCI-3 axiom.

visit(NominalAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a nominal axiom.

visit(RangeAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits a range axiom.

visit(RI1Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits an RI-1 axiom.

visit(RI2Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits an RI-2 axiom.

visit(RI3Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor

Visits an RI-3 axiom.

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