Data Requirements Consistency Checks - Revision history

Cfuerber at 12:37, 27 February 2015

2015-02-27T12:37:43Z

← Older revision		Revision as of 12:37, 27 February 2015
Line 6:		Line 6:
	PREFIX rdfs:<http://www.w3.org/2000/01/rdf-schema#>		PREFIX rdfs:<http://www.w3.org/2000/01/rdf-schema#>

−	SELECT (?genprop AS ?GenericProperty) (?dr1 AS ?UniqueRequirement) (?dr2 AS ?NonUniqueRequirement)	+	SELECT
		+	(?genprop AS ?GenericProperty)
		+	(?dr1 AS ?UniqueRequirement)
		+	(?dr2 AS ?NonUniqueRequirement)
	WHERE{		WHERE{
	?dr1 a dqm:UniqueValueRule .		?dr1 a dqm:UniqueValueRule .

Cfuerber at 12:36, 27 February 2015

2015-02-27T12:36:35Z

← Older revision		Revision as of 12:36, 27 February 2015
Line 1:		Line 1:
	==Contradictory Unique Value Rules==		==Contradictory Unique Value Rules==

−	'''~~Without~~ generic superproperty'''	+	'''With generic superproperty'''
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
	PREFIX rdfs:<http://www.w3.org/2000/01/rdf-schema#>		PREFIX rdfs:<http://www.w3.org/2000/01/rdf-schema#>

−	SELECT (?dr1 AS ?UniqueRequirement) (?dr2 AS ?NonUniqueRequirement)	+	SELECT (?genprop AS ?GenericProperty) (?dr1 AS ?UniqueRequirement) (?dr2 AS ?NonUniqueRequirement)
	WHERE{		WHERE{
	?dr1 a dqm:UniqueValueRule .		?dr1 a dqm:UniqueValueRule .

Cfuerber at 12:35, 27 February 2015

2015-02-27T12:35:19Z

← Older revision		Revision as of 12:35, 27 February 2015
Line 4:		Line 4:
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
−	~~prefix~~ rdfs:<http://www.w3.org/2000/01/rdf-schema#>	+	PREFIX rdfs:<http://www.w3.org/2000/01/rdf-schema#>

	SELECT (?dr1 AS ?UniqueRequirement) (?dr2 AS ?NonUniqueRequirement)		SELECT (?dr1 AS ?UniqueRequirement) (?dr2 AS ?NonUniqueRequirement)

Cfuerber at 12:34, 27 February 2015

2015-02-27T12:34:59Z

← Older revision		Revision as of 12:34, 27 February 2015
Line 1:		Line 1:
	==Contradictory Unique Value Rules==		==Contradictory Unique Value Rules==
		+
		+	'''Without generic superproperty'''
		+	<syntaxhighlight lang="n3">
		+	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
		+	prefix rdfs:<http://www.w3.org/2000/01/rdf-schema#>
		+
		+	SELECT (?dr1 AS ?UniqueRequirement) (?dr2 AS ?NonUniqueRequirement)
		+	WHERE{
		+	?dr1 a dqm:UniqueValueRule .
		+	?dr1 dqm:testedClass ?class1 .
		+	?class1 rdfs:subClassOf ?genclass .
		+	?class1 dqm:hasURI ?class1URI .
		+	?dr1 dqm:testedProperty1 ?prop1 .
		+	?prop1 rdfs:subPropertyOf ?genprop .
		+	?prop1 dqm:hasURI ?prop1URI .
		+	OPTIONAL{
		+	?dr2 a dqm:PropertyRequirement .
		+	?dr2 dqm:testedClass ?class2 .
		+	?class2 rdfs:subClassOf ?genclass .
		+	?class2 dqm:hasURI ?class2URI .
		+	?dr2 dqm:testedProperty1 ?prop2 .
		+	?prop2 rdfs:subPropertyOf ?genprop .
		+	?prop2 dqm:hasURI ?prop2URI .
		+	FILTER(?dr1 != ?dr2)
		+	MINUS{
		+	?dr2 a dqm:UniqueValueRule
		+	}
		+	}
		+	FILTER(bound(?dr2))
		+	}
		+	</syntaxhighlight>
		+	'''Without generic superproperty'''
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
Line 57:		Line 89:
	}		}
	}		}
−	<syntaxhighlight>	+	</syntaxhighlight>

Cfuerber: /* Contradictory Unique Value Rules */

2012-06-18T16:58:18Z

Contradictory Unique Value Rules

← Older revision		Revision as of 16:58, 18 June 2012
Line 2:		Line 2:
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
−	SELECT (?s AS ?~~uniquevaluereq~~) (?s2 AS ?~~nonuniquenessreq~~)	+	SELECT (?dr1 AS ?UniqueValueRequirement) (?dr2 AS ?InconsistentRequirement)
	WHERE{		WHERE{
	?dr1 a dqm:UniqueValueRule .		?dr1 a dqm:UniqueValueRule .
Line 15:		Line 15:
	?dr2 dqm:testedProperty1 ?prop2 .		?dr2 dqm:testedProperty1 ?prop2 .
	?prop2 dqm:hasURI ?prop2URI .		?prop2 dqm:hasURI ?prop2URI .
−	FILTER(str(?prop1URI) = str(?prop2URI) && str(?class1URI) = str(?class2URI) && dr1 != dr2)	+	FILTER(str(?prop1URI) = str(?prop2URI) && str(?class1URI) = str(?class2URI) && ?dr1 != ?dr2)
	MINUS{		MINUS{
−	dr2 a dqm:UniqueValueRule	+	?dr2 a dqm:UniqueValueRule
	}		}
	}		}

Cfuerber: /* Contradictory Unique Value Rules */

2012-06-18T16:56:21Z

Contradictory Unique Value Rules

← Older revision		Revision as of 16:56, 18 June 2012
Line 4:		Line 4:
	SELECT (?s AS ?uniquevaluereq) (?s2 AS ?nonuniquenessreq)		SELECT (?s AS ?uniquevaluereq) (?s2 AS ?nonuniquenessreq)
	WHERE{		WHERE{
−	?s a dqm:UniqueValueRule .	+	?dr1 a dqm:UniqueValueRule .
−	?s dqm:testedClass ?class1 .	+	?dr1 dqm:testedClass ?class1 .
	?class1 dqm:hasURI ?class1URI .		?class1 dqm:hasURI ?class1URI .
−	?s dqm:testedProperty1 ?prop1 .	+	?dr1 dqm:testedProperty1 ?prop1 .
	?prop1 dqm:hasURI ?prop1URI .		?prop1 dqm:hasURI ?prop1URI .
	OPTIONAL{		OPTIONAL{
−	?s2 a dqm:PropertyRequirement .	+	?dr2 a dqm:PropertyRequirement .
−	?s2 dqm:testedClass ?class2 .	+	?dr2 dqm:testedClass ?class2 .
	?class2 dqm:hasURI ?class2URI .		?class2 dqm:hasURI ?class2URI .
−	?s2 dqm:testedProperty1 ?prop2 .	+	?dr2 dqm:testedProperty1 ?prop2 .
	?prop2 dqm:hasURI ?prop2URI .		?prop2 dqm:hasURI ?prop2URI .
−	FILTER(str(?prop1URI) = str(?prop2URI) && str(?class1URI) = str(?class2URI) && ?s != ~~?s2~~)	+	FILTER(str(?prop1URI) = str(?prop2URI) && str(?class1URI) = str(?class2URI) && dr1 != dr2)
	MINUS{		MINUS{
−	~~?s2~~ a dqm:UniqueValueRule	+	dr2 a dqm:UniqueValueRule
	}		}
	}		}
Line 23:		Line 23:
	}		}
	</syntaxhighlight>		</syntaxhighlight>
−

	==Duplicate Property Requirements==		==Duplicate Property Requirements==

Cfuerber: /* Duplicate Property Requirements */

2012-06-18T16:23:50Z

Duplicate Property Requirements

← Older revision		Revision as of 16:23, 18 June 2012
Line 28:		Line 28:
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
−	~~PREFIX xsd:<http://www.w3.org/2001/XMLSchema#>~~
	SELECT (?tclassURI1 AS ?Class) (?tpropURI1 AS ?Property) (?dr1 AS ?DataRequirement)		SELECT (?tclassURI1 AS ?Class) (?tpropURI1 AS ?Property) (?dr1 AS ?DataRequirement)
	WHERE {		WHERE {
−	?dr1 a dqm:PropertyRequirement .	+	?dr1 a dqm:PropertyRequirement .
−	?dr1 dqm:testedClass ?tclass1 .	+	?dr1 dqm:testedClass ?tclass1 .
−	?tclass1 dqm:hasURI ?tclassURI1 .	+	?tclass1 dqm:hasURI ?tclassURI1 .
−	?dr1 dqm:testedProperty1 ?tprop1 .	+	?dr1 dqm:testedProperty1 ?tprop1 .
−	?tprop1 dqm:hasURI ?tpropURI1 .	+	?tprop1 dqm:hasURI ?tpropURI1 .
	}		}
	ORDER BY ?tclassURI1 ?tpropURI1 ?dr1		ORDER BY ?tclassURI1 ?tpropURI1 ?dr1
−	<syntaxhighlight>	+	</syntaxhighlight>

	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">

Cfuerber at 16:23, 18 June 2012

2012-06-18T16:23:15Z

← Older revision		Revision as of 16:23, 18 June 2012
Line 26:		Line 26:

	==Duplicate Property Requirements==		==Duplicate Property Requirements==
		+	<syntaxhighlight lang="n3">
		+	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
		+	PREFIX xsd:<http://www.w3.org/2001/XMLSchema#>
		+	SELECT (?tclassURI1 AS ?Class) (?tpropURI1 AS ?Property) (?dr1 AS ?DataRequirement)
		+	WHERE {
		+	?dr1 a dqm:PropertyRequirement .
		+	?dr1 dqm:testedClass ?tclass1 .
		+	?tclass1 dqm:hasURI ?tclassURI1 .
		+	?dr1 dqm:testedProperty1 ?tprop1 .
		+	?tprop1 dqm:hasURI ?tpropURI1 .
		+	}
		+	ORDER BY ?tclassURI1 ?tpropURI1 ?dr1
		+	<syntaxhighlight>
		+
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>

Cfuerber at 16:10, 18 June 2012

2012-06-18T16:10:10Z

← Older revision		Revision as of 16:10, 18 June 2012
Line 23:		Line 23:
	}		}
	</syntaxhighlight>		</syntaxhighlight>
		+
		+
		+	==Duplicate Property Requirements==
		+	<syntaxhighlight lang="n3">
		+	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>
		+	PREFIX xsd:<http://www.w3.org/2001/XMLSchema#>
		+	SELECT ?dr1 ?dr2
		+	WHERE {
		+	?dr1 a dqm:PropertyRequirement .
		+	?dr1 dqm:testedClass ?tclass1 .
		+	?tclass1 dqm:hasURI ?tclassURI1 .
		+	?dr1 dqm:testedProperty1 ?tprop1 .
		+	?tprop1 dqm:hasURI ?tpropURI1 .
		+	OPTIONAL{
		+	?dr2 a dqm:PropertyRequirement .
		+	?dr2 dqm:testedClass ?tclass2 .
		+	?tclass2 dqm:hasURI ?tclassURI2 .
		+	?dr2 dqm:testedProperty1 ?tprop2 .
		+	?tprop2 dqm:hasURI ?tpropURI2 .
		+	FILTER(?dr1!=?dr2 && str(?tclassURI1) = str(?tclassURI2) && str(?tpropURI1) = str(?tpropURI2))
		+	}
		+	}
		+	<syntaxhighlight>

Cfuerber at 10:43, 17 June 2012

2012-06-17T10:43:15Z

← Older revision		Revision as of 10:43, 17 June 2012
Line 1:		Line 1:
		+	==Contradictory Unique Value Rules==
	<syntaxhighlight lang="n3">		<syntaxhighlight lang="n3">
	PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>		PREFIX dqm:<http://purl.org/dqm-vocabulary/v1.1/dqm#>