diff options
author | David Robillard <d@drobilla.net> | 2018-05-27 15:48:25 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2022-01-28 21:57:29 -0500 |
commit | f93a441065a611cc32874dde67e53a8295c87baf (patch) | |
tree | 3793e2df1c365bf93fbe700c9428b54668f08c53 /test/validate/good-union-of.ttl | |
parent | 2c5bee49b4494e172c4fa147af91bad199ed9362 (diff) | |
download | serd-f93a441065a611cc32874dde67e53a8295c87baf.tar.gz serd-f93a441065a611cc32874dde67e53a8295c87baf.tar.bz2 serd-f93a441065a611cc32874dde67e53a8295c87baf.zip |
[WIP] Add validation
Diffstat (limited to 'test/validate/good-union-of.ttl')
-rw-r--r-- | test/validate/good-union-of.ttl | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/test/validate/good-union-of.ttl b/test/validate/good-union-of.ttl new file mode 100644 index 00000000..67901f94 --- /dev/null +++ b/test/validate/good-union-of.ttl @@ -0,0 +1,51 @@ +@prefix eg: <http://example.org/> . +@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 xsd: <http://www.w3.org/2001/XMLSchema#> . + +eg:index + a rdf:Property ; + rdfs:label "index" . + +eg:name + a rdf:Property ; + rdfs:label "name" . + +eg:ThingWithIndex + a rdfs:Class ; + rdfs:label "Thing With Index" ; + rdfs:subClassOf [ + a owl:Restriction ; + owl:onProperty eg:index ; + owl:minCardinality 1 + ] . + +eg:ThingWithName + a rdfs:Class ; + rdfs:label "Thing With Name" ; + rdfs:subClassOf [ + a owl:Restriction ; + owl:onProperty eg:name ; + owl:minCardinality 1 + ] . + +eg:something + a rdf:Property ; + rdfs:label "something" ; + rdfs:range [ + owl:unionOf ( + eg:ThingWithIndex + eg:ThingWithName + ) + ] . + +eg:s1 + eg:something [ + eg:index 42 + ] . + +eg:s2 + eg:something [ + eg:name "ess" + ] . |