public interface NormalizedIntegerAxiomFactory
Modifier and Type | Method and Description |
---|---|
FunctObjectPropAxiom |
createFunctObjectPropAxiom(int propertyId,
Set<Annotation> annotations)
Constructs a new functional object property axiom.
|
GCI0Axiom |
createGCI0Axiom(int subClassId,
int superClassId,
Set<Annotation> annotations)
Constructs a new GCI-0 axiom.
|
GCI1Axiom |
createGCI1Axiom(int leftSubClassId,
int rightSubClassId,
int superClassId,
Set<Annotation> annotations)
Constructs a new GCI-1 axiom.
|
GCI2Axiom |
createGCI2Axiom(int leftClassId,
int rightPropertyId,
int rightClassId,
Set<Annotation> annotations)
Constructs a new GCI-2 axiom.
|
GCI3Axiom |
createGCI3Axiom(int leftPropertyId,
int leftClassId,
int rightClassId,
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 propertyId,
int classId,
Set<Annotation> annotations)
Constructs a new range axiom.
|
RI1Axiom |
createRI1Axiom(int propertyId,
Set<Annotation> annotations)
Constructs a new axiom RI-1.
|
RI2Axiom |
createRI2Axiom(int leftPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new axiom RI-2.
|
RI3Axiom |
createRI3Axiom(int leftLeftPropertyId,
int leftRightPropertyId,
int rightPropertyId,
Set<Annotation> annotations)
Constructs a new RI-3 axiom.
|
FunctObjectPropAxiom createFunctObjectPropAxiom(int propertyId, Set<Annotation> annotations)
propertyId
- object property identifierannotations
- annotationsGCI0Axiom createGCI0Axiom(int subClassId, int superClassId, Set<Annotation> annotations)
subClassId
- subclass identifiersuperClassId
- superclass identifierannotations
- annotationsGCI1Axiom createGCI1Axiom(int leftSubClassId, int rightSubClassId, int superClassId, Set<Annotation> annotations)
leftSubClassId
- left subclass in the axiomrightSubClassId
- right subclass in the axiomsuperClassId
- superclass in the axiomannotations
- annotationsGCI2Axiom createGCI2Axiom(int leftClassId, int rightPropertyId, int rightClassId, Set<Annotation> annotations)
leftClassId
- subclass identifierrightPropertyId
- object property identifierrightClassId
- class identifier for the right-hand partannotations
- annotationsGCI3Axiom createGCI3Axiom(int leftPropertyId, int leftClassId, int rightClassId, Set<Annotation> annotations)
leftPropertyId
- object property identifier for the left-hand partleftClassId
- class identifier for the left-hand partrightClassId
- superclass identifierannotations
- annotationsNominalAxiom createNominalAxiom(int classId, int individualId, Set<Annotation> annotations)
classId
- class identifier in the axiomindividualId
- individual identifier in the axiomannotations
- annotationsRangeAxiom createRangeAxiom(int propertyId, int classId, Set<Annotation> annotations)
propertyId
- object property identifierclassId
- class identifierannotations
- annotationsRI1Axiom createRI1Axiom(int propertyId, Set<Annotation> annotations)
propertyId
- object property identifierannotations
- annotationsRI2Axiom createRI2Axiom(int leftPropertyId, int rightPropertyId, Set<Annotation> annotations)
leftPropertyId
- object property identifier for the left-hand part of the axiomrightPropertyId
- object property identifier for the right-hand part of the
axiomannotations
- annotationsRI3Axiom createRI3Axiom(int leftLeftPropertyId, int leftRightPropertyId, int rightPropertyId, Set<Annotation> annotations)
leftLeftPropertyId
- object property identifier for the left-hand object property
on the compositionleftRightPropertyId
- object property identifier for the right-hand object property
on the compositionrightPropertyId
- object property identifier for super object propertyannotations
- annotationsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.