Add simple examples

author: Federico Igne <federico.igne@cs.ox.ac.uk> 2020-08-17 14:30:50 +0100
committer: Federico Igne <federico.igne@cs.ox.ac.uk> 2020-08-17 14:30:50 +0100
commit: 56a3cc7f1a2d1dc85a262f2648cf246197684caf (patch)
tree: 1005649e7afab4a3bac9627a6d1d0194436d3e73 /examples/example2.owl
parent: c782cacac113f3f0b7fe39add68382d82d2eca2c (diff)
download: RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.tar.gz
RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.zip
1 files changed, 112 insertions, 0 deletions
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
author	Federico Igne <federico.igne@cs.ox.ac.uk>	2020-08-17 14:30:50 +0100
committer	Federico Igne <federico.igne@cs.ox.ac.uk>	2020-08-17 14:30:50 +0100
commit	56a3cc7f1a2d1dc85a262f2648cf246197684caf (patch)
tree	1005649e7afab4a3bac9627a6d1d0194436d3e73 /examples/example2.owl
parent	c782cacac113f3f0b7fe39add68382d82d2eca2c (diff)
download	RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.tar.gz RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.zip

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 @@
	1	<?xml version="1.0" encoding="UTF-8" ?>
	2	<rdf:RDF
	3	xml:base = "http://example.com/rsa_example.owl#"
	4	xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
	5	xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
	6	xmlns:owl="http://www.w3.org/2002/07/owl#"
	7	>
	8
	9	<!--
	10	A ⊑ ∃ R.B
	11	∃ R⁻.X ⊑ Y
	12	B ⊑ ∃ S.C
	13	∃ S⁻.X ⊑ Y
	14	C ⊑ ∃ T.D
	15	∃ T⁻.X ⊑ Y
	16	D ⊑ ∃ P.A
	17	∃ P⁻.X ⊑ Y
	18	-->
	19
	20	<owl:Class rdf:ID="A">
	21	<rdfs:subClassOf>
	22	<owl:Restriction>
	23	<owl:onProperty rdf:resource="#R"/>
	24	<owl:someValuesFrom>
	25	<owl:Class rdf:about="#B" />
	26	</owl:someValuesFrom>
	27	</owl:Restriction>
	28	</rdfs:subClassOf>
	29	</owl:Class>
	30
	31	<owl:Restriction>
	32	<owl:onProperty>
	33	<owl:ObjectProperty>
	34	<owl:inverseOf rdf:resource="#R" />
	35	</owl:ObjectProperty>
	36	</owl:onProperty>
	37	<owl:someValuesFrom>
	38	<owl:Class rdf:about="#X" />
	39	</owl:someValuesFrom>
	40	<rdfs:subClassOf rdf:resource="#Y" />
	41	</owl:Restriction>
	42
	43	<owl:Class rdf:ID="B">
	44	<rdfs:subClassOf>
	45	<owl:Restriction>
	46	<owl:onProperty rdf:resource="#S"/>
	47	<owl:someValuesFrom>
	48	<owl:Class rdf:about="#C" />
	49	</owl:someValuesFrom>
	50	</owl:Restriction>
	51	</rdfs:subClassOf>
	52	</owl:Class>
	53
	54	<owl:Restriction>
	55	<owl:onProperty>
	56	<owl:ObjectProperty>
	57	<owl:inverseOf rdf:resource="#S" />
	58	</owl:ObjectProperty>
	59	</owl:onProperty>
	60	<owl:someValuesFrom>
	61	<owl:Class rdf:about="#X" />
	62	</owl:someValuesFrom>
	63	<rdfs:subClassOf rdf:resource="#Y" />
	64	</owl:Restriction>
	65
	66	<owl:Class rdf:ID="C">
	67	<rdfs:subClassOf>
	68	<owl:Restriction>
	69	<owl:onProperty rdf:resource="#T"/>
	70	<owl:someValuesFrom>
	71	<owl:Class rdf:about="#D" />
	72	</owl:someValuesFrom>
	73	</owl:Restriction>
	74	</rdfs:subClassOf>
	75	</owl:Class>
	76
	77	<owl:Restriction>
	78	<owl:onProperty>
	79	<owl:ObjectProperty>
	80	<owl:inverseOf rdf:resource="#T" />
	81	</owl:ObjectProperty>
	82	</owl:onProperty>
	83	<owl:someValuesFrom>
	84	<owl:Class rdf:about="#X" />
	85	</owl:someValuesFrom>
	86	<rdfs:subClassOf rdf:resource="#Y" />
	87	</owl:Restriction>
	88
	89	<owl:Class rdf:ID="D">
	90	<rdfs:subClassOf>
	91	<owl:Restriction>
	92	<owl:onProperty rdf:resource="#P"/>
	93	<owl:someValuesFrom>
	94	<owl:Class rdf:about="#A" />
	95	</owl:someValuesFrom>
	96	</owl:Restriction>
	97	</rdfs:subClassOf>
	98	</owl:Class>
	99
	100	<owl:Restriction>
	101	<owl:onProperty>
	102	<owl:ObjectProperty>
	103	<owl:inverseOf rdf:resource="#P" />
	104	</owl:ObjectProperty>
	105	</owl:onProperty>
	106	<owl:someValuesFrom>
	107	<owl:Class rdf:about="#X" />
	108	</owl:someValuesFrom>
	109	<rdfs:subClassOf rdf:resource="#Y" />
	110	</owl:Restriction>
	111
	112	</rdf:RDF> \ No newline at end of file