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

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.
 



Copyright © 2012. All Rights Reserved.