public class ComplexIntegerAxiomFactoryImpl extends Object implements ComplexIntegerAxiomFactory
Constructor and Description |
---|
ComplexIntegerAxiomFactoryImpl()
Constructs a new complex axiom factory.
|
public ComplexIntegerAxiomFactoryImpl()
public IntegerClassAssertionAxiom createClassAssertionAxiom(IntegerClassExpression classExpr, int individualId, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createClassAssertionAxiom
in interface ComplexIntegerAxiomFactory
classExpr
- class expression of the assertionindividualId
- individual of the assertionannotations
- annotationspublic IntegerClassDeclarationAxiom createClassDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createClassDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- class identifierannotations
- annotationspublic IntegerDataPropertyAssertionAxiom createDataPropertyAssertionAxiom(int objectProp, int subjectInd, int objectInd, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createDataPropertyAssertionAxiom
in interface ComplexIntegerAxiomFactory
objectProp
- data propertysubjectInd
- source individualobjectInd
- target individualannotations
- annotationspublic IntegerDataPropertyDeclarationAxiom createDataPropertyDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createDataPropertyDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- data propertyannotations
- annotationspublic IntegerDifferentIndividualsAxiom createDifferentIndividualsAxiom(Set<Integer> individualSet, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createDifferentIndividualsAxiom
in interface ComplexIntegerAxiomFactory
individualSet
- set of individuals declared to be differentannotations
- annotationspublic IntegerDisjointClassesAxiom createDisjointClassesAxiom(Set<IntegerClassExpression> descSet, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createDisjointClassesAxiom
in interface ComplexIntegerAxiomFactory
descSet
- set of classes declared to be disjointannotations
- annotationspublic IntegerEquivalentClassesAxiom createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createEquivalentClassesAxiom
in interface ComplexIntegerAxiomFactory
descSet
- set of classes declared to be equivalentannotations
- annotationspublic IntegerEquivalentObjectPropertiesAxiom createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression> propSet, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createEquivalentObjectPropertiesAxiom
in interface ComplexIntegerAxiomFactory
propSet
- set of object properties declared to be equivalentannotations
- annotationspublic IntegerFunctionalObjectPropertyAxiom createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createFunctionalObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
property
- object property declared functionalannotations
- annotationspublic IntegerInverseFunctionalObjectPropertyAxiom createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createInverseFunctionalObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
property
- object property which inverse is declared functionalannotations
- annotationspublic IntegerInverseObjectPropertiesAxiom createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first, IntegerObjectPropertyExpression second, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createInverseObjectPropertiesAxiom
in interface ComplexIntegerAxiomFactory
first
- object propertysecond
- object propertyannotations
- annotationspublic IntegerNamedIndividualDeclarationAxiom createNamedIndividualDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createNamedIndividualDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- named individualannotations
- annotationspublic IntegerNegativeObjectPropertyAssertionAxiom createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, int subjectInd, int objectInd, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createNegativeObjectPropertyAssertionAxiom
in interface ComplexIntegerAxiomFactory
objectProp
- object property expressionsubjectInd
- source individualobjectInd
- target individualannotations
- annotationspublic IntegerObjectPropertyAssertionAxiom createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, int subjectInd, int objectInd, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createObjectPropertyAssertionAxiom
in interface ComplexIntegerAxiomFactory
objectProp
- object propertysubjectInd
- source individualobjectInd
- target individualannotations
- annotationspublic IntegerObjectPropertyDeclarationAxiom createObjectPropertyDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createObjectPropertyDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- object propertyannotations
- annotationspublic IntegerPropertyRangeAxiom createPropertyRangeAxiom(IntegerObjectPropertyExpression prop, IntegerClassExpression clExpr, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createPropertyRangeAxiom
in interface ComplexIntegerAxiomFactory
prop
- object propertyclExpr
- class expressionannotations
- annotationspublic IntegerReflexiveObjectPropertyAxiom createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression property, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createReflexiveObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
property
- object propertyannotations
- annotationspublic IntegerSameIndividualAxiom createSameIndividualAxiom(Set<Integer> individualSet, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createSameIndividualAxiom
in interface ComplexIntegerAxiomFactory
individualSet
- set of individuals declared to be the sameannotations
- annotationspublic IntegerSubClassOfAxiom createSubClassOfAxiom(IntegerClassExpression subClExpr, IntegerClassExpression superClExpr, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createSubClassOfAxiom
in interface ComplexIntegerAxiomFactory
subClExpr
- subclasssuperClExpr
- superclassannotations
- annotationspublic IntegerSubObjectPropertyOfAxiom createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr, IntegerObjectPropertyExpression superPropExpr, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createSubObjectPropertyOfAxiom
in interface ComplexIntegerAxiomFactory
subPropExpr
- sub object propertysuperPropExpr
- super object propertyannotations
- annotationspublic IntegerSubPropertyChainOfAxiom createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain, IntegerObjectPropertyExpression superProp, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createSubPropertyChainOfAxiom
in interface ComplexIntegerAxiomFactory
chain
- list of object property expressions in the chainsuperProp
- super object property expressionannotations
- annotationspublic IntegerTransitiveObjectPropertyAxiom createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop, Set<Annotation> annotations)
ComplexIntegerAxiomFactory
createTransitiveObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
prop
- object propertyannotations
- annotationsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.