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.
|
de.tudresden.inf.lat.jcel.owlapi.translator |
Provides interfaces and classes used in the translation
between OWL API objects and integer numbers (the internal
representation).
|
de.tudresden.inf.lat.jcel.reasoner.main |
Provides interfaces and classes used for the reasoner.
|
de.tudresden.inf.lat.jcel.reasoner.module |
Provides interfaces and classes to run the classification
algorithm using module extraction.
|
Class and Description |
---|
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.
|
Class and Description |
---|
ComplexIntegerAxiom
This interface is for complex axioms.
|
ComplexIntegerAxiomFactory
An object this interface is a factory to create complex axioms.
|
Class and Description |
---|
ComplexIntegerAxiom
This interface is for complex axioms.
|
Class and Description |
---|
ComplexIntegerAxiom
This interface is for complex axioms.
|
Class and Description |
---|
ComplexIntegerAxiom
This interface is for 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.
|
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.
|
Class and Description |
---|
ComplexIntegerAxiom
This interface is for complex axioms.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.