aboutsummaryrefslogtreecommitdiff
path: root/examples/lubm/univ-bench.orig.owl
diff options
context:
space:
mode:
Diffstat (limited to 'examples/lubm/univ-bench.orig.owl')
-rw-r--r--examples/lubm/univ-bench.orig.owl471
1 files changed, 471 insertions, 0 deletions
diff --git a/examples/lubm/univ-bench.orig.owl b/examples/lubm/univ-bench.orig.owl
new file mode 100644
index 0000000..5a74907
--- /dev/null
+++ b/examples/lubm/univ-bench.orig.owl
@@ -0,0 +1,471 @@
1<?xml version="1.0" encoding="UTF-8" ?>
2<rdf:RDF
3 xmlns = "http://swat.cse.lehigh.edu/onto/univ-bench.owl#"
4 xml:base = "http://swat.cse.lehigh.edu/onto/univ-bench.owl"
5 xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
6 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
7 xmlns:owl="http://www.w3.org/2002/07/owl#"
8>
9
10<owl:Ontology rdf:about="">
11 <rdfs:comment>An university ontology for benchmark tests</rdfs:comment>
12 <rdfs:label>Univ-bench Ontology</rdfs:label>
13 <owl:versionInfo>univ-bench-ontology-owl, ver April 1, 2004</owl:versionInfo>
14</owl:Ontology>
15
16<owl:Class rdf:ID="AdministrativeStaff">
17 <rdfs:label>administrative staff worker</rdfs:label>
18 <rdfs:subClassOf rdf:resource="#Employee" />
19</owl:Class>
20
21<owl:Class rdf:ID="Article">
22 <rdfs:label>article</rdfs:label>
23 <rdfs:subClassOf rdf:resource="#Publication" />
24</owl:Class>
25
26<owl:Class rdf:ID="AssistantProfessor">
27 <rdfs:label>assistant professor</rdfs:label>
28 <rdfs:subClassOf rdf:resource="#Professor" />
29</owl:Class>
30
31<owl:Class rdf:ID="AssociateProfessor">
32 <rdfs:label>associate professor</rdfs:label>
33 <rdfs:subClassOf rdf:resource="#Professor" />
34</owl:Class>
35
36<owl:Class rdf:ID="Book">
37 <rdfs:label>book</rdfs:label>
38 <rdfs:subClassOf rdf:resource="#Publication" />
39</owl:Class>
40
41<owl:Class rdf:ID="Chair">
42 <rdfs:label>chair</rdfs:label>
43 <owl:intersectionOf rdf:parseType="Collection">
44 <owl:Class rdf:about="#Person" />
45 <owl:Restriction>
46 <owl:onProperty rdf:resource="#headOf" />
47 <owl:someValuesFrom>
48 <owl:Class rdf:about="#Department" />
49 </owl:someValuesFrom>
50 </owl:Restriction>
51 </owl:intersectionOf>
52 <rdfs:subClassOf rdf:resource="#Professor" />
53</owl:Class>
54
55<owl:Class rdf:ID="ClericalStaff">
56 <rdfs:label>clerical staff worker</rdfs:label>
57 <rdfs:subClassOf rdf:resource="#AdministrativeStaff" />
58</owl:Class>
59
60<owl:Class rdf:ID="College">
61 <rdfs:label>school</rdfs:label>
62 <rdfs:subClassOf rdf:resource="#Organization" />
63</owl:Class>
64
65<owl:Class rdf:ID="ConferencePaper">
66 <rdfs:label>conference paper</rdfs:label>
67 <rdfs:subClassOf rdf:resource="#Article" />
68</owl:Class>
69
70<owl:Class rdf:ID="Course">
71 <rdfs:label>teaching course</rdfs:label>
72 <rdfs:subClassOf rdf:resource="#Work" />
73</owl:Class>
74
75<owl:Class rdf:ID="Dean">
76 <rdfs:label>dean</rdfs:label>
77 <owl:intersectionOf rdf:parseType="Collection">
78 <owl:Restriction>
79 <owl:onProperty rdf:resource="#headOf" />
80 <owl:someValuesFrom>
81 <owl:Class rdf:about="#College" />
82 </owl:someValuesFrom>
83 </owl:Restriction>
84 </owl:intersectionOf>
85 <rdfs:subClassOf rdf:resource="#Professor" />
86</owl:Class>
87
88<owl:Class rdf:ID="Department">
89 <rdfs:label>university department</rdfs:label>
90 <rdfs:subClassOf rdf:resource="#Organization" />
91</owl:Class>
92
93<owl:Class rdf:ID="Director">
94 <rdfs:label>director</rdfs:label>
95 <owl:intersectionOf rdf:parseType="Collection">
96 <owl:Class rdf:about="#Person" />
97 <owl:Restriction>
98 <owl:onProperty rdf:resource="#headOf" />
99 <owl:someValuesFrom>
100 <owl:Class rdf:about="#Program" />
101 </owl:someValuesFrom>
102 </owl:Restriction>
103 </owl:intersectionOf>
104</owl:Class>
105
106<owl:Class rdf:ID="Employee">
107 <rdfs:label>Employee</rdfs:label>
108 <owl:intersectionOf rdf:parseType="Collection">
109 <owl:Class rdf:about="#Person" />
110 <owl:Restriction>
111 <owl:onProperty rdf:resource="#worksFor" />
112 <owl:someValuesFrom>
113 <owl:Class rdf:about="#Organization" />
114 </owl:someValuesFrom>
115 </owl:Restriction>
116 </owl:intersectionOf>
117</owl:Class>
118
119<owl:Class rdf:ID="Faculty">
120 <rdfs:label>faculty member</rdfs:label>
121 <rdfs:subClassOf rdf:resource="#Employee" />
122</owl:Class>
123
124<owl:Class rdf:ID="FullProfessor">
125 <rdfs:label>full professor</rdfs:label>
126 <rdfs:subClassOf rdf:resource="#Professor" />
127</owl:Class>
128
129<owl:Class rdf:ID="GraduateCourse">
130 <rdfs:label>Graduate Level Courses</rdfs:label>
131 <rdfs:subClassOf rdf:resource="#Course" />
132</owl:Class>
133
134<owl:Class rdf:ID="GraduateStudent">
135 <rdfs:label>graduate student</rdfs:label>
136 <rdfs:subClassOf rdf:resource="#Person" />
137 <rdfs:subClassOf>
138 <owl:Restriction>
139 <owl:onProperty rdf:resource="#takesCourse" />
140 <owl:someValuesFrom>
141 <owl:Class rdf:about="#GraduateCourse" />
142 </owl:someValuesFrom>
143 </owl:Restriction>
144 </rdfs:subClassOf>
145</owl:Class>
146
147<owl:Class rdf:ID="Institute">
148 <rdfs:label>institute</rdfs:label>
149 <rdfs:subClassOf rdf:resource="#Organization" />
150</owl:Class>
151
152<owl:Class rdf:ID="JournalArticle">
153 <rdfs:label>journal article</rdfs:label>
154 <rdfs:subClassOf rdf:resource="#Article" />
155</owl:Class>
156
157<owl:Class rdf:ID="Lecturer">
158 <rdfs:label>lecturer</rdfs:label>
159 <rdfs:subClassOf rdf:resource="#Faculty" />
160</owl:Class>
161
162<owl:Class rdf:ID="Manual">
163 <rdfs:label>manual</rdfs:label>
164 <rdfs:subClassOf rdf:resource="#Publication" />
165</owl:Class>
166
167<owl:Class rdf:ID="Organization">
168 <rdfs:label>organization</rdfs:label>
169</owl:Class>
170
171<owl:Class rdf:ID="Person">
172 <rdfs:label>person</rdfs:label>
173</owl:Class>
174
175<owl:Class rdf:ID="PostDoc">
176 <rdfs:label>post doctorate</rdfs:label>
177 <rdfs:subClassOf rdf:resource="#Faculty" />
178</owl:Class>
179
180<owl:Class rdf:ID="Professor">
181 <rdfs:label>professor</rdfs:label>
182 <rdfs:subClassOf rdf:resource="#Faculty" />
183</owl:Class>
184
185<owl:Class rdf:ID="Program">
186 <rdfs:label>program</rdfs:label>
187 <rdfs:subClassOf rdf:resource="#Organization" />
188</owl:Class>
189
190<owl:Class rdf:ID="Publication">
191 <rdfs:label>publication</rdfs:label>
192</owl:Class>
193
194<owl:Class rdf:ID="Research">
195 <rdfs:label>research work</rdfs:label>
196 <rdfs:subClassOf rdf:resource="#Work" />
197</owl:Class>
198
199<owl:Class rdf:ID="ResearchAssistant">
200 <rdfs:label>university research assistant</rdfs:label>
201 <rdfs:subClassOf rdf:resource="#Person" />
202 <rdfs:subClassOf>
203 <owl:Restriction>
204 <owl:onProperty rdf:resource="#worksFor" />
205 <owl:someValuesFrom>
206 <owl:Class rdf:about="#ResearchGroup" />
207 </owl:someValuesFrom>
208 </owl:Restriction>
209 </rdfs:subClassOf>
210</owl:Class>
211
212<owl:Class rdf:ID="ResearchGroup">
213 <rdfs:label>research group</rdfs:label>
214 <rdfs:subClassOf rdf:resource="#Organization" />
215</owl:Class>
216
217<owl:Class rdf:ID="Schedule">
218 <rdfs:label>schedule</rdfs:label>
219</owl:Class>
220
221<owl:Class rdf:ID="Software">
222 <rdfs:label>software program</rdfs:label>
223 <rdfs:subClassOf rdf:resource="#Publication" />
224</owl:Class>
225
226<owl:Class rdf:ID="Specification">
227 <rdfs:label>published specification</rdfs:label>
228 <rdfs:subClassOf rdf:resource="#Publication" />
229</owl:Class>
230
231<owl:Class rdf:ID="Student">
232 <rdfs:label>student</rdfs:label>
233 <owl:intersectionOf rdf:parseType="Collection">
234 <owl:Class rdf:about="#Person" />
235 <owl:Restriction>
236 <owl:onProperty rdf:resource="#takesCourse" />
237 <owl:someValuesFrom>
238 <owl:Class rdf:about="#Course" />
239 </owl:someValuesFrom>
240 </owl:Restriction>
241 </owl:intersectionOf>
242</owl:Class>
243
244<owl:Class rdf:ID="SystemsStaff">
245 <rdfs:label>systems staff worker</rdfs:label>
246 <rdfs:subClassOf rdf:resource="#AdministrativeStaff" />
247</owl:Class>
248
249<owl:Class rdf:ID="TeachingAssistant">
250 <rdfs:label>university teaching assistant</rdfs:label>
251 <owl:intersectionOf rdf:parseType="Collection">
252 <owl:Class rdf:about="#Person" />
253 <owl:Restriction>
254 <owl:onProperty rdf:resource="#teachingAssistantOf" />
255 <owl:someValuesFrom>
256 <owl:Class rdf:about="#Course" />
257 </owl:someValuesFrom>
258 </owl:Restriction>
259 </owl:intersectionOf>
260</owl:Class>
261
262<owl:Class rdf:ID="TechnicalReport">
263 <rdfs:label>technical report</rdfs:label>
264 <rdfs:subClassOf rdf:resource="#Article" />
265</owl:Class>
266
267<owl:Class rdf:ID="UndergraduateStudent">
268 <rdfs:label>undergraduate student</rdfs:label>
269 <rdfs:subClassOf rdf:resource="#Student" />
270</owl:Class>
271
272<owl:Class rdf:ID="University">
273 <rdfs:label>university</rdfs:label>
274 <rdfs:subClassOf rdf:resource="#Organization" />
275</owl:Class>
276
277<owl:Class rdf:ID="UnofficialPublication">
278 <rdfs:label>unnoficial publication</rdfs:label>
279 <rdfs:subClassOf rdf:resource="#Publication" />
280</owl:Class>
281
282<owl:Class rdf:ID="VisitingProfessor">
283 <rdfs:label>visiting professor</rdfs:label>
284 <rdfs:subClassOf rdf:resource="#Professor" />
285</owl:Class>
286
287<owl:Class rdf:ID="Work">
288 <rdfs:label>Work</rdfs:label>
289</owl:Class>
290
291<owl:ObjectProperty rdf:ID="advisor">
292 <rdfs:label>is being advised by</rdfs:label>
293 <rdfs:domain rdf:resource="#Person" />
294 <rdfs:range rdf:resource="#Professor" />
295</owl:ObjectProperty>
296
297<owl:ObjectProperty rdf:ID="affiliatedOrganizationOf">
298 <rdfs:label>is affiliated with</rdfs:label>
299 <rdfs:domain rdf:resource="#Organization" />
300 <rdfs:range rdf:resource="#Organization" />
301</owl:ObjectProperty>
302
303<owl:ObjectProperty rdf:ID="affiliateOf">
304 <rdfs:label>is affiliated with</rdfs:label>
305 <rdfs:domain rdf:resource="#Organization" />
306 <rdfs:range rdf:resource="#Person" />
307</owl:ObjectProperty>
308
309<owl:DatatypeProperty rdf:ID="age">
310 <rdfs:label>is age</rdfs:label>
311 <rdfs:domain rdf:resource="#Person" />
312</owl:DatatypeProperty>
313
314<owl:ObjectProperty rdf:ID="degreeFrom">
315 <rdfs:label>has a degree from</rdfs:label>
316 <rdfs:domain rdf:resource="#Person" />
317 <rdfs:range rdf:resource="#University" />
318 <owl:inverseOf rdf:resource="#hasAlumnus"/>
319</owl:ObjectProperty>
320
321<owl:ObjectProperty rdf:ID="doctoralDegreeFrom">
322 <rdfs:label>has a doctoral degree from</rdfs:label>
323 <rdfs:domain rdf:resource="#Person" />
324 <rdfs:range rdf:resource="#University" />
325 <rdfs:subPropertyOf rdf:resource="#degreeFrom" />
326</owl:ObjectProperty>
327
328<owl:DatatypeProperty rdf:ID="emailAddress">
329 <rdfs:label>can be reached at</rdfs:label>
330 <rdfs:domain rdf:resource="#Person" />
331</owl:DatatypeProperty>
332
333<owl:ObjectProperty rdf:ID="hasAlumnus">
334 <rdfs:label>has as an alumnus</rdfs:label>
335 <rdfs:domain rdf:resource="#University" />
336 <rdfs:range rdf:resource="#Person" />
337 <owl:inverseOf rdf:resource="#degreeFrom"/>
338</owl:ObjectProperty>
339
340<owl:ObjectProperty rdf:ID="headOf">
341 <rdfs:label>is the head of</rdfs:label>
342 <rdfs:subPropertyOf rdf:resource="#worksFor"/>
343</owl:ObjectProperty>
344
345<owl:ObjectProperty rdf:ID="listedCourse">
346 <rdfs:label>lists as a course</rdfs:label>
347 <rdfs:domain rdf:resource="#Schedule" />
348 <rdfs:range rdf:resource="#Course" />
349</owl:ObjectProperty>
350
351<owl:ObjectProperty rdf:ID="mastersDegreeFrom">
352 <rdfs:label>has a masters degree from</rdfs:label>
353 <rdfs:domain rdf:resource="#Person" />
354 <rdfs:range rdf:resource="#University" />
355 <rdfs:subPropertyOf rdf:resource="#degreeFrom"/>
356</owl:ObjectProperty>
357
358<owl:ObjectProperty rdf:ID="member">
359 <rdfs:label>has as a member</rdfs:label>
360 <rdfs:domain rdf:resource="#Organization" />
361 <rdfs:range rdf:resource="#Person" />
362</owl:ObjectProperty>
363
364<owl:ObjectProperty rdf:ID="memberOf">
365<rdfs:label>member of</rdfs:label>
366<owl:inverseOf rdf:resource="#member" />
367</owl:ObjectProperty>
368
369<owl:DatatypeProperty rdf:ID="name">
370<rdfs:label>name</rdfs:label>
371</owl:DatatypeProperty>
372
373<owl:DatatypeProperty rdf:ID="officeNumber">
374 <rdfs:label>office room No.</rdfs:label>
375</owl:DatatypeProperty>
376
377<owl:ObjectProperty rdf:ID="orgPublication">
378 <rdfs:label>publishes</rdfs:label>
379 <rdfs:domain rdf:resource="#Organization" />
380 <rdfs:range rdf:resource="#Publication" />
381</owl:ObjectProperty>
382
383<owl:ObjectProperty rdf:ID="publicationAuthor">
384 <rdfs:label>was written by</rdfs:label>
385 <rdfs:domain rdf:resource="#Publication" />
386 <rdfs:range rdf:resource="#Person" />
387</owl:ObjectProperty>
388
389<owl:ObjectProperty rdf:ID="publicationDate">
390 <rdfs:label>was written on</rdfs:label>
391 <rdfs:domain rdf:resource="#Publication" />
392</owl:ObjectProperty>
393
394<owl:ObjectProperty rdf:ID="publicationResearch">
395 <rdfs:label>is about</rdfs:label>
396 <rdfs:domain rdf:resource="#Publication" />
397 <rdfs:range rdf:resource="#Research" />
398</owl:ObjectProperty>
399
400<owl:DatatypeProperty rdf:ID="researchInterest">
401 <rdfs:label>is researching</rdfs:label>
402</owl:DatatypeProperty>
403
404<owl:ObjectProperty rdf:ID="researchProject">
405 <rdfs:label>has as a research project</rdfs:label>
406 <rdfs:domain rdf:resource="#ResearchGroup" />
407 <rdfs:range rdf:resource="#Research" />
408</owl:ObjectProperty>
409
410<owl:ObjectProperty rdf:ID="softwareDocumentation">
411 <rdfs:label>is documented in</rdfs:label>
412 <rdfs:domain rdf:resource="#Software" />
413 <rdfs:range rdf:resource="#Publication" />
414</owl:ObjectProperty>
415
416<owl:ObjectProperty rdf:ID="softwareVersion">
417 <rdfs:label>is version</rdfs:label>
418 <rdfs:domain rdf:resource="#Software" />
419</owl:ObjectProperty>
420
421<owl:TransitiveProperty rdf:ID="subOrganizationOf">
422 <rdfs:label>is part of</rdfs:label>
423 <rdfs:domain rdf:resource="#Organization" />
424 <rdfs:range rdf:resource="#Organization" />
425</owl:TransitiveProperty>
426
427<owl:ObjectProperty rdf:ID="takesCourse">
428 <rdfs:label>is taking</rdfs:label>
429</owl:ObjectProperty>
430
431<owl:ObjectProperty rdf:ID="teacherOf">
432 <rdfs:label>teaches</rdfs:label>
433 <rdfs:domain rdf:resource="#Faculty" />
434 <rdfs:range rdf:resource="#Course" />
435</owl:ObjectProperty>
436
437<owl:ObjectProperty rdf:ID="teachingAssistantOf">
438 <rdfs:label>is a teaching assistant for</rdfs:label>
439 <rdfs:domain rdf:resource="#TeachingAssistant" />
440 <rdfs:range rdf:resource="#Course" />
441</owl:ObjectProperty>
442
443<owl:DatatypeProperty rdf:ID="telephone">
444 <rdfs:label>telephone number</rdfs:label>
445 <rdfs:domain rdf:resource="#Person" />
446</owl:DatatypeProperty>
447
448<owl:ObjectProperty rdf:ID="tenured">
449 <rdfs:label>is tenured:</rdfs:label>
450 <rdfs:domain rdf:resource="#Professor" />
451</owl:ObjectProperty>
452
453<owl:DatatypeProperty rdf:ID="title">
454 <rdfs:label>title</rdfs:label>
455 <rdfs:domain rdf:resource="#Person" />
456</owl:DatatypeProperty>
457
458<owl:ObjectProperty rdf:ID="undergraduateDegreeFrom">
459 <rdfs:label>has an undergraduate degree from</rdfs:label>
460 <rdfs:domain rdf:resource="#Person" />
461 <rdfs:range rdf:resource="#University" />
462 <rdfs:subPropertyOf rdf:resource="#degreeFrom"/>
463</owl:ObjectProperty>
464
465<owl:ObjectProperty rdf:ID="worksFor">
466 <rdfs:label>Works For</rdfs:label>
467 <rdfs:subPropertyOf rdf:resource="#memberOf" />
468</owl:ObjectProperty>
469
470</rdf:RDF>
471