de.tudresden.inf.lat.jcel.ontology.axiom.complex
Interface ComplexIntegerAxiomFactory
- All Known Implementing Classes:
- ComplexIntegerAxiomFactoryImpl
public interface ComplexIntegerAxiomFactory
An object this interface is a factory to create complex axioms.
- Author:
- Julian Mendez
Method Summary |
IntegerClassAssertionAxiom |
createClassAssertionAxiom(IntegerClassExpression classExpr,
Integer individualId)
Constructs a new class assertion axiom. |
IntegerClassDeclarationAxiom |
createClassDeclarationAxiom(Integer declaredEntity)
Constructs a new class declaration axiom. |
IntegerDataPropertyAssertionAxiom |
createDataPropertyAssertionAxiom(Integer objectProp,
Integer subjectInd,
Integer objectInd)
Constructs a new data property assertion axiom. |
IntegerDataPropertyDeclarationAxiom |
createDataPropertyDeclarationAxiom(Integer declaredEntity)
Constructs a new data property declaration axiom. |
IntegerDifferentIndividualsAxiom |
createDifferentIndividualsAxiom(Set<Integer> individualSet)
Constructs a new different individuals axiom |
IntegerDisjointClassesAxiom |
createDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new disjoint classes axiom. |
IntegerEquivalentClassesAxiom |
createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new equivalent classes axiom. |
IntegerEquivalentObjectPropertiesAxiom |
createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression> propSet)
Constructs an equivalent object properties axiom. |
IntegerFunctionalObjectPropertyAxiom |
createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Constructs a new functional object property axiom. |
IntegerInverseFunctionalObjectPropertyAxiom |
createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Constructs a new inverse functional object property axiom. |
IntegerInverseObjectPropertiesAxiom |
createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first,
IntegerObjectPropertyExpression second)
Constructs a new inverse object property axiom, declaring that one object
property is the inverse of another one. |
IntegerNamedIndividualDeclarationAxiom |
createNamedIndividualDeclarationAxiom(Integer declaredEntity)
Constructs a new named individual declaration axiom. |
IntegerNegativeObjectPropertyAssertionAxiom |
createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
Integer subjectInd,
Integer objectInd)
Constructs a new negative object property axiom. |
IntegerObjectPropertyAssertionAxiom |
createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
Integer subjectInd,
Integer objectInd)
Constructs a new object property assertion axiom. |
IntegerObjectPropertyDeclarationAxiom |
createObjectPropertyDeclarationAxiom(Integer declaredEntity)
Constructs a new object property declaration axiom. |
IntegerPropertyRangeAxiom |
createPropertyRangeAxiom(IntegerObjectPropertyExpression prop,
IntegerClassExpression clExpr)
Constructs a new object property range axiom. |
IntegerReflexiveObjectPropertyAxiom |
createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Constructs a new reflexive object property axiom. |
IntegerSameIndividualAxiom |
createSameIndividualAxiom(Set<Integer> individualSet)
Constructs a new same individual axiom. |
IntegerSubClassOfAxiom |
createSubClassOfAxiom(IntegerClassExpression subClExpr,
IntegerClassExpression superClExpr)
Constructs a new subclass axiom. |
IntegerSubObjectPropertyOfAxiom |
createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr,
IntegerObjectPropertyExpression superPropExpr)
Constructs a new sub object property axiom. |
IntegerSubPropertyChainOfAxiom |
createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain,
IntegerObjectPropertyExpression superProp)
Constructs a new sub object property chain axiom. |
IntegerTransitiveObjectPropertyAxiom |
createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop)
Constructs a new transitive object property axiom. |
createClassAssertionAxiom
IntegerClassAssertionAxiom createClassAssertionAxiom(IntegerClassExpression classExpr,
Integer individualId)
- Constructs a new class assertion axiom.
- Parameters:
classExpr
- class expression of the assertionindividualId
- individual of the assertion
createClassDeclarationAxiom
IntegerClassDeclarationAxiom createClassDeclarationAxiom(Integer declaredEntity)
- Constructs a new class declaration axiom.
- Parameters:
declaredEntity
- class identifier
createDataPropertyAssertionAxiom
IntegerDataPropertyAssertionAxiom createDataPropertyAssertionAxiom(Integer objectProp,
Integer subjectInd,
Integer objectInd)
- Constructs a new data property assertion axiom.
- Parameters:
objectProp
- data propertysubjectInd
- source individualobjectInd
- target individual
createDataPropertyDeclarationAxiom
IntegerDataPropertyDeclarationAxiom createDataPropertyDeclarationAxiom(Integer declaredEntity)
- Constructs a new data property declaration axiom.
- Parameters:
declaredEntity
- data property
createDifferentIndividualsAxiom
IntegerDifferentIndividualsAxiom createDifferentIndividualsAxiom(Set<Integer> individualSet)
- Constructs a new different individuals axiom
- Parameters:
individualSet
- set of individuals declared to be different
createDisjointClassesAxiom
IntegerDisjointClassesAxiom createDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
- Constructs a new disjoint classes axiom.
- Parameters:
descSet
- set of classes declared to be disjoint
createEquivalentClassesAxiom
IntegerEquivalentClassesAxiom createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
- Constructs a new equivalent classes axiom.
- Parameters:
descSet
- set of classes declared to be equivalent
createEquivalentObjectPropertiesAxiom
IntegerEquivalentObjectPropertiesAxiom createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression> propSet)
- Constructs an equivalent object properties axiom.
- Parameters:
propSet
- set of object properties declared to be equivalent
createFunctionalObjectPropertyAxiom
IntegerFunctionalObjectPropertyAxiom createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
- Constructs a new functional object property axiom.
- Parameters:
property
- object property declared functional
createInverseFunctionalObjectPropertyAxiom
IntegerInverseFunctionalObjectPropertyAxiom createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
- Constructs a new inverse functional object property axiom.
- Parameters:
property
- object property which inverse is declared functional
createInverseObjectPropertiesAxiom
IntegerInverseObjectPropertiesAxiom createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first,
IntegerObjectPropertyExpression second)
- Constructs a new inverse object property axiom, declaring that one object
property is the inverse of another one.
- Parameters:
first
- object propertysecond
- object property
createNamedIndividualDeclarationAxiom
IntegerNamedIndividualDeclarationAxiom createNamedIndividualDeclarationAxiom(Integer declaredEntity)
- Constructs a new named individual declaration axiom.
- Parameters:
declaredEntity
- named individual
createNegativeObjectPropertyAssertionAxiom
IntegerNegativeObjectPropertyAssertionAxiom createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
Integer subjectInd,
Integer objectInd)
- Constructs a new negative object property axiom.
- Parameters:
objectProp
- object property expressionsubjectInd
- source individualobjectInd
- target individual
createObjectPropertyAssertionAxiom
IntegerObjectPropertyAssertionAxiom createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
Integer subjectInd,
Integer objectInd)
- Constructs a new object property assertion axiom.
- Parameters:
objectProp
- object propertysubjectInd
- source individualobjectInd
- target individual
createObjectPropertyDeclarationAxiom
IntegerObjectPropertyDeclarationAxiom createObjectPropertyDeclarationAxiom(Integer declaredEntity)
- Constructs a new object property declaration axiom.
- Parameters:
declaredEntity
- object property
createPropertyRangeAxiom
IntegerPropertyRangeAxiom createPropertyRangeAxiom(IntegerObjectPropertyExpression prop,
IntegerClassExpression clExpr)
- Constructs a new object property range axiom.
- Parameters:
prop
- object propertyclExpr
- class expression
createReflexiveObjectPropertyAxiom
IntegerReflexiveObjectPropertyAxiom createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression property)
- Constructs a new reflexive object property axiom.
- Parameters:
property
- object property
createSameIndividualAxiom
IntegerSameIndividualAxiom createSameIndividualAxiom(Set<Integer> individualSet)
- Constructs a new same individual axiom.
- Parameters:
individualSet
- set of individuals declared to be the same
createSubClassOfAxiom
IntegerSubClassOfAxiom createSubClassOfAxiom(IntegerClassExpression subClExpr,
IntegerClassExpression superClExpr)
- Constructs a new subclass axiom.
- Parameters:
subClExpr
- subclasssuperClExpr
- superclass
createSubObjectPropertyOfAxiom
IntegerSubObjectPropertyOfAxiom createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr,
IntegerObjectPropertyExpression superPropExpr)
- Constructs a new sub object property axiom.
- Parameters:
subPropExpr
- sub object propertysuperPropExpr
- super object property
createSubPropertyChainOfAxiom
IntegerSubPropertyChainOfAxiom createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain,
IntegerObjectPropertyExpression superProp)
- Constructs a new sub object property chain axiom.
- Parameters:
chain
- list of object property expressions in the chainsuperProp
- super object property expression
createTransitiveObjectPropertyAxiom
IntegerTransitiveObjectPropertyAxiom createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop)
- Constructs a new transitive object property axiom.
- Parameters:
prop
- object property
Copyright © 2012. All Rights Reserved.