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.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.
|
Class and Description |
---|
IntegerClassExpression
This interface is implemented by classes that model class expressions with
integer numbers.
|
IntegerObjectPropertyExpression
This interface is implemented by classes that model object property
expressions with integer numbers.
|
Class and Description |
---|
IntegerDataTypeFactory
An object implementing this interface can create basic ontology objects.
|
Class and Description |
---|
IntegerClass
This models a class, this is : A
|
IntegerClassExpression
This interface is implemented by classes that model class expressions with
integer numbers.
|
IntegerClassExpressionVisitor
This class models a visitor of
IntegerClassExpression . |
IntegerDataHasValue
This class models a has-value class expression, this is: ∃ r .
{v} , where r is data property expression and v is a value.
|
IntegerDataProperty
This class models an object property.
|
IntegerDataPropertyExpression
This interface is implemented by classes that model object property
expressions with integer numbers.
|
IntegerDataSomeValuesFrom
This class models an existential restriction with data properties, this is:
∃ p . C, where p is a data property and C is a class expression.
|
IntegerDataTypeFactory
An object implementing this interface can create basic ontology objects.
|
IntegerNamedIndividual
This models a named individual.
|
IntegerObjectIntersectionOf
This class models an intersection of several class expressions, this is:
C1 ⊓ … ⊓ Cn
|
IntegerObjectInverseOf
This class models an inverse object property.
|
IntegerObjectOneOf
This class models the nominal constructor.
|
IntegerObjectProperty
This class models an object property.
|
IntegerObjectPropertyExpression
This interface is implemented by classes that model object property
expressions with integer numbers.
|
IntegerObjectPropertyExpressionVisitor
This class models a visitor of
IntegerObjectPropertyExpression . |
IntegerObjectSomeValuesFrom
This class models an existential restriction with object properties, this is:
∃ r . C , where r is an object property expression and C is a
class expression.
|
Class and Description |
---|
IntegerObjectInverseOf
This class models an inverse object property.
|
IntegerObjectProperty
This class models an object property.
|
IntegerObjectPropertyExpressionVisitor
This class models a visitor of
IntegerObjectPropertyExpression . |
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.