See: Description
Interface | Description |
---|---|
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 | Description |
---|---|
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.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.