de.tudresden.inf.lat.jcel.coreontology.axiom
Class NormalizedIntegerAxiomFactoryImpl

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiomFactoryImpl
All Implemented Interfaces:
NormalizedIntegerAxiomFactory

public class NormalizedIntegerAxiomFactoryImpl
extends Object
implements NormalizedIntegerAxiomFactory

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

Author:
Julian Mendez

Constructor Summary
NormalizedIntegerAxiomFactoryImpl()
          Constructs a new normalized axiom factory.
 
Method Summary
 FunctObjectPropAxiom createFunctObjectPropAxiom(int prop)
          Constructs a new functional object property axiom.
 GCI0Axiom createGCI0Axiom(int subCl, int superCl)
          Constructs a new GCI-0 axiom.
 GCI1Axiom createGCI1Axiom(List<Integer> leftClList, int rightCl)
          Constructs a new GCI-1 axiom.
 GCI2Axiom createGCI2Axiom(int leftCl, int rightProp, int rightCl)
          Constructs a new GCI-2 axiom.
 GCI3Axiom createGCI3Axiom(int leftProp, int leftCl, int rightCl)
          Constructs a new GCI-3 axiom.
 NominalAxiom createNominalAxiom(int classId, int individualId)
          Constructs a new nominal axiom.
 RangeAxiom createRangeAxiom(int prop, int cl)
          Constructs a new range axiom.
 RI1Axiom createRI1Axiom(int prop)
          Constructs a new axiom RI-1.
 RI2Axiom createRI2Axiom(int leftProp, int rightProp)
          Constructs a new axiom RI-2.
 RI3Axiom createRI3Axiom(int leftLeftProp, int leftRightProp, int rightProp)
          Constructs a new RI-3 axiom
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NormalizedIntegerAxiomFactoryImpl

public NormalizedIntegerAxiomFactoryImpl()
Constructs a new normalized axiom factory.

Method Detail

createFunctObjectPropAxiom

public FunctObjectPropAxiom createFunctObjectPropAxiom(int prop)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new functional object property axiom.

Specified by:
createFunctObjectPropAxiom in interface NormalizedIntegerAxiomFactory
Parameters:
prop - object property

createGCI0Axiom

public GCI0Axiom createGCI0Axiom(int subCl,
                                 int superCl)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new GCI-0 axiom.

Specified by:
createGCI0Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
subCl - subclass identifier
superCl - superclass identifier

createGCI1Axiom

public GCI1Axiom createGCI1Axiom(List<Integer> leftClList,
                                 int rightCl)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new GCI-1 axiom.

Specified by:
createGCI1Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
leftClList - list of class identifier for the part of the left-hand side
rightCl - superclass in the axiom

createGCI2Axiom

public GCI2Axiom createGCI2Axiom(int leftCl,
                                 int rightProp,
                                 int rightCl)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new GCI-2 axiom.

Specified by:
createGCI2Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
leftCl - subclass identifier
rightProp - object property identifier
rightCl - class identifier for the right-hand part

createGCI3Axiom

public GCI3Axiom createGCI3Axiom(int leftProp,
                                 int leftCl,
                                 int rightCl)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new GCI-3 axiom.

Specified by:
createGCI3Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
leftProp - object property identifier for the left-hand part
leftCl - class identifier for the left-hand part
rightCl - superclass identifier

createNominalAxiom

public NominalAxiom createNominalAxiom(int classId,
                                       int individualId)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new nominal axiom.

Specified by:
createNominalAxiom in interface NormalizedIntegerAxiomFactory
Parameters:
classId - class identifier in the axiom
individualId - individual identifier in the axiom

createRangeAxiom

public RangeAxiom createRangeAxiom(int prop,
                                   int cl)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new range axiom.

Specified by:
createRangeAxiom in interface NormalizedIntegerAxiomFactory
Parameters:
prop - object property identifier
cl - class identifier

createRI1Axiom

public RI1Axiom createRI1Axiom(int prop)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new axiom RI-1.

Specified by:
createRI1Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
prop - object property identifier

createRI2Axiom

public RI2Axiom createRI2Axiom(int leftProp,
                               int rightProp)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new axiom RI-2.

Specified by:
createRI2Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
leftProp - object property identifier for the left-hand part of the axiom
rightProp - object property identifier for the right-hand part of the axiom

createRI3Axiom

public RI3Axiom createRI3Axiom(int leftLeftProp,
                               int leftRightProp,
                               int rightProp)
Description copied from interface: NormalizedIntegerAxiomFactory
Constructs a new RI-3 axiom

Specified by:
createRI3Axiom in interface NormalizedIntegerAxiomFactory
Parameters:
leftLeftProp - object property identifier for the left-hand object property on the composition
leftRightProp - object property identifier for the right-hand object property on the composition
rightProp - object property identifier for super object property


Copyright © 2012. All Rights Reserved.