Mercurial > repos > mikel-egana-aranguren > oppl

comparison test-data/ontology/imports/imports_inference_test.owl @ 19:cc270db37d33 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Directories re-arranged
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sat, 06 Oct 2012 21:50:39 +0200
parents OPPL/test-data/ontology/imports/imports_inference_test.owl@6ca67b155e32
children
comparison
equal deleted inserted replaced
18:d3616fac4ca5 19:cc270db37d33
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/q -->
68
69 <owl:ObjectProperty rdf:about="&inference_test;q"/>
70
71
72
73 <!--
74 ///////////////////////////////////////////////////////////////////////////////////////
75 //
76 // Classes
77 //
78 ///////////////////////////////////////////////////////////////////////////////////////
79 -->
80
81
82
83
84 <!-- http://www.oeg-upm.net/inference_test.owl/a -->
85
86 <owl:Class rdf:about="&inference_test;a">
87 <owl:equivalentClass>
88 <owl:Restriction>
89 <owl:onProperty rdf:resource="&inference_test;p"/>
90 <owl:someValuesFrom rdf:resource="&inference_test;b"/>
91 </owl:Restriction>
92 </owl:equivalentClass>
93 </owl:Class>
94
95
96
97 <!-- http://www.oeg-upm.net/inference_test.owl/b -->
98
99 <owl:Class rdf:about="&inference_test;b"/>
100
101
102
103 <!-- http://www.oeg-upm.net/inference_test.owl/c -->
104
105 <owl:Class rdf:about="&inference_test;c">
106 <rdfs:subClassOf>
107 <owl:Restriction>
108 <owl:onProperty rdf:resource="&inference_test;p"/>
109 <owl:someValuesFrom rdf:resource="&inference_test;b"/>
110 </owl:Restriction>
111 </rdfs:subClassOf>
112 </owl:Class>
113
114
115
116 <!-- http://www.oeg-upm.net/inference_test.owl/d -->
117
118 <owl:Class rdf:about="&inference_test;d">
119 <owl:equivalentClass>
120 <owl:Restriction>
121 <owl:onProperty rdf:resource="&inference_test;p"/>
122 <owl:someValuesFrom rdf:resource="&biopax-level3;Entity"/>
123 </owl:Restriction>
124 </owl:equivalentClass>
125 </owl:Class>
126
127
128
129 <!-- http://www.oeg-upm.net/inference_test.owl/e -->
130
131 <owl:Class rdf:about="&inference_test;e">
132 <rdfs:subClassOf>
133 <owl:Restriction>
134 <owl:onProperty rdf:resource="&inference_test;p"/>
135 <owl:someValuesFrom rdf:resource="&biopax-level3;Entity"/>
136 </owl:Restriction>
137 </rdfs:subClassOf>
138 </owl:Class>
139
140
141
142 <!-- http://www.w3.org/2002/07/owl#Thing -->
143
144 <rdf:Description rdf:about="&owl;Thing">
145 <rdfs:comment>Expected inferences:
146
147 aa memberOf a
148
149 c subClassOf a
150
151 (imports)
152
153 d subClassOf e</rdfs:comment>
154 </rdf:Description>
155
156
157
158 <!--
159 ///////////////////////////////////////////////////////////////////////////////////////
160 //
161 // Individuals
162 //
163 ///////////////////////////////////////////////////////////////////////////////////////
164 -->
165
166
167
168
169 <!-- http://www.oeg-upm.net/inference_test.owl/aa -->
170
171 <owl:Thing rdf:about="&inference_test;aa">
172 <rdf:type rdf:resource="&owl;NamedIndividual"/>
173 <inference_test:p rdf:resource="&inference_test;bb"/>
174 </owl:Thing>
175
176
177
178 <!-- http://www.oeg-upm.net/inference_test.owl/bb -->
179
180 <owl:NamedIndividual rdf:about="&inference_test;bb">
181 <rdf:type rdf:resource="&inference_test;b"/>
182 </owl:NamedIndividual>
183
184
185
186 <!-- http://www.oeg-upm.net/inference_test.owl/cc -->
187
188 <owl:Thing rdf:about="&inference_test;cc">
189 <rdf:type rdf:resource="&owl;NamedIndividual"/>
190 </owl:Thing>
191 </rdf:RDF>
192
193
194
195 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net -->
196