See: Description
Interface | Description |
---|---|
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 | Description |
---|---|
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.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.