public class NormalizedIntegerAxiomFactoryImpl extends Object implements NormalizedIntegerAxiomFactory
Constructor and Description |
---|
NormalizedIntegerAxiomFactoryImpl()
Constructs a new normalized axiom factory.
|
Modifier and Type | Method and Description |
---|---|
FunctObjectPropAxiom |
createFunctObjectPropAxiom(int propertyId,
Set<Annotation> annotations)
Constructs a new functional object property axiom.
|
GCI0Axiom |
createGCI0Axiom(int subCl,
int superCl,
Set<Annotation> annotations)
Constructs a new GCI-0 axiom.
|
GCI1Axiom |
createGCI1Axiom(int leftCl,
int rightCl,
int superCl,
Set<Annotation> annotations)
Constructs a new GCI-1 axiom.
|
GCI2Axiom |
createGCI2Axiom(int leftCl,
int rightProp,
int rightCl,
Set<Annotation> annotations)
Constructs a new GCI-2 axiom.
|
GCI3Axiom |
createGCI3Axiom(int leftProp,
int leftCl,
int rightCl,
Set<Annotation> annotations)
Constructs a new GCI-3 axiom.
|
NominalAxiom |
createNominalAxiom(int classId,
int individualId,
Set<Annotation> annotations)
Constructs a new nominal axiom.
|
RangeAxiom |
createRangeAxiom(int prop,
int cl,
Set<Annotation> annotations)
Constructs a new range axiom.
|
RI1Axiom |
createRI1Axiom(int prop,
Set<Annotation> annotations)
Constructs a new axiom RI-1.
|
RI2Axiom |
createRI2Axiom(int leftProp,
int rightProp,
Set<Annotation> annotations)
Constructs a new axiom RI-2.
|
RI3Axiom |
createRI3Axiom(int leftLeftProp,
int leftRightProp,
int rightProp,
Set<Annotation> annotations)
Constructs a new RI-3 axiom.
|
boolean |
equals(Object obj) |
int |
hashCode() |
public NormalizedIntegerAxiomFactoryImpl()
public FunctObjectPropAxiom createFunctObjectPropAxiom(int propertyId, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createFunctObjectPropAxiom
in interface NormalizedIntegerAxiomFactory
propertyId
- object property identifierannotations
- annotationspublic GCI0Axiom createGCI0Axiom(int subCl, int superCl, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createGCI0Axiom
in interface NormalizedIntegerAxiomFactory
subCl
- subclass identifiersuperCl
- superclass identifierannotations
- annotationspublic GCI1Axiom createGCI1Axiom(int leftCl, int rightCl, int superCl, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createGCI1Axiom
in interface NormalizedIntegerAxiomFactory
leftCl
- left subclass in the axiomrightCl
- right subclass in the axiomsuperCl
- superclass in the axiomannotations
- annotationspublic GCI2Axiom createGCI2Axiom(int leftCl, int rightProp, int rightCl, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createGCI2Axiom
in interface NormalizedIntegerAxiomFactory
leftCl
- subclass identifierrightProp
- object property identifierrightCl
- class identifier for the right-hand partannotations
- annotationspublic GCI3Axiom createGCI3Axiom(int leftProp, int leftCl, int rightCl, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createGCI3Axiom
in interface NormalizedIntegerAxiomFactory
leftProp
- object property identifier for the left-hand partleftCl
- class identifier for the left-hand partrightCl
- superclass identifierannotations
- annotationspublic NominalAxiom createNominalAxiom(int classId, int individualId, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createNominalAxiom
in interface NormalizedIntegerAxiomFactory
classId
- class identifier in the axiomindividualId
- individual identifier in the axiomannotations
- annotationspublic RangeAxiom createRangeAxiom(int prop, int cl, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createRangeAxiom
in interface NormalizedIntegerAxiomFactory
prop
- object property identifiercl
- class identifierannotations
- annotationspublic RI1Axiom createRI1Axiom(int prop, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createRI1Axiom
in interface NormalizedIntegerAxiomFactory
prop
- object property identifierannotations
- annotationspublic RI2Axiom createRI2Axiom(int leftProp, int rightProp, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createRI2Axiom
in interface NormalizedIntegerAxiomFactory
leftProp
- object property identifier for the left-hand part of the axiomrightProp
- object property identifier for the right-hand part of the
axiomannotations
- annotationspublic RI3Axiom createRI3Axiom(int leftLeftProp, int leftRightProp, int rightProp, Set<Annotation> annotations)
NormalizedIntegerAxiomFactory
createRI3Axiom
in interface NormalizedIntegerAxiomFactory
leftLeftProp
- object property identifier for the left-hand object property
on the compositionleftRightProp
- object property identifier for the right-hand object property
on the compositionrightProp
- object property identifier for super object propertyannotations
- annotationsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.