diff options
Diffstat (limited to 'test/validate/bad-union-of.ttl')
-rw-r--r-- | test/validate/bad-union-of.ttl | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/test/validate/bad-union-of.ttl b/test/validate/bad-union-of.ttl new file mode 100644 index 00000000..0198ce1d --- /dev/null +++ b/test/validate/bad-union-of.ttl @@ -0,0 +1,46 @@ +@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 [ + rdfs:label "s1" + ] . |