|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
ComplexIntegerAxiom | This interface is for complex axioms. |
ComplexIntegerAxiomConstant | This interface is a collection of constants used by classes that implement an
ComplexIntegerAxiom . |
ComplexIntegerAxiomFactory | An object this interface is a factory to create complex axioms. |
ComplexIntegerAxiomVisitor<T> | This class models a visitor of ComplexIntegerAxiom . |
IntegerDeclarationAxiom | This interface is implemented by declaration axioms. |
Class Summary | |
---|---|
ComplexIntegerAxiomFactoryImpl | An object of this class is a factory to create any complex axiom. |
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. |
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. |
de.tudresden.inf.lat.jcel.coreontology.datatype
de.tudresden.inf.lat.jcel.ontology.datatype
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |