Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/test-data/ontology/imports/imports_test.owl @ 11:6ca67b155e32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents
children
comparison
equal deleted inserted replaced
10:3f31c0eb7539 11:6ca67b155e32
1 <?xml version="1.0"?>
2
3
4 <!DOCTYPE rdf:RDF [
5 <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
6 <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
7 <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
8 <!ENTITY inference_test "http://www.oeg-upm.net/inference_test.owl/" >
9 <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
10 <!ENTITY biopax-level3 "http://www.biopax.org/release/biopax-level3.owl#" >
11 ]>
12
13
14 <rdf:RDF xmlns="http://www.oeg-upm.net/inference_test.owl#"
15 xml:base="http://www.oeg-upm.net/inference_test.owl"
16 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
17 xmlns:owl="http://www.w3.org/2002/07/owl#"
18 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
19 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
20 xmlns:biopax-level3="http://www.biopax.org/release/biopax-level3.owl#"
21 xmlns:inference_test="http://www.oeg-upm.net/inference_test.owl/">
22 <owl:Ontology rdf:about="http://www.oeg-upm.net/inference_test.owl">
23 <owl:imports rdf:resource="http://www.biopax.org/release/biopax-level3.owl"/>
24 </owl:Ontology>
25
26
27
28 <!--
29 ///////////////////////////////////////////////////////////////////////////////////////
30 //
31 // Annotation properties
32 //
33 ///////////////////////////////////////////////////////////////////////////////////////
34 -->
35
36
37
38
39 <!--
40 ///////////////////////////////////////////////////////////////////////////////////////
41 //
42 // Datatypes
43 //
44 ///////////////////////////////////////////////////////////////////////////////////////
45 -->
46
47
48
49
50 <!--
51 ///////////////////////////////////////////////////////////////////////////////////////
52 //
53 // Object Properties
54 //
55 ///////////////////////////////////////////////////////////////////////////////////////
56 -->
57
58
59
60
61 <!-- http://www.oeg-upm.net/inference_test.owl/p -->
62
63 <owl:ObjectProperty rdf:about="&inference_test;p"/>
64
65
66
67 <!-- http://www.oeg-upm.net/inference_test.owl/part_of -->
68
69 <owl:ObjectProperty rdf:about="&inference_test;part_of"/>
70
71
72
73 <!-- http://www.oeg-upm.net/inference_test.owl/q -->
74
75 <owl:ObjectProperty rdf:about="&inference_test;q"/>
76
77
78
79 <!--
80 ///////////////////////////////////////////////////////////////////////////////////////
81 //
82 // Classes
83 //
84 ///////////////////////////////////////////////////////////////////////////////////////
85 -->
86
87
88
89
90 <!-- http://www.oeg-upm.net/inference_test.owl/a -->
91
92 <owl:Class rdf:about="&inference_test;a">
93 <owl:equivalentClass>
94 <owl:Restriction>
95 <owl:onProperty rdf:resource="&inference_test;p"/>
96 <owl:someValuesFrom rdf:resource="&inference_test;b"/>
97 </owl:Restriction>
98 </owl:equivalentClass>
99 </owl:Class>
100
101
102
103 <!-- http://www.oeg-upm.net/inference_test.owl/b -->
104
105 <owl:Class rdf:about="&inference_test;b"/>
106
107
108
109 <!-- http://www.oeg-upm.net/inference_test.owl/c -->
110
111 <owl:Class rdf:about="&inference_test;c">
112 <rdfs:subClassOf>
113 <owl:Restriction>
114 <owl:onProperty rdf:resource="&inference_test;p"/>
115 <owl:someValuesFrom rdf:resource="&inference_test;b"/>
116 </owl:Restriction>
117 </rdfs:subClassOf>
118 </owl:Class>
119
120
121
122 <!-- http://www.oeg-upm.net/inference_test.owl/d -->
123
124 <owl:Class rdf:about="&inference_test;d">
125 <owl:equivalentClass>
126 <owl:Restriction>
127 <owl:onProperty rdf:resource="&inference_test;p"/>
128 <owl:someValuesFrom rdf:resource="&biopax-level3;Entity"/>
129 </owl:Restriction>
130 </owl:equivalentClass>
131 </owl:Class>
132
133
134
135 <!-- http://www.oeg-upm.net/inference_test.owl/e -->
136
137 <owl:Class rdf:about="&inference_test;e">
138 <rdfs:subClassOf>
139 <owl:Restriction>
140 <owl:onProperty rdf:resource="&inference_test;part_of"/>
141 <owl:someValuesFrom rdf:resource="&biopax-level3;Entity"/>
142 </owl:Restriction>
143 </rdfs:subClassOf>
144 <rdfs:subClassOf>
145 <owl:Restriction>
146 <owl:onProperty rdf:resource="&inference_test;p"/>
147 <owl:someValuesFrom rdf:resource="&biopax-level3;Entity"/>
148 </owl:Restriction>
149 </rdfs:subClassOf>
150 </owl:Class>
151
152
153
154 <!-- http://www.w3.org/2002/07/owl#Thing -->
155
156 <rdf:Description rdf:about="&owl;Thing">
157 <rdfs:comment>Expected inferences:
158
159 aa memberOf a
160
161 c subClassOf a
162
163 (imports)
164
165 d subClassOf e</rdfs:comment>
166 </rdf:Description>
167
168
169
170 <!--
171 ///////////////////////////////////////////////////////////////////////////////////////
172 //
173 // Individuals
174 //
175 ///////////////////////////////////////////////////////////////////////////////////////
176 -->
177
178
179
180
181 <!-- http://www.oeg-upm.net/inference_test.owl/aa -->
182
183 <owl:Thing rdf:about="&inference_test;aa">
184 <rdf:type rdf:resource="&owl;NamedIndividual"/>
185 <inference_test:p rdf:resource="&inference_test;bb"/>
186 </owl:Thing>
187
188
189
190 <!-- http://www.oeg-upm.net/inference_test.owl/bb -->
191
192 <owl:NamedIndividual rdf:about="&inference_test;bb">
193 <rdf:type rdf:resource="&inference_test;b"/>
194 </owl:NamedIndividual>
195
196
197
198 <!-- http://www.oeg-upm.net/inference_test.owl/cc -->
199
200 <owl:Thing rdf:about="&inference_test;cc">
201 <rdf:type rdf:resource="&owl;NamedIndividual"/>
202 </owl:Thing>
203 </rdf:RDF>
204
205
206
207 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net -->
208