public interface ComplexIntegerAxiomFactory
IntegerClassAssertionAxiom createClassAssertionAxiom(IntegerClassExpression classExpr, int individualId, Set<Annotation> annotations)
classExpr
- class expression of the assertionindividualId
- individual of the assertionannotations
- annotationsIntegerClassDeclarationAxiom createClassDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
declaredEntity
- class identifierannotations
- annotationsIntegerDataPropertyAssertionAxiom createDataPropertyAssertionAxiom(int objectProp, int subjectInd, int objectInd, Set<Annotation> annotations)
objectProp
- data propertysubjectInd
- source individualobjectInd
- target individualannotations
- annotationsIntegerDataPropertyDeclarationAxiom createDataPropertyDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
declaredEntity
- data propertyannotations
- annotationsIntegerDifferentIndividualsAxiom createDifferentIndividualsAxiom(Set<Integer> individualSet, Set<Annotation> annotations)
individualSet
- set of individuals declared to be differentannotations
- annotationsIntegerDisjointClassesAxiom createDisjointClassesAxiom(Set<IntegerClassExpression> descSet, Set<Annotation> annotations)
descSet
- set of classes declared to be disjointannotations
- annotationsIntegerEquivalentClassesAxiom createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet, Set<Annotation> annotations)
descSet
- set of classes declared to be equivalentannotations
- annotationsIntegerEquivalentObjectPropertiesAxiom createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression> propSet, Set<Annotation> annotations)
propSet
- set of object properties declared to be equivalentannotations
- annotationsIntegerFunctionalObjectPropertyAxiom createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property, Set<Annotation> annotations)
property
- object property declared functionalannotations
- annotationsIntegerInverseFunctionalObjectPropertyAxiom createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property, Set<Annotation> annotations)
property
- object property which inverse is declared functionalannotations
- annotationsIntegerInverseObjectPropertiesAxiom createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first, IntegerObjectPropertyExpression second, Set<Annotation> annotations)
first
- object propertysecond
- object propertyannotations
- annotationsIntegerNamedIndividualDeclarationAxiom createNamedIndividualDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
declaredEntity
- named individualannotations
- annotationsIntegerNegativeObjectPropertyAssertionAxiom createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, int subjectInd, int objectInd, Set<Annotation> annotations)
objectProp
- object property expressionsubjectInd
- source individualobjectInd
- target individualannotations
- annotationsIntegerObjectPropertyAssertionAxiom createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, int subjectInd, int objectInd, Set<Annotation> annotations)
objectProp
- object propertysubjectInd
- source individualobjectInd
- target individualannotations
- annotationsIntegerObjectPropertyDeclarationAxiom createObjectPropertyDeclarationAxiom(int declaredEntity, Set<Annotation> annotations)
declaredEntity
- object propertyannotations
- annotationsIntegerPropertyRangeAxiom createPropertyRangeAxiom(IntegerObjectPropertyExpression prop, IntegerClassExpression clExpr, Set<Annotation> annotations)
prop
- object propertyclExpr
- class expressionannotations
- annotationsIntegerReflexiveObjectPropertyAxiom createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression property, Set<Annotation> annotations)
property
- object propertyannotations
- annotationsIntegerSameIndividualAxiom createSameIndividualAxiom(Set<Integer> individualSet, Set<Annotation> annotations)
individualSet
- set of individuals declared to be the sameannotations
- annotationsIntegerSubClassOfAxiom createSubClassOfAxiom(IntegerClassExpression subClExpr, IntegerClassExpression superClExpr, Set<Annotation> annotations)
subClExpr
- subclasssuperClExpr
- superclassannotations
- annotationsIntegerSubObjectPropertyOfAxiom createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr, IntegerObjectPropertyExpression superPropExpr, Set<Annotation> annotations)
subPropExpr
- sub object propertysuperPropExpr
- super object propertyannotations
- annotationsIntegerSubPropertyChainOfAxiom createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain, IntegerObjectPropertyExpression superProp, Set<Annotation> annotations)
chain
- list of object property expressions in the chainsuperProp
- super object property expressionannotations
- annotationsIntegerTransitiveObjectPropertyAxiom createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop, Set<Annotation> annotations)
prop
- object propertyannotations
- annotationsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.