|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use de.tudresden.inf.lat.jcel.ontology.axiom.complex | |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms. |
de.tudresden.inf.lat.jcel.ontology.axiom.extension |
Provides interfaces and classes that extend a set of axioms. |
de.tudresden.inf.lat.jcel.ontology.normalization |
Provides interfaces and classes needed to perform the
normalization. |
Classes in de.tudresden.inf.lat.jcel.ontology.axiom.complex used by de.tudresden.inf.lat.jcel.ontology.axiom.complex | |
---|---|
ComplexIntegerAxiom
This interface is for complex axioms. |
|
ComplexIntegerAxiomFactory
An object this interface is a factory to create complex axioms. |
|
ComplexIntegerAxiomVisitor
This class models a visitor of ComplexIntegerAxiom . |
|
IntegerClassAssertionAxiom
This class models an assertion axiom that relates a class with an individual. |
|
IntegerClassDeclarationAxiom
An object of this class is an axiom that declares a class. |
|
IntegerDataPropertyAssertionAxiom
This class models an assertion that relates a data property and a pair of individuals. |
|
IntegerDataPropertyDeclarationAxiom
An object of this class is an axiom that declares an data property. |
|
IntegerDeclarationAxiom
This interface is implemented by declaration axioms. |
|
IntegerDifferentIndividualsAxiom
This class models an axiom saying that two or more individuals are pairwise different. |
|
IntegerDisjointClassesAxiom
This class models an axiom stating that the contained classes are pairwise disjoint. |
|
IntegerEquivalentClassesAxiom
This class models an axiom stating that the contained classes are equivalent. |
|
IntegerEquivalentObjectPropertiesAxiom
This class models an axiom stating that the contained properties are equivalent. |
|
IntegerFunctionalObjectPropertyAxiom
This class models an axiom stating that an object property is functional. |
|
IntegerInverseFunctionalObjectPropertyAxiom
This class models an axiom stating that the inverse of an object property is functional. |
|
IntegerInverseObjectPropertiesAxiom
This class models an axiom stating that one object property is the inverse of another object property. |
|
IntegerNamedIndividualDeclarationAxiom
An object of this class is an axiom that declares a named individual. |
|
IntegerNegativeObjectPropertyAssertionAxiom
This class models an assertion that negatively relates an object property and a pair of individuals. |
|
IntegerObjectPropertyAssertionAxiom
This class models an assertion that relates an object property and a pair of individuals. |
|
IntegerObjectPropertyDeclarationAxiom
An object of this class is an axiom that declares an object property. |
|
IntegerPropertyRangeAxiom
This class models an axiom stating that the range of a particular object property is included in a particular class expression. |
|
IntegerReflexiveObjectPropertyAxiom
This class models an axiom stating that an object property is reflexive. |
|
IntegerSameIndividualAxiom
This class models an axiom saying that two or more individuals are the same. |
|
IntegerSubClassOfAxiom
This class models an axiom stating that one class is a subclass of another one. |
|
IntegerSubObjectPropertyOfAxiom
This class models an axiom stating that one object property is a subproperty of another one. |
|
IntegerSubPropertyChainOfAxiom
This class models an axiom stating that the contained properties form a subsumption chain. |
|
IntegerTransitiveObjectPropertyAxiom
This class models an axiom stating that the contained object property is transitive. |
Classes in de.tudresden.inf.lat.jcel.ontology.axiom.complex used by de.tudresden.inf.lat.jcel.ontology.axiom.extension | |
---|---|
ComplexIntegerAxiom
This interface is for complex axioms. |
|
ComplexIntegerAxiomFactory
An object this interface is a factory to create complex axioms. |
Classes in de.tudresden.inf.lat.jcel.ontology.axiom.complex used by de.tudresden.inf.lat.jcel.ontology.normalization | |
---|---|
ComplexIntegerAxiom
This interface is for complex axioms. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |