Package de.tudresden.inf.lat.jcel.ontology.axiom.complex

Provides interfaces and classes that model complex axioms.

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.
 

Package de.tudresden.inf.lat.jcel.ontology.axiom.complex Description

Provides interfaces and classes that model complex axioms. They must be normalized before running the classification algorithm.
It uses the following packages:



Copyright © 2012. All Rights Reserved.