Package | Description |
---|---|
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.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IntegerDeclarationAxiom
This interface is implemented by declaration axioms.
|
Modifier and Type | Class and Description |
---|---|
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.
|
Constructor and Description |
---|
ComplexAxiomExpressivityDetector(Set<ComplexIntegerAxiom> axiomSet)
Constructs a new expressivity detector.
|
Modifier and Type | Method and Description |
---|---|
Set<NormalizedIntegerAxiom> |
OntologyNormalizer.normalize(Set<ComplexIntegerAxiom> originalAxiomSet,
IntegerOntologyObjectFactory factory)
Normalizes a set of axioms.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.