Skip to content
This repository was archived by the owner on Oct 8, 2020. It is now read-only.

Commit aa8ef6b

Browse files
Added forgotten ontology file
1 parent 6ac4d4b commit aa8ef6b

1 file changed

Lines changed: 78 additions & 0 deletions

File tree

Lines changed: 78 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,78 @@
1+
<http://sansa-stack.net/ontologies/inference/el-example.owl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Ontology> .
2+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr10_r> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
3+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr10_r> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr10_s> .
4+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr10_s> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
5+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
6+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
7+
_:genid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r2> .
8+
_:genid1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
9+
_:genid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r1> .
10+
_:genid2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid1 .
11+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
12+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r3> <http://www.w3.org/2002/07/owl#propertyChainAxiom> _:genid2 .
13+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr3_r> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
14+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr4_r> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
15+
<http://sansa-stack.net/ontologies/inference/el-example.owl#cr5_r> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
16+
_:genid3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
17+
_:genid3 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr10_r> .
18+
_:genid3 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR10_D> .
19+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR10_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
20+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR10_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:genid3 .
21+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR10_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
22+
_:genid4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
23+
_:genid4 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r1> .
24+
_:genid4 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_D> .
25+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
26+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:genid4 .
27+
_:genid5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
28+
_:genid5 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr11_r2> .
29+
_:genid5 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_E> .
30+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
31+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_D> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:genid5 .
32+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR11_E> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
33+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
34+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_C1> .
35+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_C1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
36+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_C1> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_D> .
37+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR1_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
38+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
39+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C1> .
40+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C2> .
41+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
42+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
43+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
44+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
45+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_C1> .
46+
_:genid6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
47+
_:genid6 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr3_r> .
48+
_:genid6 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_D> .
49+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_C1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
50+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_C1> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:genid6 .
51+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR3_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
52+
_:genid7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
53+
_:genid7 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr4_r> .
54+
_:genid7 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_D> .
55+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
56+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:genid7 .
57+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
58+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_D> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_D1> .
59+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_D1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
60+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_E> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
61+
_:genid8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
62+
_:genid8 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr5_r> .
63+
_:genid8 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR5_D> .
64+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR5_C> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
65+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR5_C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> _:genid8 .
66+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR5_D> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
67+
<http://sansa-stack.net/ontologies/inference/el-example.owl#CR5_D> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2002/07/owl#Nothing> .
68+
_:genid9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C2> .
69+
_:genid9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
70+
_:genid10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_C1> .
71+
_:genid10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:genid9 .
72+
_:genid11 <http://www.w3.org/2002/07/owl#intersectionOf> _:genid10 .
73+
_:genid11 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> .
74+
_:genid11 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR2_D> .
75+
_:genid12 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> .
76+
_:genid12 <http://www.w3.org/2002/07/owl#onProperty> <http://sansa-stack.net/ontologies/inference/el-example.owl#cr4_r> .
77+
_:genid12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_D1> .
78+
_:genid12 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://sansa-stack.net/ontologies/inference/el-example.owl#CR4_E> .

0 commit comments

Comments
 (0)