Uses of Interface
de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom

Packages that use ComplexIntegerAxiom
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. 
 

Uses of ComplexIntegerAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex
 

Subinterfaces of ComplexIntegerAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.complex
 interface IntegerDeclarationAxiom
          This interface is implemented by declaration axioms.
 

Classes in de.tudresden.inf.lat.jcel.ontology.axiom.complex that implement ComplexIntegerAxiom
 class IntegerClassAssertionAxiom
          This class models an assertion axiom that relates a class with an individual.
 class IntegerClassDeclarationAxiom
          An object of this class is an axiom that declares a class.
 class IntegerDataPropertyAssertionAxiom
          This class models an assertion that relates a data property and a pair of individuals.
 class IntegerDataPropertyDeclarationAxiom
          An object of this class is an axiom that declares an data property.
 class IntegerDifferentIndividualsAxiom
          This class models an axiom saying that two or more individuals are pairwise different.
 class IntegerDisjointClassesAxiom
          This class models an axiom stating that the contained classes are pairwise disjoint.
 class IntegerEquivalentClassesAxiom
          This class models an axiom stating that the contained classes are equivalent.
 class IntegerEquivalentObjectPropertiesAxiom
          This class models an axiom stating that the contained properties are equivalent.
 class IntegerFunctionalObjectPropertyAxiom
          This class models an axiom stating that an object property is functional.
 class IntegerInverseFunctionalObjectPropertyAxiom
          This class models an axiom stating that the inverse of an object property is functional.
 class IntegerInverseObjectPropertiesAxiom
          This class models an axiom stating that one object property is the inverse of another object property.
 class IntegerNamedIndividualDeclarationAxiom
          An object of this class is an axiom that declares a named individual.
 class IntegerNegativeObjectPropertyAssertionAxiom
          This class models an assertion that negatively relates an object property and a pair of individuals.
 class IntegerObjectPropertyAssertionAxiom
          This class models an assertion that relates an object property and a pair of individuals.
 class IntegerObjectPropertyDeclarationAxiom
          An object of this class is an axiom that declares an object property.
 class IntegerPropertyRangeAxiom
          This class models an axiom stating that the range of a particular object property is included in a particular class expression.
 class IntegerReflexiveObjectPropertyAxiom
          This class models an axiom stating that an object property is reflexive.
 class IntegerSameIndividualAxiom
          This class models an axiom saying that two or more individuals are the same.
 class IntegerSubClassOfAxiom
          This class models an axiom stating that one class is a subclass of another one.
 class IntegerSubObjectPropertyOfAxiom
          This class models an axiom stating that one object property is a subproperty of another one.
 class IntegerSubPropertyChainOfAxiom
          This class models an axiom stating that the contained properties form a subsumption chain.
 class IntegerTransitiveObjectPropertyAxiom
          This class models an axiom stating that the contained object property is transitive.
 

Uses of ComplexIntegerAxiom in de.tudresden.inf.lat.jcel.ontology.axiom.extension
 

Constructor parameters in de.tudresden.inf.lat.jcel.ontology.axiom.extension with type arguments of type ComplexIntegerAxiom
ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
          Constructs a new expressivity detector.
 

Uses of ComplexIntegerAxiom in de.tudresden.inf.lat.jcel.ontology.normalization
 

Method parameters in de.tudresden.inf.lat.jcel.ontology.normalization with type arguments of type ComplexIntegerAxiom
 Set<de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom> OntologyNormalizer.normalize(Set<ComplexIntegerAxiom> originalAxiomSet, IntegerOntologyObjectFactory factory)
          Normalizes a set of axioms.
 



Copyright © 2012. All Rights Reserved.