Package | Description |
---|---|
edu.freiburg.dbis.rdd | |
edu.freiburg.dbis.rdd.fol | |
edu.freiburg.dbis.rdd.provenance |
Modifier and Type | Method and Description |
---|---|
ConstraintProvenanceInfo |
RDDEvaluationResult.RDDConstraintEvaluationResult.getProvenanceInfo() |
Modifier and Type | Method and Description |
---|---|
void |
RDDEvaluationResult.recordNextRDDConstraintEvaluation(ConstraintProvenanceInfo constraint) |
Constructor and Description |
---|
RDDEvaluationResult.RDDConstraintEvaluationResult(ConstraintProvenanceInfo provenanceInfo) |
Modifier and Type | Method and Description |
---|---|
ConstraintProvenanceInfo |
FOFormula.getProvenanceInfo() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<FOFormula> |
FOConstraintBuilder.classCwaConstraint(java.util.Collection<IRI> clazzez,
ConstraintProvenanceInfo provenanceInfo)
Only the classes listed in are allowed for typing.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.classKeyConstraint(IRI clazz,
Key key,
ConstraintProvenanceInfo provenanceInfo) |
static java.util.List<FOFormula> |
FOConstraintBuilder.classSingletonConstraint(IRI clazz,
ConstraintProvenanceInfo provenanceInfo)
Formula: forall s1, s2 (T(s1, rdf:type, C), T(s2, rdf:type, C) -> s1 = s2)
|
static java.util.List<FOFormula> |
FOConstraintBuilder.domainConstraint(IRI clazz,
IRI prop,
IRI domain,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.maxConstraint(IRI clazz,
IRI prop,
int n,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.minConstraint(IRI clazz,
IRI prop,
int n,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.partialityConstraint(IRI clazz,
IRI prop,
ConstraintProvenanceInfo provenanceInfo)
The partiality constraint is syntactic sugar for MAX 1.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.pathConstraint(IRI clazz,
IRI prop,
java.util.List<IRI> path,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.propertyCwaConstraint(IRI clazz,
java.util.Collection<IRI> props,
ConstraintProvenanceInfo provenanceInfo)
Only the properties listed in the PROPERTIES sections are allowed
to occur in the dataset.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.rangeConstraint(IRI clazz,
IRI prop,
IRI range,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.rangeTypeConstraint(IRI clazz,
IRIWithRangeType propWithRangeType,
ConstraintProvenanceInfo provenanceInfo)
Range type constraint, covered through dedicated relations in FOL.
|
void |
FOFormula.setProvenanceInfo(ConstraintProvenanceInfo provenanceInfo) |
static java.util.List<FOFormula> |
FOConstraintBuilder.subPropertyConstraint(IRI clazz,
IRI prop,
java.util.Collection<IRI> subProps,
Environment e,
ConstraintProvenanceInfo provenanceInfo)
Unqualified: induces one constraint, recursively for every subproperty p_s
(clazz==null): forall s, o (T(s, p_s, o) -> T(s, p, o))
Qualified: induces one constraint, recursively for every subproperty p_s
(clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.totalityConstraint(IRI clazz,
IRI prop,
ConstraintProvenanceInfo provenanceInfo)
The partiality constraint is syntactic sugar MIN 1 & MAX 1.
|
Modifier and Type | Method and Description |
---|---|
static ConstraintProvenanceInfo |
ConstraintProvenanceStringBuilder.classCwaConstraint() |
static ConstraintProvenanceInfo |
ConstraintProvenanceStringBuilder.classKeyConstraint(IRI clazz,
Key key) |
static ConstraintProvenanceInfo |
ConstraintProvenanceStringBuilder.classSingletonConstraint(IRI clazz) |
static ConstraintProvenanceInfo |
ConstraintProvenanceStringBuilder.propertyConstraint(IRI clazz,
PropConstraint constraint) |
static ConstraintProvenanceInfo |
ConstraintProvenanceStringBuilder.propertyCWAConstraint(IRI clazz) |
static ConstraintProvenanceInfo |
ConstraintProvenanceStringBuilder.rangeTypeConstraint(IRI clazz,
PropConstraint constraint) |