|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |