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.
 

Method Detail

createClassAssertionAxiom

IntegerClassAssertionAxiom createClassAssertionAxiom(IntegerClassExpression classExpr,
                                                     Integer individualId)
Constructs a new class assertion axiom.

Parameters:
classExpr - class expression of the assertion
individualId - 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 property
subjectInd - source individual
objectInd - 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 property
second - 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 expression
subjectInd - source individual
objectInd - target individual

createObjectPropertyAssertionAxiom

IntegerObjectPropertyAssertionAxiom createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
                                                                       Integer subjectInd,
                                                                       Integer objectInd)
Constructs a new object property assertion axiom.

Parameters:
objectProp - object property
subjectInd - source individual
objectInd - 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 property
clExpr - 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 - subclass
superClExpr - superclass

createSubObjectPropertyOfAxiom

IntegerSubObjectPropertyOfAxiom createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr,
                                                               IntegerObjectPropertyExpression superPropExpr)
Constructs a new sub object property axiom.

Parameters:
subPropExpr - sub object property
superPropExpr - 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 chain
superProp - 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.