|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
public class ComplexIntegerAxiomFactoryImpl
An object of this class is a factory to create any complex axiom.
Constructor Summary | |
---|---|
ComplexIntegerAxiomFactoryImpl()
Constructs a new complex axiom factory. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ComplexIntegerAxiomFactoryImpl()
Method Detail |
---|
public IntegerClassAssertionAxiom createClassAssertionAxiom(IntegerClassExpression classExpr, Integer individualId)
ComplexIntegerAxiomFactory
createClassAssertionAxiom
in interface ComplexIntegerAxiomFactory
classExpr
- class expression of the assertionindividualId
- individual of the assertionpublic IntegerClassDeclarationAxiom createClassDeclarationAxiom(Integer declaredEntity)
ComplexIntegerAxiomFactory
createClassDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- class identifierpublic IntegerDataPropertyAssertionAxiom createDataPropertyAssertionAxiom(Integer objectProp, Integer subjectInd, Integer objectInd)
ComplexIntegerAxiomFactory
createDataPropertyAssertionAxiom
in interface ComplexIntegerAxiomFactory
objectProp
- data propertysubjectInd
- source individualobjectInd
- target individualpublic IntegerDataPropertyDeclarationAxiom createDataPropertyDeclarationAxiom(Integer declaredEntity)
ComplexIntegerAxiomFactory
createDataPropertyDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- data propertypublic IntegerDifferentIndividualsAxiom createDifferentIndividualsAxiom(Set<Integer> individualSet)
ComplexIntegerAxiomFactory
createDifferentIndividualsAxiom
in interface ComplexIntegerAxiomFactory
individualSet
- set of individuals declared to be differentpublic IntegerDisjointClassesAxiom createDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
ComplexIntegerAxiomFactory
createDisjointClassesAxiom
in interface ComplexIntegerAxiomFactory
descSet
- set of classes declared to be disjointpublic IntegerEquivalentClassesAxiom createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
ComplexIntegerAxiomFactory
createEquivalentClassesAxiom
in interface ComplexIntegerAxiomFactory
descSet
- set of classes declared to be equivalentpublic IntegerEquivalentObjectPropertiesAxiom createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression> propSet)
ComplexIntegerAxiomFactory
createEquivalentObjectPropertiesAxiom
in interface ComplexIntegerAxiomFactory
propSet
- set of object properties declared to be equivalentpublic IntegerFunctionalObjectPropertyAxiom createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
ComplexIntegerAxiomFactory
createFunctionalObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
property
- object property declared functionalpublic IntegerInverseFunctionalObjectPropertyAxiom createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
ComplexIntegerAxiomFactory
createInverseFunctionalObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
property
- object property which inverse is declared functionalpublic IntegerInverseObjectPropertiesAxiom createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first, IntegerObjectPropertyExpression second)
ComplexIntegerAxiomFactory
createInverseObjectPropertiesAxiom
in interface ComplexIntegerAxiomFactory
first
- object propertysecond
- object propertypublic IntegerNamedIndividualDeclarationAxiom createNamedIndividualDeclarationAxiom(Integer declaredEntity)
ComplexIntegerAxiomFactory
createNamedIndividualDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- named individualpublic IntegerNegativeObjectPropertyAssertionAxiom createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, Integer subjectInd, Integer objectInd)
ComplexIntegerAxiomFactory
createNegativeObjectPropertyAssertionAxiom
in interface ComplexIntegerAxiomFactory
objectProp
- object property expressionsubjectInd
- source individualobjectInd
- target individualpublic IntegerObjectPropertyAssertionAxiom createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp, Integer subjectInd, Integer objectInd)
ComplexIntegerAxiomFactory
createObjectPropertyAssertionAxiom
in interface ComplexIntegerAxiomFactory
objectProp
- object propertysubjectInd
- source individualobjectInd
- target individualpublic IntegerObjectPropertyDeclarationAxiom createObjectPropertyDeclarationAxiom(Integer declaredEntity)
ComplexIntegerAxiomFactory
createObjectPropertyDeclarationAxiom
in interface ComplexIntegerAxiomFactory
declaredEntity
- object propertypublic IntegerPropertyRangeAxiom createPropertyRangeAxiom(IntegerObjectPropertyExpression prop, IntegerClassExpression clExpr)
ComplexIntegerAxiomFactory
createPropertyRangeAxiom
in interface ComplexIntegerAxiomFactory
prop
- object propertyclExpr
- class expressionpublic IntegerReflexiveObjectPropertyAxiom createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression property)
ComplexIntegerAxiomFactory
createReflexiveObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
property
- object propertypublic IntegerSameIndividualAxiom createSameIndividualAxiom(Set<Integer> individualSet)
ComplexIntegerAxiomFactory
createSameIndividualAxiom
in interface ComplexIntegerAxiomFactory
individualSet
- set of individuals declared to be the samepublic IntegerSubClassOfAxiom createSubClassOfAxiom(IntegerClassExpression subClExpr, IntegerClassExpression superClExpr)
ComplexIntegerAxiomFactory
createSubClassOfAxiom
in interface ComplexIntegerAxiomFactory
subClExpr
- subclasssuperClExpr
- superclasspublic IntegerSubObjectPropertyOfAxiom createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr, IntegerObjectPropertyExpression superPropExpr)
ComplexIntegerAxiomFactory
createSubObjectPropertyOfAxiom
in interface ComplexIntegerAxiomFactory
subPropExpr
- sub object propertysuperPropExpr
- super object propertypublic IntegerSubPropertyChainOfAxiom createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain, IntegerObjectPropertyExpression superProp)
ComplexIntegerAxiomFactory
createSubPropertyChainOfAxiom
in interface ComplexIntegerAxiomFactory
chain
- list of object property expressions in the chainsuperProp
- super object property expressionpublic IntegerTransitiveObjectPropertyAxiom createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop)
ComplexIntegerAxiomFactory
createTransitiveObjectPropertyAxiom
in interface ComplexIntegerAxiomFactory
prop
- object property
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |