Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
de.tudresden.inf.lat.jcel.coreontology.datatype |
Provides interfaces and classes with the data types used in
the normalized axioms of the classification algorithm.
|
Modifier and Type | Class and Description |
---|---|
class |
AnnotationImpl
An object of this class is an annotation.
|
Modifier and Type | Method and Description |
---|---|
Set<Annotation> |
FunctObjectPropAxiom.getAnnotations() |
Set<Annotation> |
NominalAxiom.getAnnotations() |
Set<Annotation> |
GCI1Axiom.getAnnotations() |
Set<Annotation> |
RI2Axiom.getAnnotations() |
Set<Annotation> |
RI1Axiom.getAnnotations() |
Set<Annotation> |
GCI2Axiom.getAnnotations() |
Set<Annotation> |
GCI0Axiom.getAnnotations() |
Set<Annotation> |
GCI3Axiom.getAnnotations() |
Set<Annotation> |
RI3Axiom.getAnnotations() |
Set<Annotation> |
RangeAxiom.getAnnotations() |
Modifier and Type | Method and Description |
---|---|
int |
AnnotationImpl.compareTo(Annotation other) |
Modifier and Type | Method and Description |
---|---|
FunctObjectPropAxiom |
NormalizedIntegerAxiomFactory.createFunctObjectPropAxiom(int propertyId,
Set<Annotation> annotations)
Constructs a new functional object property axiom.
|
FunctObjectPropAxiom |
NormalizedIntegerAxiomFactoryImpl.createFunctObjectPropAxiom(int propertyId,
Set<Annotation> annotations) |
GCI0Axiom |
NormalizedIntegerAxiomFactory.createGCI0Axiom(int subClassId,
int superClassId,
Set<Annotation> annotations)
Constructs a new GCI-0 axiom.
|
GCI0Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI0Axiom(int subCl,
int superCl,
Set<Annotation> annotations) |
GCI1Axiom |
NormalizedIntegerAxiomFactory.createGCI1Axiom(int leftSubClassId,
int rightSubClassId,
int superClassId,
Set<Annotation> annotations)
Constructs a new GCI-1 axiom.
|
GCI1Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI1Axiom(int leftCl,
int rightCl,
int superCl,
Set<Annotation> annotations) |
GCI2Axiom |
NormalizedIntegerAxiomFactory.createGCI2Axiom(int leftClassId,
int rightPropertyId,
int rightClassId,
Set<Annotation> annotations)
Constructs a new GCI-2 axiom.
|
GCI2Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI2Axiom(int leftCl,
int rightProp,
int rightCl,
Set<Annotation> annotations) |
GCI3Axiom |
NormalizedIntegerAxiomFactory.createGCI3Axiom(int leftPropertyId,
int leftClassId,
int rightClassId,
Set<Annotation> annotations)
Constructs a new GCI-3 axiom.
|
GCI3Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI3Axiom(int leftProp,
int leftCl,
int rightCl,
Set<Annotation> annotations) |
NominalAxiom |
NormalizedIntegerAxiomFactory.createNominalAxiom(int classId,
int individualId,
Set<Annotation> annotations)
Constructs a new nominal axiom.
|
NominalAxiom |
NormalizedIntegerAxiomFactoryImpl.createNominalAxiom(int classId,
int individualId,
Set<Annotation> annotations) |
RangeAxiom |
NormalizedIntegerAxiomFactory.createRangeAxiom(int propertyId,
int classId,
Set<Annotation> annotations)
Constructs a new range axiom.
|
RangeAxiom |
NormalizedIntegerAxiomFactoryImpl.createRangeAxiom(int prop,
int cl,
Set<Annotation> annotations) |
RI1Axiom |
NormalizedIntegerAxiomFactory.createRI1Axiom(int propertyId,
Set<Annotation> annotations)
Constructs a new axiom RI-1.
|
RI1Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI1Axiom(int prop,
Set<Annotation> annotations) |
RI2Axiom |
NormalizedIntegerAxiomFactory.createRI2Axiom(int leftPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new axiom RI-2.
|
RI2Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI2Axiom(int leftProp,
int rightProp,
Set<Annotation> annotations) |
RI3Axiom |
NormalizedIntegerAxiomFactory.createRI3Axiom(int leftLeftPropertyId,
int leftRightPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new RI-3 axiom.
|
RI3Axiom |
NormalizedIntegerAxiomFactoryImpl.createRI3Axiom(int leftLeftProp,
int leftRightProp,
int rightProp,
Set<Annotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<Annotation> |
IntegerAxiom.getAnnotations()
Returns the annotations of this axiom.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.