Package de.tudresden.inf.lat.jcel.ontology.datatype

Provides interfaces and classes with the data types used in the axioms of the classification algorithm.

See:
          Description

Interface Summary
IntegerClassExpression This interface is implemented by classes that model class expressions with integer numbers.
IntegerClassExpressionVisitor<T> This class models a visitor of IntegerClassExpression.
IntegerDataPropertyExpression This interface is implemented by classes that model object property expressions with integer numbers.
IntegerDataTypeFactory An object implementing this interface can create basic ontology objects.
IntegerObjectPropertyExpression This interface is implemented by classes that model object property expressions with integer numbers.
IntegerObjectPropertyExpressionVisitor<T> This class models a visitor of IntegerObjectPropertyExpression.
 

Class Summary
IntegerClass This models a class, this is : A
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.
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.
IntegerDataTypeFactoryImpl An object implementing this class 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.
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.
 

Package de.tudresden.inf.lat.jcel.ontology.datatype Description

Provides interfaces and classes with the data types used in the axioms of the classification algorithm.
This package is independent.



Copyright © 2012. All Rights Reserved.