de.tudresden.inf.lat.jcel.coreontology.axiom
Interface NormalizedIntegerAxiomFactory

All Known Implementing Classes:
NormalizedIntegerAxiomFactoryImpl

public interface NormalizedIntegerAxiomFactory

An object implementing this interface is a factory to create normalized axioms.

Author:
Julian Mendez

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
 

Method Detail

createFunctObjectPropAxiom

FunctObjectPropAxiom createFunctObjectPropAxiom(int prop)
Constructs a new functional object property axiom.

Parameters:
prop - object property

createGCI0Axiom

GCI0Axiom createGCI0Axiom(int subCl,
                          int superCl)
Constructs a new GCI-0 axiom.

Parameters:
subCl - subclass identifier
superCl - superclass identifier

createGCI1Axiom

GCI1Axiom createGCI1Axiom(List<Integer> leftClList,
                          int rightCl)
Constructs a new GCI-1 axiom.

Parameters:
leftClList - list of class identifier for the part of the left-hand side
rightCl - superclass in the axiom

createGCI2Axiom

GCI2Axiom createGCI2Axiom(int leftCl,
                          int rightProp,
                          int rightCl)
Constructs a new GCI-2 axiom.

Parameters:
leftCl - subclass identifier
rightProp - object property identifier
rightCl - class identifier for the right-hand part

createGCI3Axiom

GCI3Axiom createGCI3Axiom(int leftProp,
                          int leftCl,
                          int rightCl)
Constructs a new GCI-3 axiom.

Parameters:
leftProp - object property identifier for the left-hand part
leftCl - class identifier for the left-hand part
rightCl - superclass identifier

createNominalAxiom

NominalAxiom createNominalAxiom(int classId,
                                int individualId)
Constructs a new nominal axiom.

Parameters:
classId - class identifier in the axiom
individualId - individual identifier in the axiom

createRangeAxiom

RangeAxiom createRangeAxiom(int prop,
                            int cl)
Constructs a new range axiom.

Parameters:
prop - object property identifier
cl - class identifier

createRI1Axiom

RI1Axiom createRI1Axiom(int prop)
Constructs a new axiom RI-1.

Parameters:
prop - object property identifier

createRI2Axiom

RI2Axiom createRI2Axiom(int leftProp,
                        int rightProp)
Constructs a new axiom RI-2.

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

RI3Axiom createRI3Axiom(int leftLeftProp,
                        int leftRightProp,
                        int rightProp)
Constructs a new RI-3 axiom

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.