From 56a3cc7f1a2d1dc85a262f2648cf246197684caf Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 17 Aug 2020 14:30:50 +0100
Subject: Add simple examples

---
 examples/example1.owl | 80 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 80 insertions(+)
 create mode 100644 examples/example1.owl

(limited to 'examples/example1.owl')

diff --git a/examples/example1.owl b/examples/example1.owl
new file mode 100644
index 0000000..88de981
--- /dev/null
+++ b/examples/example1.owl
@@ -0,0 +1,80 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<rdf:RDF
+  xml:base = "http://example.com/rsa_example.owl#"
+  xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
+  xmlns:owl="http://www.w3.org/2002/07/owl#"
+>
+
+    <!--
+    A ⊑ D
+    A ⊑ ∃ S⁻.C
+    ∃ S.A ⊑ D
+    D ⊑ ∃ R.B
+    B ⊑ ∃ S.D
+    R ⊑ T⁻
+    S ⊑ T 
+    -->
+
+    <owl:Class rdf:ID="A">
+        <rdfs:subClassOf rdf:resource="#D" />
+    </owl:Class>
+
+    <owl:Class rdf:ID="A">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty>
+                    <owl:ObjectProperty>
+                        <owl:inverseOf rdf:resource="#S" />
+                    </owl:ObjectProperty>
+                </owl:onProperty>
+                <owl:someValuesFrom>
+                    <owl:Class rdf:about="#C" /> 
+                </owl:someValuesFrom>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+
+    <owl:Restriction>
+        <owl:onProperty rdf:resource="#S"/> 
+        <owl:someValuesFrom>
+            <owl:Class rdf:about="#A" /> 
+        </owl:someValuesFrom>
+        <rdfs:subClassOf rdf:resource="#D" />
+    </owl:Restriction>
+
+    <owl:Class rdf:ID="D">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="#R"/> 
+                <owl:someValuesFrom>
+                    <owl:Class rdf:about="#B" /> 
+                </owl:someValuesFrom>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+
+    <owl:Class rdf:ID="B">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="#S"/> 
+                <owl:someValuesFrom>
+                    <owl:Class rdf:about="#D" /> 
+                </owl:someValuesFrom>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+
+    <owl:ObjectProperty rdf:ID="R">
+        <rdfs:subPropertyOf>
+            <owl:ObjectProperty>
+                <owl:inverseOf rdf:resource="#T" />
+            </owl:ObjectProperty> 
+        </rdfs:subPropertyOf>
+    </owl:ObjectProperty>
+
+    <owl:ObjectProperty rdf:ID="S">
+        <rdfs:subPropertyOf rdf:resource="#T" />
+    </owl:ObjectProperty> 
+
+</rdf:RDF>
\ No newline at end of file
-- 
cgit v1.2.3