public interface IntegerDataTypeFactory
Modifier and Type | Method and Description |
---|---|
IntegerClass |
createClass(int classId)
Creates a class.
|
IntegerDataHasValue |
createDataHasValue(int dataPropertyId,
int val)
Creates a has-value class expression.
|
IntegerDataProperty |
createDataProperty(int dataPropertyId)
Creates a data property.
|
IntegerDataSomeValuesFrom |
createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
IntegerNamedIndividual |
createNamedIndividual(int individualId)
Creates a named individual.
|
IntegerObjectIntersectionOf |
createObjectIntersectionOf(Set<IntegerClassExpression> operands)
Creates an intersection of class expressions.
|
IntegerObjectInverseOf |
createObjectInverseOf(IntegerObjectProperty objectPropertyId)
Creates an inverse object property.
|
IntegerObjectOneOf |
createObjectOneOf(int individualId)
Creates a nominal expression.
|
IntegerObjectProperty |
createObjectProperty(int objectPropertyId)
Creates an object property.
|
IntegerObjectSomeValuesFrom |
createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
IntegerClass |
getBottomClass()
Returns the bottom class.
|
IntegerDataProperty |
getBottomDataProperty()
Returns the bottom data property.
|
IntegerObjectProperty |
getBottomObjectProperty()
Returns the bottom object property.
|
IntegerClass |
getTopClass()
Returns the top class.
|
IntegerDataProperty |
getTopDataProperty()
Returns the top data property.
|
IntegerObjectProperty |
getTopObjectProperty()
Returns the top object property.
|
IntegerClass createClass(int classId)
classId
- class identifierIntegerDataHasValue createDataHasValue(int dataPropertyId, int val)
dataPropertyId
- data property expressionval
- valueIntegerDataProperty createDataProperty(int dataPropertyId)
dataPropertyId
- data property identifierIntegerDataSomeValuesFrom createDataSomeValuesFrom(int dataPropertyId, IntegerClassExpression classExpression)
dataPropertyId
- data property identifierclassExpression
- class expressionIntegerNamedIndividual createNamedIndividual(int individualId)
individualId
- named individual identifierIntegerObjectIntersectionOf createObjectIntersectionOf(Set<IntegerClassExpression> operands)
operands
- set of class expressionsIntegerObjectInverseOf createObjectInverseOf(IntegerObjectProperty objectPropertyId)
objectPropertyId
- object property to create the inverseIntegerObjectOneOf createObjectOneOf(int individualId)
individualId
- individual identifierIntegerObjectProperty createObjectProperty(int objectPropertyId)
objectPropertyId
- object property identifierIntegerObjectSomeValuesFrom createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression, IntegerClassExpression classExpression)
propertyExpression
- property expressionclassExpression
- class expressionIntegerClass getBottomClass()
IntegerDataProperty getBottomDataProperty()
IntegerObjectProperty getBottomObjectProperty()
IntegerClass getTopClass()
IntegerDataProperty getTopDataProperty()
IntegerObjectProperty getTopObjectProperty()
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.