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

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 

Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.