Package | Description |
---|---|
de.tudresden.inf.lat.jcel.core.algorithm.cel |
Provides interfaces and classes to run the classification
algorithm of CEL.
|
de.tudresden.inf.lat.jcel.core.algorithm.rulebased |
Provides interfaces and classes to run a classification
algorithm based on completion rules.
|
de.tudresden.inf.lat.jcel.core.saturation |
Provides interfaces and classes needed to perform the saturation.
|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
de.tudresden.inf.lat.jcel.coreontology.datatype |
Provides interfaces and classes with the data types used in
the normalized axioms of the classification algorithm.
|
de.tudresden.inf.lat.jcel.coreontology.expressivity |
Provides interfaces and classes to detect ontology expressivity.
|
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.datatype |
Provides interfaces and classes with the data types used in
the axioms of the classification algorithm.
|
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).
|
Class and Description |
---|
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
Class and Description |
---|
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
OntologyExpressivity |
Class and Description |
---|
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
Class and Description |
---|
IntegerAxiom
An
IntegerAxiom is an axiom that is composed by integer numbers. |
IntegerDatatype
An object implementing this interface is an object used for data types based
on integer numbers.
|
Class and Description |
---|
IntegerDatatype
An object implementing this interface is an object used for data types based
on integer numbers.
|
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
IntegerEntityType |
Class and Description |
---|
OntologyExpressivity |
Class and Description |
---|
IntegerAxiom
An
IntegerAxiom is an axiom that is composed by integer numbers. |
IntegerDatatype
An object implementing this interface is an object used for data types based
on integer numbers.
|
Class and Description |
---|
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
OntologyExpressivity |
Class and Description |
---|
IntegerDatatype
An object implementing this interface is an object used for data types based
on integer numbers.
|
Class and Description |
---|
IntegerAxiom
An
IntegerAxiom is an axiom that is composed by integer numbers. |
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
Class and Description |
---|
IntegerEntityManager
An object implementing this interface manages entities and creates new
identification numbers for auxiliary entities.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.