public class IntegerDataTypeFactoryImpl extends Object implements IntegerDataTypeFactory
Constructor and Description |
---|
IntegerDataTypeFactoryImpl()
Constructs a new data type factory.
|
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 property)
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.
|
public IntegerDataTypeFactoryImpl()
public IntegerClass createClass(int classId)
IntegerDataTypeFactory
createClass
in interface IntegerDataTypeFactory
classId
- class identifierpublic IntegerDataHasValue createDataHasValue(int dataPropertyId, int val)
IntegerDataTypeFactory
createDataHasValue
in interface IntegerDataTypeFactory
dataPropertyId
- data property expressionval
- valuepublic IntegerDataProperty createDataProperty(int dataPropertyId)
IntegerDataTypeFactory
createDataProperty
in interface IntegerDataTypeFactory
dataPropertyId
- data property identifierpublic IntegerDataSomeValuesFrom createDataSomeValuesFrom(int dataPropertyId, IntegerClassExpression classExpression)
IntegerDataTypeFactory
createDataSomeValuesFrom
in interface IntegerDataTypeFactory
dataPropertyId
- data property identifierclassExpression
- class expressionpublic IntegerNamedIndividual createNamedIndividual(int individualId)
IntegerDataTypeFactory
createNamedIndividual
in interface IntegerDataTypeFactory
individualId
- named individual identifierpublic IntegerObjectIntersectionOf createObjectIntersectionOf(Set<IntegerClassExpression> operands)
IntegerDataTypeFactory
createObjectIntersectionOf
in interface IntegerDataTypeFactory
operands
- set of class expressionspublic IntegerObjectInverseOf createObjectInverseOf(IntegerObjectProperty property)
IntegerDataTypeFactory
createObjectInverseOf
in interface IntegerDataTypeFactory
property
- object property to create the inversepublic IntegerObjectOneOf createObjectOneOf(int individualId)
IntegerDataTypeFactory
createObjectOneOf
in interface IntegerDataTypeFactory
individualId
- individual identifierpublic IntegerObjectProperty createObjectProperty(int objectPropertyId)
IntegerDataTypeFactory
createObjectProperty
in interface IntegerDataTypeFactory
objectPropertyId
- object property identifierpublic IntegerObjectSomeValuesFrom createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression, IntegerClassExpression classExpression)
IntegerDataTypeFactory
createObjectSomeValuesFrom
in interface IntegerDataTypeFactory
propertyExpression
- property expressionclassExpression
- class expressionpublic IntegerClass getBottomClass()
IntegerDataTypeFactory
getBottomClass
in interface IntegerDataTypeFactory
public IntegerDataProperty getBottomDataProperty()
IntegerDataTypeFactory
getBottomDataProperty
in interface IntegerDataTypeFactory
public IntegerObjectProperty getBottomObjectProperty()
IntegerDataTypeFactory
getBottomObjectProperty
in interface IntegerDataTypeFactory
public IntegerClass getTopClass()
IntegerDataTypeFactory
getTopClass
in interface IntegerDataTypeFactory
public IntegerDataProperty getTopDataProperty()
IntegerDataTypeFactory
getTopDataProperty
in interface IntegerDataTypeFactory
public IntegerObjectProperty getTopObjectProperty()
IntegerDataTypeFactory
getTopObjectProperty
in interface IntegerDataTypeFactory
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.