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/example2.owl | 112 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 112 insertions(+)
 create mode 100644 examples/example2.owl

(limited to 'examples/example2.owl')

diff --git a/examples/example2.owl b/examples/example2.owl
new file mode 100644
index 0000000..f42f6c9
--- /dev/null
+++ b/examples/example2.owl
@@ -0,0 +1,112 @@
+<?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 ⊑ ∃ R.B
+    ∃ R⁻.X ⊑ Y
+    B ⊑ ∃ S.C
+    ∃ S⁻.X ⊑ Y
+    C ⊑ ∃ T.D
+    ∃ T⁻.X ⊑ Y
+    D ⊑ ∃ P.A
+    ∃ P⁻.X ⊑ Y
+    -->
+
+    <owl:Class rdf:ID="A">
+        <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:Restriction>
+        <owl:onProperty>
+            <owl:ObjectProperty>
+                <owl:inverseOf rdf:resource="#R" />
+            </owl:ObjectProperty>
+        </owl:onProperty>
+        <owl:someValuesFrom>
+            <owl:Class rdf:about="#X" /> 
+        </owl:someValuesFrom>
+        <rdfs:subClassOf rdf:resource="#Y" />
+    </owl:Restriction>
+
+    <owl:Class rdf:ID="B">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="#S"/> 
+                <owl:someValuesFrom>
+                    <owl:Class rdf:about="#C" /> 
+                </owl:someValuesFrom>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+
+    <owl:Restriction>
+        <owl:onProperty>
+            <owl:ObjectProperty>
+                <owl:inverseOf rdf:resource="#S" />
+            </owl:ObjectProperty>
+        </owl:onProperty>
+        <owl:someValuesFrom>
+            <owl:Class rdf:about="#X" /> 
+        </owl:someValuesFrom>
+        <rdfs:subClassOf rdf:resource="#Y" />
+    </owl:Restriction>
+
+    <owl:Class rdf:ID="C">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="#T"/> 
+                <owl:someValuesFrom>
+                    <owl:Class rdf:about="#D" /> 
+                </owl:someValuesFrom>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+
+    <owl:Restriction>
+        <owl:onProperty>
+            <owl:ObjectProperty>
+                <owl:inverseOf rdf:resource="#T" />
+            </owl:ObjectProperty>
+        </owl:onProperty>
+        <owl:someValuesFrom>
+            <owl:Class rdf:about="#X" /> 
+        </owl:someValuesFrom>
+        <rdfs:subClassOf rdf:resource="#Y" />
+    </owl:Restriction>
+
+    <owl:Class rdf:ID="D">
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="#P"/> 
+                <owl:someValuesFrom>
+                    <owl:Class rdf:about="#A" /> 
+                </owl:someValuesFrom>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+
+    <owl:Restriction>
+        <owl:onProperty>
+            <owl:ObjectProperty>
+                <owl:inverseOf rdf:resource="#P" />
+            </owl:ObjectProperty>
+        </owl:onProperty>
+        <owl:someValuesFrom>
+            <owl:Class rdf:about="#X" /> 
+        </owl:someValuesFrom>
+        <rdfs:subClassOf rdf:resource="#Y" />
+    </owl:Restriction>
+
+</rdf:RDF>
\ No newline at end of file
-- 
cgit v1.2.3