[WIP] Add validation

1 files changed, 362 insertions, 0 deletions

diff --git a/test/validate/manifest.ttl b/test/validate/manifest.ttl
new file mode 100644
index 00000000..c2e9988a
--- /dev/null
+++ b/test/validate/manifest.ttl
@@ -0,0 +1,362 @@
+@prefix checks: <http://drobilla.net/ns/serd/checks#> .
+@prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix rdft: <http://www.w3.org/ns/rdftest#> .
+@prefix serd: <http://drobilla.net/ns/serd#> .
+
+rdft:Test
+	a rdfs:Class ;
+	rdfs:subClassOf mf:ManifestEntry .
+
+serd:TestTurtleNegativeValidate
+	a rdfs:Class ;
+	rdfs:label "Turtle Negative Validation" ;
+	rdfs:subClassOf rdft:Test ,
+	[
+		a owl:Restriction ;
+		owl:onProperty serd:triggersCheck ;
+		owl:minCardinality 1
+	] .
+
+serd:TestTurtlePositiveValidate
+	a rdfs:Class ;
+	rdfs:label "Turtle Positive Validation" ;
+	rdfs:subClassOf rdft:Test .
+
+serd:triggersCheck
+	a rdf:Property ;
+	rdfs:label "triggers check" ;
+	rdfs:range serd:ValidatorCheck .
+
+serd:triggersCheck
+	a rdf:Property ;
+	rdfs:label "triggers check" ;
+	rdfs:range serd:ValidatorCheck .
+
+<>
+	a mf:Manifest ;
+	rdfs:comment "Serd validation test cases" ;
+	mf:entries (
+		<#bad-all-values-from>
+		<#bad-anyuri>
+		<#bad-cardinality-high>
+		<#bad-cardinality-low>
+		<#bad-cardinality>
+		<#bad-datatype-cycle>
+		<#bad-datatype-property>
+		<#bad-deprecated-class>
+		<#bad-deprecated-property>
+		<#bad-domain>
+		<#bad-functional-property>
+		<#bad-inverse-functional-property>
+		<#bad-literal-pattern>
+		<#bad-literal-value-high-exclusive>
+		<#bad-literal-value-high-inclusive>
+		<#bad-literal-value-low-exclusive>
+		<#bad-literal-value-low-inclusive>
+		<#bad-literal-value>
+		<#bad-object-property>
+		<#bad-pattern>
+		<#bad-plain-literal>
+		<#bad-predicate-type-undefined>
+		<#bad-predicate-type>
+		<#bad-range-instance-not-literal>
+		<#bad-range-instance>
+		<#bad-range-literal-not-instance>
+		<#bad-range-literal>
+		<#bad-some-values-from>
+		<#bad-string-literal-value-high>
+		<#bad-string-literal-value-low>
+		<#bad-subclass-cycle>
+		<#bad-subproperty-cycle>
+		<#bad-superclass-restriction>
+		<#bad-union-of>
+		<#bad-unknown-datatype>
+		<#good-anyuri>
+		<#good-cardinality>
+		<#good-literal-value-high-inclusive>
+		<#good-literal-value-low-inclusive>
+		<#good-owl-thing>
+		<#good-pattern>
+		<#good-rdfs-resource>
+		<#good-some-values-from>
+		<#good-string-literal-value-low>
+		<#good-union-of>
+	) .
+
+<#bad-all-values-from>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:allValuesFrom ,
+		checks:instanceType ;
+	serd:triggersCheck checks:literalPattern ;
+	serd:triggersCheck checks:literalRestriction ;
+	mf:name "bad-all-values-from" ;
+	mf:action <bad-all-values-from.ttl> .
+
+<#bad-anyuri>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:anyUri ,
+		checks:propertyRange ;
+	mf:name "bad-anyuri" ;
+	mf:action <bad-anyuri.ttl> .
+
+<#bad-cardinality-low>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:cardinalityMin ,
+		checks:instanceType ;
+	mf:name "bad-cardinality-low" ;
+	mf:action <bad-cardinality-low.ttl> .
+
+<#bad-cardinality-high>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:cardinalityMax ,
+		checks:instanceType ;
+	mf:name "bad-cardinality-high" ;
+	mf:action <bad-cardinality-high.ttl> .
+
+<#bad-cardinality>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:cardinalityEqual ,
+		checks:instanceType ;
+	mf:name "bad-cardinality" ;
+	mf:action <bad-cardinality.ttl> .
+
+<#bad-datatype-cycle>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:datatypeCycle ;
+	mf:name "bad-datatype-cycle" ;
+	mf:action <bad-datatype-cycle.ttl> .
+
+<#bad-datatype-property>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:datatypeProperty ;
+	mf:name "bad-datatype-property" ;
+	mf:action <bad-datatype-property.ttl> .
+
+<#bad-deprecated-class>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:deprecatedClass ;
+	mf:name "bad-deprecated-class" ;
+	mf:action <bad-deprecated-class.ttl> .
+
+<#bad-deprecated-property>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:deprecatedProperty ;
+	mf:name "bad-deprecated-property" ;
+	mf:action <bad-deprecated-property.ttl> .
+
+<#bad-domain>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:cardinalityEqual ,
+		checks:propertyDomain ;
+	mf:name "bad-domain" ;
+	mf:action <bad-domain.ttl> .
+
+<#bad-functional-property>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:functionalProperty ;
+	mf:name "bad-functional-property" ;
+	mf:action <bad-functional-property.ttl> .
+
+<#bad-inverse-functional-property>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:inverseFunctionalProperty ;
+	mf:name "bad-inverse-functional-property" ;
+	mf:action <bad-inverse-functional-property.ttl> .
+
+<#bad-literal-pattern>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalPattern ;
+	mf:name "bad-literal-pattern" ;
+	mf:action <bad-literal-pattern.ttl> .
+
+<#bad-literal-value-low-inclusive>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMinInclusive ;
+	mf:name "bad-literal-value-low-inclusive" ;
+	mf:action <bad-literal-value-low-inclusive.ttl> .
+
+<#bad-literal-value-high-inclusive>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMaxInclusive ;
+	mf:name "bad-literal-value-high-inclusive" ;
+	mf:action <bad-literal-value-high-inclusive.ttl> .
+
+<#bad-literal-value-low-exclusive>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMinExclusive ;
+	mf:name "bad-literal-value-low-exclusive" ;
+	mf:action <bad-literal-value-low-exclusive.ttl> .
+
+<#bad-literal-value-high-exclusive>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMaxExclusive ;
+	mf:name "bad-literal-value-high-exclusive" ;
+	mf:action <bad-literal-value-high-exclusive.ttl> .
+
+<#bad-literal-value>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalValue ;
+	mf:name "bad-literal-value" ;
+	mf:action <bad-literal-value.ttl> .
+
+<#bad-string-literal-value-low>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMinExclusive ;
+	mf:name "bad-string-literal-value-low" ;
+	mf:action <bad-string-literal-value-low.ttl> .
+
+<#bad-string-literal-value-high>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMaxExclusive ;
+	mf:name "bad-string-literal-value-high" ;
+	mf:action <bad-string-literal-value-high.ttl> .
+
+<#bad-subclass-cycle>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:classCycle ;
+	mf:name "bad-subclass-cycle" ;
+	mf:action <bad-subclass-cycle.ttl> .
+
+<#bad-subproperty-cycle>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:propertyCycle ;
+	mf:name "bad-subproperty-cycle" ;
+	mf:action <bad-subproperty-cycle.ttl> .
+
+<#bad-superclass-restriction>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:instanceType ,
+		checks:cardinalityMin ;
+	mf:name "bad-superclass-restriction" ;
+	mf:action <bad-superclass-restriction.ttl> .
+
+<#bad-object-property>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:objectProperty ;
+	mf:name "bad-object-property" ;
+	mf:action <bad-object-property.ttl> .
+
+<#bad-pattern>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalPattern ;
+	mf:name "bad-pattern" ;
+	mf:action <bad-pattern.ttl> .
+
+<#bad-plain-literal>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:plainLiteralDatatype ,
+		checks:propertyRange ;
+	mf:name "bad-plain-literal" ;
+	mf:action <bad-plain-literal.ttl> .
+
+<#bad-range-instance-not-literal>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:instanceLiteral ,
+		checks:propertyRange ;
+	mf:name "bad-range-instance-not-literal" ;
+	mf:action <bad-range-instance-not-literal.ttl> .
+
+<#bad-range-instance>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:cardinalityMin ,
+		checks:propertyRange ;
+	mf:name "bad-range-instance" ;
+	mf:action <bad-range-instance.ttl> .
+
+<#bad-range-literal-not-instance>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalInstance ,
+		checks:propertyRange ;
+	mf:name "bad-range-literal-not-instance" ;
+	mf:action <bad-range-literal-not-instance.ttl> .
+
+<#bad-range-literal>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:literalMaxInclusive ,
+		checks:propertyRange ;
+	mf:name "bad-range-literal" ;
+	mf:action <bad-range-literal.ttl> .
+
+<#bad-some-values-from>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:someValuesFrom ,
+		checks:instanceType ;
+	mf:name "bad-some-values-from" ;
+	mf:action <bad-some-values-from.ttl> .
+
+<#bad-union-of>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:propertyRange ;
+	mf:name "bad-union-of" ;
+	mf:action <bad-union-of.ttl> .
+
+<#bad-unknown-datatype>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:datatypeType ;
+	mf:name "bad-unknown-datatype" ;
+	mf:action <bad-unknown-datatype.ttl> .
+
+<#bad-predicate-type-undefined>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:predicateType ;
+	mf:name "bad-predicate-type-undefined" ;
+	mf:action <bad-predicate-type-undefined.ttl> .
+
+<#bad-predicate-type>
+	a serd:TestTurtleNegativeValidate ;
+	serd:triggersCheck checks:predicateType ;
+	mf:name "bad-predicate-type" ;
+	mf:action <bad-predicate-type.ttl> .
+
+<#good-anyuri>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-anyuri" ;
+	mf:action <good-anyuri.ttl> .
+
+<#good-cardinality>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-cardinality" ;
+	mf:action <good-cardinality.ttl> .
+
+<#good-literal-value-low-inclusive>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-literal-value-low-inclusive" ;
+	mf:action <good-literal-value-low-inclusive.ttl> .
+
+<#good-literal-value-high-inclusive>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-literal-value-high-inclusive" ;
+	mf:action <good-literal-value-high-inclusive.ttl> .
+
+<#good-some-values-from>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-some-values-from" ;
+	mf:action <good-some-values-from.ttl> .
+
+<#good-owl-thing>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-owl-thing" ;
+	mf:action <good-owl-thing.ttl> .
+
+<#good-pattern>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-pattern" ;
+	mf:action <good-pattern.ttl> .
+
+<#good-rdfs-resource>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-rdfs-resource" ;
+	mf:action <good-rdfs-resource.ttl> .
+
+<#good-string-literal-value-low>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-string-literal-value-low" ;
+	mf:action <good-string-literal-value-low.ttl> .
+
+<#good-union-of>
+	a serd:TestTurtlePositiveValidate ;
+	mf:name "good-union-of" ;
+	mf:action <good-union-of.ttl> .