Rewrite example 1 in Turtle syntax

Personally it is better documented, easier to read and to write.

2 files changed, 55 insertions, 0 deletions

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>
diff --git a/examples/example1.ttl b/examples/example1.ttl
new file mode 100644
index 0000000..8862f88
--- /dev/null
+++ b/examples/example1.ttl
@@ -0,0 +1,51 @@
+
+@prefix : <http://example.com/rsa_example.owl#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@base <http://example.com/rsa_example.owl> .
+
+# A ⊑ D
+# A ⊑ ∃ S⁻.C
+# ∃ S.A ⊑ D
+# D ⊑ ∃ R.B
+# B ⊑ ∃ S.D
+# R ⊑ T⁻
+# S ⊑ T 
+# 
+# a : A
+
+:A  rdf:type        owl:Class ;
+    rdfs:subClassOf :D ;
+    rdfs:subClassOf [ rdf:type owl:Restriction ;
+                               owl:onProperty [ owl:inverseOf :S ] ;
+                               owl:someValuesFrom :C
+                    ] .
+
+[ rdf:type  owl:Restriction ;
+            owl:onProperty  :S  ;
+            owl:someValuesFrom  :B
+] rdfs:subClassOf :D .
+
+:D  rdf:type        owl:Class ;
+    rdfs:subClassOf [ rdf:type owl:Restriction ;
+                               owl:onProperty :R ;
+                               owl:someValuesFrom :B
+                    ] .
+
+:B  rdf:type        owl:Class ;
+    rdfs:subClassOf [ rdf:type owl:Restriction ;
+                               owl:onProperty :S ;
+                               owl:someValuesFrom :D
+                    ] .
+
+:R  rdf:type owl:ObjectProperty ;
+    rdfs:subPropertyOf [ owl:inverseOf :T ] .
+
+:S  rdf:type owl:ObjectProperty ;
+    rdfs:subPropertyOf :T .
+
+:a rdf:type :A .
+