Modifier and Type | Field and Description |
---|---|
java.util.Map<IRI,RDDEvaluationResult.RDDConstraintEvaluationResult> |
RDDEvaluationResult.StructuredRDDConstraintEvaluationResult.classCWAConstraintMap |
java.util.Map<IRI,java.util.List<RDDEvaluationResult.RDDConstraintEvaluationResult>> |
RDDEvaluationResult.StructuredRDDConstraintEvaluationResult.classKeyConstraintsMap |
java.util.Map<IRI,RDDEvaluationResult.RDDConstraintEvaluationResult> |
RDDEvaluationResult.StructuredRDDConstraintEvaluationResult.classSingletonConstraintMap |
java.util.Map<IRI,java.util.List<RDDEvaluationResult.RDDConstraintEvaluationResult>> |
RDDEvaluationResult.StructuredRDDConstraintEvaluationResult.qualifiedPropConstraintsMap |
Modifier and Type | Method and Description |
---|---|
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.
|
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!
|
java.util.List<FOFormula> |
FOConvertableInContext.toFOL(IRI clazz,
Environment e) |
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 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.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.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!
|
Constructor and Description |
---|
FODatatype(FOIRIOrSPARQLVariable elem,
IRI datatype) |
FOIRIOrSPARQLVariable(IRI iri) |
FOTriple(IRI subject,
IRI predicate,
IRI object) |
FOTriple(IRI subject,
IRI predicate,
SPARQLVariable object) |
FOTriple(IRI subject,
SPARQLVariable predicate,
IRI object) |
FOTriple(IRI subject,
SPARQLVariable predicate,
SPARQLVariable object) |
FOTriple(SPARQLVariable subject,
IRI predicate,
IRI object) |
FOTriple(SPARQLVariable subject,
IRI predicate,
SPARQLVariable object) |
FOTriple(SPARQLVariable subject,
SPARQLVariable predicate,
IRI object) |
Modifier and Type | Field and Description |
---|---|
IRI |
RangeTypeLiteral.datatype |
Modifier and Type | Method and Description |
---|---|
IRI |
ClassConstraint.getClazz() |
IRI |
RangeTypeLiteral.getDatatype() |
IRI |
DomainConstraint.getDomain() |
IRI |
IRIWithRangeType.getIRI() |
IRI |
RangeConstraint.getRange() |
Modifier and Type | Method and Description |
---|---|
java.util.List<IRI> |
PathConstraint.getPath() |
java.util.List<IRI> |
ClassConstraint.getSubClazzes() |
java.util.List<IRI> |
SubPropertyConstraint.getSubProps() |
java.util.Collection<IRI> |
PropConstraintSec.mentionedProps() |
java.util.Collection<IRI> |
ClassConstraint.mentionedProps() |
Modifier and Type | Method and Description |
---|---|
void |
IRIWithRangeType.setIRI(IRI iri) |
java.util.List<FOFormula> |
TotalityConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
SubPropertyConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
RangeConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PropConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PathConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PartialityConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
MinConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
MaxConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
DomainConstraint.toFOL(IRI clazz,
Environment e) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOFormula> |
ClassConstraint.toFOL(Environment e,
java.util.Set<IRI> handled)
Helper method for the evaluation phase, maintaining a list of handled
classes to break endless recursion in case of cyclic class hierarchies.
|
Constructor and Description |
---|
ClassConstraint(IRI clazz,
ClassConstraint classConstraint)
Copy constructor for replication.
|
ClassConstraint(WA wa,
boolean isSingleton,
IRI clazz,
java.util.List<IRI> subClazzes,
java.util.List<PropConstraint> qpcs,
java.util.List<Key> keys) |
DomainConstraint(IRI domain) |
IRIWithRangeType(IRI iri,
RangeType rangeType) |
RangeConstraint(IRI range) |
RangeTypeLiteral(IRI datatype) |
Constructor and Description |
---|
ClassConstraint(WA wa,
boolean isSingleton,
IRI clazz,
java.util.List<IRI> subClazzes,
java.util.List<PropConstraint> qpcs,
java.util.List<Key> keys) |
PathConstraint(java.util.List<IRI> path) |
SubPropertyConstraint(java.util.List<IRI> subProps) |
Modifier and Type | Method and Description |
---|---|
IRI |
RDDParser.IRI_REF() |
IRI |
RDDParser.IRIref() |
IRI |
RDDParser.PrefixedName() |
Modifier and Type | Method and Description |
---|---|
java.util.List<IRI> |
RDDParser.IRIrefList() |
java.util.List<IRI> |
RDDParser.IRIrefSeq() |
Modifier and Type | Method and Description |
---|---|
IRI |
ConstraintProvenanceInfo.getReferredClass() |
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and Description |
---|
ConstraintProvenanceInfo(java.lang.String constraintRep,
ConstraintProvenanceInfo.ConstraintClass constraintClass,
IRI referredClass,
edu.freiburg.dbis.rdd.provenance.ConstraintProvenanceInfo.PropConstraintClass propConstraintClass) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<IRI> |
Environment.A(IRI clazz)
Access to the class properties (non-recursive).
|
java.util.Collection<IRI> |
Environment.C(IRI clazz)
Access to the subclass hierarchy (non-recursive).
|
java.util.Collection<IRI> |
Environment.P(IRI property)
Access to the subproperty hierarchy (non-recursive).
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<IRI> |
Environment.A(IRI clazz)
Access to the class properties (non-recursive).
|
java.util.Collection<IRI> |
Environment.C(IRI clazz)
Access to the subclass hierarchy (non-recursive).
|
java.util.Collection<IRI> |
Environment.P(IRI property)
Access to the subproperty hierarchy (non-recursive).
|
Modifier and Type | Method and Description |
---|---|
static IRI |
IRI.fromPrefixedIri(java.lang.String prefixedIri)
Constructs a IRI from a prefixed IRI string using the
PrefixManager |
static IRI |
IRI.fromSparqlIri(java.lang.String fullIri)
Constructs a IRI from a SPARQL IRI such as
|