|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |