From 4fea4e28b789a26a456a404a2dd0f182d78d9502 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 10 Nov 2020 10:41:26 +0000
Subject: Rewrite example 1 in Turtle syntax

Personally it is better documented, easier to read and to write.
---
 examples/example1.owl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'examples/example1.owl')

diff --git a/examples/example1.owl b/examples/example1.owl
index 75a464e..605d96e 100644
--- a/examples/example1.owl
+++ b/examples/example1.owl
@@ -14,6 +14,8 @@
     B ⊑ ∃ S.D
     R ⊑ T⁻
     S ⊑ T 
+
+    a : A
     -->
 
     <owl:Class rdf:ID="A">
@@ -77,4 +79,6 @@
         <rdfs:subPropertyOf rdf:resource="#T" />
     </owl:ObjectProperty> 
 
+    <A rdf:about="#a"> </A>
+
 </rdf:RDF>
-- 
cgit v1.2.3