public class FOConstraintBuilder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static SPARQLVariableFactory |
vf |
Constructor and Description |
---|
FOConstraintBuilder() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<FOFormula> |
classCwaConstraint(java.util.Collection<IRI> clazzez,
ConstraintProvenanceInfo provenanceInfo)
Only the classes listed in are allowed for typing.
|
static java.util.List<FOFormula> |
classKeyConstraint(IRI clazz,
Key key,
ConstraintProvenanceInfo provenanceInfo) |
static java.util.List<FOFormula> |
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> |
domainConstraint(IRI clazz,
IRI prop,
IRI domain,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
maxConstraint(IRI clazz,
IRI prop,
int n,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
minConstraint(IRI clazz,
IRI prop,
int n,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
partialityConstraint(IRI clazz,
IRI prop,
ConstraintProvenanceInfo provenanceInfo)
The partiality constraint is syntactic sugar for MAX 1.
|
static java.util.List<FOFormula> |
pathConstraint(IRI clazz,
IRI prop,
java.util.List<IRI> path,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
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> |
rangeConstraint(IRI clazz,
IRI prop,
IRI range,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
rangeTypeConstraint(IRI clazz,
IRIWithRangeType propWithRangeType,
ConstraintProvenanceInfo provenanceInfo)
Range type constraint, covered through dedicated relations in FOL.
|
static java.util.List<FOFormula> |
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> |
totalityConstraint(IRI clazz,
IRI prop,
ConstraintProvenanceInfo provenanceInfo)
The partiality constraint is syntactic sugar MIN 1 & MAX 1.
|
public static SPARQLVariableFactory vf
public static java.util.List<FOFormula> domainConstraint(IRI clazz, IRI prop, IRI domain, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> rangeConstraint(IRI clazz, IRI prop, IRI range, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> maxConstraint(IRI clazz, IRI prop, int n, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> minConstraint(IRI clazz, IRI prop, int n, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> partialityConstraint(IRI clazz, IRI prop, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> totalityConstraint(IRI clazz, IRI prop, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> pathConstraint(IRI clazz, IRI prop, java.util.List<IRI> path, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> rangeTypeConstraint(IRI clazz, IRIWithRangeType propWithRangeType, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> subPropertyConstraint(IRI clazz, IRI prop, java.util.Collection<IRI> subProps, Environment e, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> propertyCwaConstraint(IRI clazz, java.util.Collection<IRI> props, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> classCwaConstraint(java.util.Collection<IRI> clazzez, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> classSingletonConstraint(IRI clazz, ConstraintProvenanceInfo provenanceInfo)
public static java.util.List<FOFormula> classKeyConstraint(IRI clazz, Key key, ConstraintProvenanceInfo provenanceInfo)