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.
|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms.
|
de.tudresden.inf.lat.jcel.ontology.datatype |
Provides interfaces and classes with the data types used in
the axioms of the classification algorithm.
|
Modifier and Type | Interface and Description |
---|---|
interface |
NormalizedIntegerAxiom
This interface is for normalized axioms, that is, resulting axioms of the
normalization process.
|
Modifier and Type | Class and Description |
---|---|
class |
FunctObjectPropAxiom
Axiom stating that an object property is functional.
|
class |
GCI0Axiom
Axiom of the form:
A ⊑ B
|
class |
GCI1Axiom
Axiom of the form:
A1 ⊓ A2 ⊑ B
|
class |
GCI2Axiom
Axiom of the form:
A ⊑ ∃ r . B
|
class |
GCI3Axiom
Axiom of the form:
∃ r . A ⊑ B
|
class |
NominalAxiom
Axiom of the form:
{a} ≡ A
|
class |
RangeAxiom
Axiom of the form:
range(r) ⊑ A
|
class |
RI1Axiom
Axiom of the form:
ε ⊑ r
|
class |
RI2Axiom
Axiom of the form:
r ⊑ s
|
class |
RI3Axiom
Axiom of the form:
r ∘ s ⊑ t
|
Modifier and Type | Interface and Description |
---|---|
interface |
IntegerAxiom
An
IntegerAxiom is an axiom that is composed by integer numbers. |
Modifier and Type | Interface and Description |
---|---|
interface |
ComplexIntegerAxiom
This interface is for complex axioms.
|
interface |
IntegerDeclarationAxiom
This interface is implemented by declaration axioms.
|
Modifier and Type | Class and Description |
---|---|
class |
IntegerClassAssertionAxiom
This class models an assertion axiom that relates a class with an individual.
|
class |
IntegerClassDeclarationAxiom
An object of this class is an axiom that declares a class.
|
class |
IntegerDataPropertyAssertionAxiom
This class models an assertion that relates a data property and a pair of
individuals.
|
class |
IntegerDataPropertyDeclarationAxiom
An object of this class is an axiom that declares an data property.
|
class |
IntegerDifferentIndividualsAxiom
This class models an axiom saying that two or more individuals are pairwise
different.
|
class |
IntegerDisjointClassesAxiom
This class models an axiom stating that the contained classes are pairwise
disjoint.
|
class |
IntegerEquivalentClassesAxiom
This class models an axiom stating that the contained classes are equivalent.
|
class |
IntegerEquivalentObjectPropertiesAxiom
This class models an axiom stating that the contained properties are
equivalent.
|
class |
IntegerFunctionalObjectPropertyAxiom
This class models an axiom stating that an object property is functional.
|
class |
IntegerInverseFunctionalObjectPropertyAxiom
This class models an axiom stating that the inverse of an object property is
functional.
|
class |
IntegerInverseObjectPropertiesAxiom
This class models an axiom stating that one object property is the inverse of
another object property.
|
class |
IntegerNamedIndividualDeclarationAxiom
An object of this class is an axiom that declares a named individual.
|
class |
IntegerNegativeObjectPropertyAssertionAxiom
This class models an assertion that negatively relates an object property and
a pair of individuals.
|
class |
IntegerObjectPropertyAssertionAxiom
This class models an assertion that relates an object property and a pair of
individuals.
|
class |
IntegerObjectPropertyDeclarationAxiom
An object of this class is an axiom that declares an object property.
|
class |
IntegerPropertyRangeAxiom
This class models an axiom stating that the range of a particular object
property is included in a particular class expression.
|
class |
IntegerReflexiveObjectPropertyAxiom
This class models an axiom stating that an object property is reflexive.
|
class |
IntegerSameIndividualAxiom
This class models an axiom saying that two or more individuals are the same.
|
class |
IntegerSubClassOfAxiom
This class models an axiom stating that one class is a subclass of another
one.
|
class |
IntegerSubObjectPropertyOfAxiom
This class models an axiom stating that one object property is a subproperty
of another one.
|
class |
IntegerSubPropertyChainOfAxiom
This class models an axiom stating that the contained properties form a
subsumption chain.
|
class |
IntegerTransitiveObjectPropertyAxiom
This class models an axiom stating that the contained object property is
transitive.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IntegerClassExpression
This interface is implemented by classes that model class expressions with
integer numbers.
|
interface |
IntegerDataPropertyExpression
This interface is implemented by classes that model object property
expressions with integer numbers.
|
interface |
IntegerObjectPropertyExpression
This interface is implemented by classes that model object property
expressions with integer numbers.
|
Modifier and Type | Class and Description |
---|---|
class |
IntegerClass
This models a class, this is : A
|
class |
IntegerDataHasValue
This class models a has-value class expression, this is: ∃ r .
{v} , where r is data property expression and v is a value.
|
class |
IntegerDataProperty
This class models an object property.
|
class |
IntegerDataSomeValuesFrom
This class models an existential restriction with data properties, this is:
∃ p . C, where p is a data property and C is a class expression.
|
class |
IntegerNamedIndividual
This models a named individual.
|
class |
IntegerObjectIntersectionOf
This class models an intersection of several class expressions, this is:
C1 ⊓ … ⊓ Cn
|
class |
IntegerObjectInverseOf
This class models an inverse object property.
|
class |
IntegerObjectOneOf
This class models the nominal constructor.
|
class |
IntegerObjectProperty
This class models an object property.
|
class |
IntegerObjectSomeValuesFrom
This class models an existential restriction with object properties, this is:
∃ r . C , where r is an object property expression and C is a
class expression.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.