Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/test-data/ontology/single/OWLQueryGalaxyTest.owl @ 13:7e6604a5ee55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New query tool added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Thu, 29 Mar 2012 14:49:22 +0200
parents
children
comparison
equal deleted inserted replaced
12:d0722148cb59 13:7e6604a5ee55
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 rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
9 <!ENTITY OWLQueryGalaxyTest2 "http://www.oeg-upm.net/OWLQueryGalaxyTest.owl#" >
10 <!ENTITY OWLQueryGalaxyTest "http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/" >
11 ]>
12
13
14 <rdf:RDF xmlns="http://www.oeg-upm.net/OWLQueryGalaxyTest.owl#"
15 xml:base="http://www.oeg-upm.net/OWLQueryGalaxyTest.owl"
16 xmlns:OWLQueryGalaxyTest2="http://www.oeg-upm.net/OWLQueryGalaxyTest.owl#"
17 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
18 xmlns:OWLQueryGalaxyTest="http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/"
19 xmlns:owl="http://www.w3.org/2002/07/owl#"
20 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
21 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
22 <owl:Ontology rdf:about="http://www.oeg-upm.net/OWLQueryGalaxyTest.owl"/>
23
24
25
26 <!--
27 ///////////////////////////////////////////////////////////////////////////////////////
28 //
29 // Annotation properties
30 //
31 ///////////////////////////////////////////////////////////////////////////////////////
32 -->
33
34
35
36
37 <!--
38 ///////////////////////////////////////////////////////////////////////////////////////
39 //
40 // Datatypes
41 //
42 ///////////////////////////////////////////////////////////////////////////////////////
43 -->
44
45
46
47
48 <!--
49 ///////////////////////////////////////////////////////////////////////////////////////
50 //
51 // Object Properties
52 //
53 ///////////////////////////////////////////////////////////////////////////////////////
54 -->
55
56
57
58
59 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/inv_p -->
60
61 <owl:ObjectProperty rdf:about="&OWLQueryGalaxyTest;inv_p"/>
62
63
64
65 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/p -->
66
67 <owl:ObjectProperty rdf:about="&OWLQueryGalaxyTest;p">
68 <owl:inverseOf rdf:resource="&OWLQueryGalaxyTest;inv_p"/>
69 </owl:ObjectProperty>
70
71
72
73 <!--
74 ///////////////////////////////////////////////////////////////////////////////////////
75 //
76 // Classes
77 //
78 ///////////////////////////////////////////////////////////////////////////////////////
79 -->
80
81
82
83
84 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl#GO_0000034 -->
85
86 <owl:Class rdf:about="&OWLQueryGalaxyTest2;GO_0000034">
87 <rdfs:subClassOf>
88 <owl:Restriction>
89 <owl:onProperty rdf:resource="&OWLQueryGalaxyTest;p"/>
90 <owl:someValuesFrom rdf:resource="&OWLQueryGalaxyTest;d"/>
91 </owl:Restriction>
92 </rdfs:subClassOf>
93 </owl:Class>
94
95
96
97 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/GO_0000033 -->
98
99 <owl:Class rdf:about="&OWLQueryGalaxyTest;GO_0000033">
100 <rdfs:subClassOf rdf:resource="&OWLQueryGalaxyTest2;GO_0000034"/>
101 </owl:Class>
102
103
104
105 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/a -->
106
107 <owl:Class rdf:about="&OWLQueryGalaxyTest;a">
108 <owl:equivalentClass>
109 <owl:Restriction>
110 <owl:onProperty rdf:resource="&OWLQueryGalaxyTest;p"/>
111 <owl:someValuesFrom rdf:resource="&OWLQueryGalaxyTest;d"/>
112 </owl:Restriction>
113 </owl:equivalentClass>
114 </owl:Class>
115
116
117
118 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/c -->
119
120 <owl:Class rdf:about="&OWLQueryGalaxyTest;c">
121 <owl:equivalentClass>
122 <owl:Restriction>
123 <owl:onProperty rdf:resource="&OWLQueryGalaxyTest;p"/>
124 <owl:allValuesFrom rdf:resource="&OWLQueryGalaxyTest;d"/>
125 </owl:Restriction>
126 </owl:equivalentClass>
127 </owl:Class>
128
129
130
131 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/d -->
132
133 <owl:Class rdf:about="&OWLQueryGalaxyTest;d">
134 <rdfs:subClassOf rdf:resource="&OWLQueryGalaxyTest;f"/>
135 </owl:Class>
136
137
138
139 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/f -->
140
141 <owl:Class rdf:about="&OWLQueryGalaxyTest;f"/>
142
143
144
145 <!-- http://www.w3.org/2002/07/owl#Thing -->
146
147 <rdf:Description rdf:about="&owl;Thing">
148 <rdfs:comment>p some d:
149
150 equiv a
151 sub b
152 desc b,b1,
153 ind aa
154
155 inv_p some c
156
157 ances d,f
158 sup d</rdfs:comment>
159 </rdf:Description>
160
161
162
163 <!--
164 ///////////////////////////////////////////////////////////////////////////////////////
165 //
166 // Individuals
167 //
168 ///////////////////////////////////////////////////////////////////////////////////////
169 -->
170
171
172
173
174 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/aa -->
175
176 <owl:Thing rdf:about="&OWLQueryGalaxyTest;aa">
177 <rdf:type rdf:resource="&owl;NamedIndividual"/>
178 <OWLQueryGalaxyTest:p rdf:resource="&OWLQueryGalaxyTest;dd"/>
179 </owl:Thing>
180
181
182
183 <!-- http://www.oeg-upm.net/OWLQueryGalaxyTest.owl/dd -->
184
185 <owl:NamedIndividual rdf:about="&OWLQueryGalaxyTest;dd">
186 <rdf:type rdf:resource="&OWLQueryGalaxyTest;d"/>
187 </owl:NamedIndividual>
188 </rdf:RDF>
189
190
191
192 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net -->
193