From 7b954f5667e82de1b64984a9aeb26b8ebb5cab81 Mon Sep 17 00:00:00 2001
From: David Robillard <d@drobilla.net>
Date: Mon, 8 Mar 2021 23:25:35 -0500
Subject: WIP: Validation

---
 test/validate/bad-superclass-restriction.ttl | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 test/validate/bad-superclass-restriction.ttl

(limited to 'test/validate/bad-superclass-restriction.ttl')

diff --git a/test/validate/bad-superclass-restriction.ttl b/test/validate/bad-superclass-restriction.ttl
new file mode 100644
index 00000000..bd820de4
--- /dev/null
+++ b/test/validate/bad-superclass-restriction.ttl
@@ -0,0 +1,22 @@
+@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#> .
+
+eg:SuperThing
+	a rdfs:Class ;
+	rdfs:label "SuperThing" ;
+	rdfs:subClassOf [
+		a owl:Restriction ;
+		owl:onProperty rdf:value ;
+		owl:minCardinality 1
+	] .
+
+eg:Thing
+	a rdfs:Class ;
+	rdfs:label "Thing" ;
+	rdfs:subClassOf eg:SuperThing .
+
+eg:s
+	a eg:Thing .
+
-- 
cgit v1.2.1