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
 
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
 
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) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new functional object property axiom.
createFunctObjectPropAxiom(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createGCI0Axiom(int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new GCI-0 axiom.
createGCI0Axiom(int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createGCI1Axiom(List<Integer>, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new GCI-1 axiom.
createGCI1Axiom(List<Integer>, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createGCI2Axiom(int, int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new GCI-2 axiom.
createGCI2Axiom(int, int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createGCI3Axiom(int, int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new GCI-3 axiom.
createGCI3Axiom(int, int, int) - 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) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new nominal axiom.
createNominalAxiom(int, int) - 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) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new range axiom.
createRangeAxiom(int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createRI1Axiom(int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new axiom RI-1.
createRI1Axiom(int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createRI2Axiom(int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new axiom RI-2.
createRI2Axiom(int, int) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
 
createRI3Axiom(int, int, int) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactory
Constructs a new RI-3 axiom
createRI3Axiom(int, int, int) - 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
 

E

emptyProp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
equals(Object) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
ExpressivityName - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity
An object of this class can name the expressivity used in an ontology.
ExpressivityName() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.ExpressivityName
Constructs a new object that can give the description logic name for a given expressivity.
ExtendedOntology - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This is the interface of an extended ontology provides methods to efficiently retrieve axioms from the ontology.
ExtendedOntologyImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
This class models an ontology with the property to look up by axiom type.
ExtendedOntologyImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
Constructs an empty ontology.

F

firstUsableIdentifier - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
FunctionalObjectProperty - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
FunctObjectPropAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom stating that an object property is functional.
FunctObjectPropAxiom(int) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
Constructs a new functional object property axiom.

G

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

H

hasBottom() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found class bottom.
hasBottom() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasDatatype() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found data types.
hasDatatype() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasFunctionalObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found functional object properties.
hasFunctionalObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
hashCode() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
hasIndividual() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found individuals.
hasIndividual() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasInverseObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found inverse object properties.
hasInverseObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasNominal() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found nominals.
hasNominal() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasReflexiveObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found reflexive object properties.
hasReflexiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasSubObjectPropertyOf() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found sub object properties.
hasSubObjectPropertyOf() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasSubPropertyChainOf() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found sub object property chains.
hasSubPropertyChainOf() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 
hasTransitiveObjectProperty() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.OntologyExpressivity
Tells whether the ontology analyzer has found transitive object properties.
hasTransitiveObjectProperty() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 

I

IntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
An IntegerAxiom is an axiom that is composed by integer numbers.
IntegerClassExpressionWord - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
This interface is a collection of constants used in the string representation of 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
 

L

load(Set<NormalizedIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntology
Loads a set of normalized axioms.
load(Set<NormalizedIntegerAxiom>) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 

N

NominalAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: {a} ≡ A
NominalAxiom(int, int) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
Constructs a new nominal axiom.
NominalAxiom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
NormalizedAxiomExpressivityDetector - Class in de.tudresden.inf.lat.jcel.coreontology.expressivity
An object implementing this class can detect the expressivity of a given set of normalized axioms.
NormalizedAxiomExpressivityDetector(Set<NormalizedIntegerAxiom>) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
Constructs a new expressivity detector.
NormalizedIntegerAxiom - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This interface is for normalized axioms, that is, resulting axioms of the normalization process.
NormalizedIntegerAxiomConstant - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This interface is a collection of constants used by classes that implement an NormalizedIntegerAxiom.
NormalizedIntegerAxiomFactory - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
An object implementing this interface is a factory to create normalized axioms.
NormalizedIntegerAxiomFactoryImpl - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
An object of this class is a factory to create any normalized axiom.
NormalizedIntegerAxiomFactoryImpl() - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
Constructs a new normalized axiom factory.
NormalizedIntegerAxiomVisitor<T> - Interface in de.tudresden.inf.lat.jcel.coreontology.axiom
This class models a visitor of NormalizedIntegerAxiom.
NormalizedRangeAxiom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 

O

ObjectIntersectionOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ObjectInverseOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ObjectOneOf - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
ObjectSomeValuesFrom - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 
OntologyExpressivity - Interface in de.tudresden.inf.lat.jcel.coreontology.datatype
 
openPar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
openPar - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 

P

proposeInverseObjectPropertyOf(Integer, Integer) - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
Proposes the association of an object property to another object property as one the inverse object property of the other one.
proposeInverseObjectPropertyOf(Integer, Integer) - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 

R

RangeAxiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: range(r) ⊑ A
RangeAxiom(int, int) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
Constructs a new range axiom.
RI1 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
RI1Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: ϵ ⊑ r
RI1Axiom(int) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
Constructs a new axiom RI-1.
RI2 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
RI2Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: r ⊑ s
RI2Axiom(int, int) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
Constructs a new axiom RI-2.
RI3 - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
RI3Axiom - Class in de.tudresden.inf.lat.jcel.coreontology.axiom
Axiom of the form: r ∘ s ⊑ t
RI3Axiom(int, int, int) - Constructor for class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
Constructs a new RI-3 axiom

S

size() - Method in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
Returns the number of created entities, either auxiliary or non-auxiliary.
size() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
sp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomConstant
 
sp - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerClassExpressionWord
 

T

topClassId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
topDataPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
topObjectPropertyId - Static variable in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.FunctObjectPropAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI0Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI1Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.GCI3Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.NominalAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RangeAxiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI1Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI2Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.RI3Axiom
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManagerImpl
 
toString() - Method in class de.tudresden.inf.lat.jcel.coreontology.expressivity.NormalizedAxiomExpressivityDetector
 

V

valueOf(String) - Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType
Returns the enum constant of this type with the specified name.
values() - Static method in enum de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityType
Returns an array containing the constants of this enum type, in the order they are declared.
visit(FunctObjectPropAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI0Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI1Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI2Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(GCI3Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(NominalAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RangeAxiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RI1Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RI2Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(RI3Axiom) - Method in class de.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
 
visit(FunctObjectPropAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a functional object property axiom.
visit(GCI0Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-0 axiom.
visit(GCI1Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-1 axiom.
visit(GCI2Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-2 axiom.
visit(GCI3Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a GCI-3 axiom.
visit(NominalAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a nominal axiom.
visit(RangeAxiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits a range axiom.
visit(RI1Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits an RI-1 axiom.
visit(RI2Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits an RI-2 axiom.
visit(RI3Axiom) - Method in interface de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomVisitor
Visits an RI-3 axiom.

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

Copyright © 2012. All Rights Reserved.