de.tudresden.inf.lat.jcel.ontology.axiom.complex
Class ComplexIntegerAxiomFactoryImpl

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiomFactoryImpl
All Implemented Interfaces:
ComplexIntegerAxiomFactory

public class ComplexIntegerAxiomFactoryImpl
extends Object
implements ComplexIntegerAxiomFactory

An object of this class is a factory to create any complex axiom.

Author:
Julian Mendez

Constructor Summary
ComplexIntegerAxiomFactoryImpl()
          Constructs a new complex axiom factory.
 
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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ComplexIntegerAxiomFactoryImpl

public ComplexIntegerAxiomFactoryImpl()
Constructs a new complex axiom factory.

Method Detail

createClassAssertionAxiom

public IntegerClassAssertionAxiom createClassAssertionAxiom(IntegerClassExpression classExpr,
                                                            Integer individualId)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new class assertion axiom.

Specified by:
createClassAssertionAxiom in interface ComplexIntegerAxiomFactory
Parameters:
classExpr - class expression of the assertion
individualId - individual of the assertion

createClassDeclarationAxiom

public IntegerClassDeclarationAxiom createClassDeclarationAxiom(Integer declaredEntity)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new class declaration axiom.

Specified by:
createClassDeclarationAxiom in interface ComplexIntegerAxiomFactory
Parameters:
declaredEntity - class identifier

createDataPropertyAssertionAxiom

public IntegerDataPropertyAssertionAxiom createDataPropertyAssertionAxiom(Integer objectProp,
                                                                          Integer subjectInd,
                                                                          Integer objectInd)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new data property assertion axiom.

Specified by:
createDataPropertyAssertionAxiom in interface ComplexIntegerAxiomFactory
Parameters:
objectProp - data property
subjectInd - source individual
objectInd - target individual

createDataPropertyDeclarationAxiom

public IntegerDataPropertyDeclarationAxiom createDataPropertyDeclarationAxiom(Integer declaredEntity)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new data property declaration axiom.

Specified by:
createDataPropertyDeclarationAxiom in interface ComplexIntegerAxiomFactory
Parameters:
declaredEntity - data property

createDifferentIndividualsAxiom

public IntegerDifferentIndividualsAxiom createDifferentIndividualsAxiom(Set<Integer> individualSet)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new different individuals axiom

Specified by:
createDifferentIndividualsAxiom in interface ComplexIntegerAxiomFactory
Parameters:
individualSet - set of individuals declared to be different

createDisjointClassesAxiom

public IntegerDisjointClassesAxiom createDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new disjoint classes axiom.

Specified by:
createDisjointClassesAxiom in interface ComplexIntegerAxiomFactory
Parameters:
descSet - set of classes declared to be disjoint

createEquivalentClassesAxiom

public IntegerEquivalentClassesAxiom createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new equivalent classes axiom.

Specified by:
createEquivalentClassesAxiom in interface ComplexIntegerAxiomFactory
Parameters:
descSet - set of classes declared to be equivalent

createEquivalentObjectPropertiesAxiom

public IntegerEquivalentObjectPropertiesAxiom createEquivalentObjectPropertiesAxiom(Set<IntegerObjectPropertyExpression> propSet)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs an equivalent object properties axiom.

Specified by:
createEquivalentObjectPropertiesAxiom in interface ComplexIntegerAxiomFactory
Parameters:
propSet - set of object properties declared to be equivalent

createFunctionalObjectPropertyAxiom

public IntegerFunctionalObjectPropertyAxiom createFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new functional object property axiom.

Specified by:
createFunctionalObjectPropertyAxiom in interface ComplexIntegerAxiomFactory
Parameters:
property - object property declared functional

createInverseFunctionalObjectPropertyAxiom

public IntegerInverseFunctionalObjectPropertyAxiom createInverseFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new inverse functional object property axiom.

Specified by:
createInverseFunctionalObjectPropertyAxiom in interface ComplexIntegerAxiomFactory
Parameters:
property - object property which inverse is declared functional

createInverseObjectPropertiesAxiom

public IntegerInverseObjectPropertiesAxiom createInverseObjectPropertiesAxiom(IntegerObjectPropertyExpression first,
                                                                              IntegerObjectPropertyExpression second)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new inverse object property axiom, declaring that one object property is the inverse of another one.

Specified by:
createInverseObjectPropertiesAxiom in interface ComplexIntegerAxiomFactory
Parameters:
first - object property
second - object property

createNamedIndividualDeclarationAxiom

public IntegerNamedIndividualDeclarationAxiom createNamedIndividualDeclarationAxiom(Integer declaredEntity)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new named individual declaration axiom.

Specified by:
createNamedIndividualDeclarationAxiom in interface ComplexIntegerAxiomFactory
Parameters:
declaredEntity - named individual

createNegativeObjectPropertyAssertionAxiom

public IntegerNegativeObjectPropertyAssertionAxiom createNegativeObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
                                                                                              Integer subjectInd,
                                                                                              Integer objectInd)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new negative object property axiom.

Specified by:
createNegativeObjectPropertyAssertionAxiom in interface ComplexIntegerAxiomFactory
Parameters:
objectProp - object property expression
subjectInd - source individual
objectInd - target individual

createObjectPropertyAssertionAxiom

public IntegerObjectPropertyAssertionAxiom createObjectPropertyAssertionAxiom(IntegerObjectPropertyExpression objectProp,
                                                                              Integer subjectInd,
                                                                              Integer objectInd)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new object property assertion axiom.

Specified by:
createObjectPropertyAssertionAxiom in interface ComplexIntegerAxiomFactory
Parameters:
objectProp - object property
subjectInd - source individual
objectInd - target individual

createObjectPropertyDeclarationAxiom

public IntegerObjectPropertyDeclarationAxiom createObjectPropertyDeclarationAxiom(Integer declaredEntity)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new object property declaration axiom.

Specified by:
createObjectPropertyDeclarationAxiom in interface ComplexIntegerAxiomFactory
Parameters:
declaredEntity - object property

createPropertyRangeAxiom

public IntegerPropertyRangeAxiom createPropertyRangeAxiom(IntegerObjectPropertyExpression prop,
                                                          IntegerClassExpression clExpr)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new object property range axiom.

Specified by:
createPropertyRangeAxiom in interface ComplexIntegerAxiomFactory
Parameters:
prop - object property
clExpr - class expression

createReflexiveObjectPropertyAxiom

public IntegerReflexiveObjectPropertyAxiom createReflexiveObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new reflexive object property axiom.

Specified by:
createReflexiveObjectPropertyAxiom in interface ComplexIntegerAxiomFactory
Parameters:
property - object property

createSameIndividualAxiom

public IntegerSameIndividualAxiom createSameIndividualAxiom(Set<Integer> individualSet)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new same individual axiom.

Specified by:
createSameIndividualAxiom in interface ComplexIntegerAxiomFactory
Parameters:
individualSet - set of individuals declared to be the same

createSubClassOfAxiom

public IntegerSubClassOfAxiom createSubClassOfAxiom(IntegerClassExpression subClExpr,
                                                    IntegerClassExpression superClExpr)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new subclass axiom.

Specified by:
createSubClassOfAxiom in interface ComplexIntegerAxiomFactory
Parameters:
subClExpr - subclass
superClExpr - superclass

createSubObjectPropertyOfAxiom

public IntegerSubObjectPropertyOfAxiom createSubObjectPropertyOfAxiom(IntegerObjectPropertyExpression subPropExpr,
                                                                      IntegerObjectPropertyExpression superPropExpr)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new sub object property axiom.

Specified by:
createSubObjectPropertyOfAxiom in interface ComplexIntegerAxiomFactory
Parameters:
subPropExpr - sub object property
superPropExpr - super object property

createSubPropertyChainOfAxiom

public IntegerSubPropertyChainOfAxiom createSubPropertyChainOfAxiom(List<IntegerObjectPropertyExpression> chain,
                                                                    IntegerObjectPropertyExpression superProp)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new sub object property chain axiom.

Specified by:
createSubPropertyChainOfAxiom in interface ComplexIntegerAxiomFactory
Parameters:
chain - list of object property expressions in the chain
superProp - super object property expression

createTransitiveObjectPropertyAxiom

public IntegerTransitiveObjectPropertyAxiom createTransitiveObjectPropertyAxiom(IntegerObjectPropertyExpression prop)
Description copied from interface: ComplexIntegerAxiomFactory
Constructs a new transitive object property axiom.

Specified by:
createTransitiveObjectPropertyAxiom in interface ComplexIntegerAxiomFactory
Parameters:
prop - object property


Copyright © 2012. All Rights Reserved.