aboutsummaryrefslogtreecommitdiff
path: root/tests/lubm/univ-bench.owl
diff options
context:
space:
mode:
Diffstat (limited to 'tests/lubm/univ-bench.owl')
-rw-r--r--tests/lubm/univ-bench.owl836
1 files changed, 836 insertions, 0 deletions
diff --git a/tests/lubm/univ-bench.owl b/tests/lubm/univ-bench.owl
new file mode 100644
index 0000000..ddb8f33
--- /dev/null
+++ b/tests/lubm/univ-bench.owl
@@ -0,0 +1,836 @@
1<?xml version="1.0"?>
2<rdf:RDF xmlns="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#"
3 xml:base="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl"
4 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
5 xmlns:owl="http://www.w3.org/2002/07/owl#"
6 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
7 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
8 <owl:Ontology rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl">
9 <rdfs:label>Univ-bench Ontology</rdfs:label>
10 <rdfs:comment>An university ontology for benchmark tests</rdfs:comment>
11 <owl:versionInfo>univ-bench-ontology-owl, ver April 1, 2004</owl:versionInfo>
12 </owl:Ontology>
13
14
15
16 <!--
17 ///////////////////////////////////////////////////////////////////////////////////////
18 //
19 // Annotation properties
20 //
21 ///////////////////////////////////////////////////////////////////////////////////////
22 -->
23
24
25
26
27 <!--
28 ///////////////////////////////////////////////////////////////////////////////////////
29 //
30 // Datatypes
31 //
32 ///////////////////////////////////////////////////////////////////////////////////////
33 -->
34
35
36
37
38 <!--
39 ///////////////////////////////////////////////////////////////////////////////////////
40 //
41 // Object Properties
42 //
43 ///////////////////////////////////////////////////////////////////////////////////////
44 -->
45
46
47
48
49 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#advisor -->
50
51 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#advisor">
52 <rdfs:label>is being advised by</rdfs:label>
53 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
54 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
55 </owl:ObjectProperty>
56
57
58
59 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#affiliateOf -->
60
61 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#affiliateOf">
62 <rdfs:label>is affiliated with</rdfs:label>
63 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
64 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
65 </owl:ObjectProperty>
66
67
68
69 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#affiliatedOrganizationOf -->
70
71 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#affiliatedOrganizationOf">
72 <rdfs:label>is affiliated with</rdfs:label>
73 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
74 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
75 </owl:ObjectProperty>
76
77
78
79 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#degreeFrom -->
80
81 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#degreeFrom">
82 <rdfs:label>has a degree from</rdfs:label>
83 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
84 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University"/>
85 </owl:ObjectProperty>
86
87
88
89 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#doctoralDegreeFrom -->
90
91 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#doctoralDegreeFrom">
92 <rdfs:label>has a doctoral degree from</rdfs:label>
93 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
94 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University"/>
95 <rdfs:subPropertyOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#degreeFrom"/>
96 </owl:ObjectProperty>
97
98
99
100 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#hasAlumnus -->
101
102 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#hasAlumnus">
103 <rdfs:label>has as an alumnus</rdfs:label>
104 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
105 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University"/>
106 <owl:inverseOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#degreeFrom"/>
107 </owl:ObjectProperty>
108
109
110
111 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#headOf -->
112
113 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#headOf">
114 <rdfs:label>is the head of</rdfs:label>
115 <rdfs:subPropertyOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#worksFor"/>
116 </owl:ObjectProperty>
117
118
119
120 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#listedCourse -->
121
122 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#listedCourse">
123 <rdfs:label>lists as a course</rdfs:label>
124 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course"/>
125 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Schedule"/>
126 </owl:ObjectProperty>
127
128
129
130 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#mastersDegreeFrom -->
131
132 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#mastersDegreeFrom">
133 <rdfs:label>has a masters degree from</rdfs:label>
134 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
135 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University"/>
136 <rdfs:subPropertyOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#degreeFrom"/>
137 </owl:ObjectProperty>
138
139
140
141 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#member -->
142
143 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#member">
144 <rdfs:label>has as a member</rdfs:label>
145 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
146 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
147 </owl:ObjectProperty>
148
149
150
151 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#memberOf -->
152
153 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#memberOf">
154 <rdfs:label>member of</rdfs:label>
155 <owl:inverseOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#member"/>
156 </owl:ObjectProperty>
157
158
159
160 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#orgPublication -->
161
162 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#orgPublication">
163 <rdfs:label>publishes</rdfs:label>
164 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
165 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
166 </owl:ObjectProperty>
167
168
169
170 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#publicationAuthor -->
171
172 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#publicationAuthor">
173 <rdfs:label>was written by</rdfs:label>
174 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
175 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
176 </owl:ObjectProperty>
177
178
179
180 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#publicationDate -->
181
182 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#publicationDate">
183 <rdfs:label>was written on</rdfs:label>
184 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
185 </owl:ObjectProperty>
186
187
188
189 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#publicationResearch -->
190
191 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#publicationResearch">
192 <rdfs:label>is about</rdfs:label>
193 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
194 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Research"/>
195 </owl:ObjectProperty>
196
197
198
199 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#researchProject -->
200
201 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#researchProject">
202 <rdfs:label>has as a research project</rdfs:label>
203 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Research"/>
204 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ResearchGroup"/>
205 </owl:ObjectProperty>
206
207
208
209 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#softwareDocumentation -->
210
211 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#softwareDocumentation">
212 <rdfs:label>is documented in</rdfs:label>
213 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
214 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Software"/>
215 </owl:ObjectProperty>
216
217
218
219 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#softwareVersion -->
220
221 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#softwareVersion">
222 <rdfs:label>is version</rdfs:label>
223 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Software"/>
224 </owl:ObjectProperty>
225
226
227
228 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#subOrganizationOf -->
229
230 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#subOrganizationOf">
231 <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
232 <rdfs:label>is part of</rdfs:label>
233 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
234 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
235 </owl:ObjectProperty>
236
237
238
239 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#takesCourse -->
240
241 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#takesCourse">
242 <rdfs:label>is taking</rdfs:label>
243 </owl:ObjectProperty>
244
245
246
247 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#teacherOf -->
248
249 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#teacherOf">
250 <rdfs:label>teaches</rdfs:label>
251 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course"/>
252 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Faculty"/>
253 </owl:ObjectProperty>
254
255
256
257 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#teachingAssistantOf -->
258
259 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#teachingAssistantOf">
260 <rdfs:label>is a teaching assistant for</rdfs:label>
261 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course"/>
262 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#TeachingAssistant"/>
263 </owl:ObjectProperty>
264
265
266
267 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#tenured -->
268
269 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#tenured">
270 <rdfs:label>is tenured:</rdfs:label>
271 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
272 </owl:ObjectProperty>
273
274
275
276 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#undergraduateDegreeFrom -->
277
278 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#undergraduateDegreeFrom">
279 <rdfs:label>has an undergraduate degree from</rdfs:label>
280 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
281 <rdfs:range rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University"/>
282 <rdfs:subPropertyOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#degreeFrom"/>
283 </owl:ObjectProperty>
284
285
286
287 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#worksFor -->
288
289 <owl:ObjectProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#worksFor">
290 <rdfs:label>Works For</rdfs:label>
291 <rdfs:subPropertyOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#memberOf"/>
292 </owl:ObjectProperty>
293
294
295
296 <!--
297 ///////////////////////////////////////////////////////////////////////////////////////
298 //
299 // Data properties
300 //
301 ///////////////////////////////////////////////////////////////////////////////////////
302 -->
303
304
305
306
307 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#age -->
308
309 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#age">
310 <rdfs:label>is age</rdfs:label>
311 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
312 </owl:DatatypeProperty>
313
314
315
316 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#emailAddress -->
317
318 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#emailAddress">
319 <rdfs:label>can be reached at</rdfs:label>
320 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
321 </owl:DatatypeProperty>
322
323
324
325 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#name -->
326
327 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#name">
328 <rdfs:label>name</rdfs:label>
329 </owl:DatatypeProperty>
330
331
332
333 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#officeNumber -->
334
335 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#officeNumber">
336 <rdfs:label>office room No.</rdfs:label>
337 </owl:DatatypeProperty>
338
339
340
341 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#researchInterest -->
342
343 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#researchInterest">
344 <rdfs:label>is researching</rdfs:label>
345 </owl:DatatypeProperty>
346
347
348
349 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#telephone -->
350
351 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#telephone">
352 <rdfs:label>telephone number</rdfs:label>
353 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
354 </owl:DatatypeProperty>
355
356
357
358 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#title -->
359
360 <owl:DatatypeProperty rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#title">
361 <rdfs:label>title</rdfs:label>
362 <rdfs:domain rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
363 </owl:DatatypeProperty>
364
365
366
367 <!--
368 ///////////////////////////////////////////////////////////////////////////////////////
369 //
370 // Classes
371 //
372 ///////////////////////////////////////////////////////////////////////////////////////
373 -->
374
375
376
377
378 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AdministrativeStaff -->
379
380 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AdministrativeStaff">
381 <rdfs:label>administrative staff worker</rdfs:label>
382 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Employee"/>
383 </owl:Class>
384
385
386
387 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Article -->
388
389 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Article">
390 <rdfs:label>article</rdfs:label>
391 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
392 </owl:Class>
393
394
395
396 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AssistantProfessor -->
397
398 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AssistantProfessor">
399 <rdfs:label>assistant professor</rdfs:label>
400 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
401 </owl:Class>
402
403
404
405 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AssociateProfessor -->
406
407 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AssociateProfessor">
408 <rdfs:label>associate professor</rdfs:label>
409 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
410 </owl:Class>
411
412
413
414 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Book -->
415
416 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Book">
417 <rdfs:label>book</rdfs:label>
418 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
419 </owl:Class>
420
421
422
423 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Chair -->
424
425 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Chair">
426 <rdfs:label>chair</rdfs:label>
427 <owl:equivalentClass>
428 <owl:Class>
429 <owl:intersectionOf rdf:parseType="Collection">
430 <rdf:Description rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
431 <owl:Restriction>
432 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#headOf"/>
433 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Department"/>
434 </owl:Restriction>
435 </owl:intersectionOf>
436 </owl:Class>
437 </owl:equivalentClass>
438 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
439 </owl:Class>
440
441
442
443 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ClericalStaff -->
444
445 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ClericalStaff">
446 <rdfs:label>clerical staff worker</rdfs:label>
447 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AdministrativeStaff"/>
448 </owl:Class>
449
450
451
452 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#College -->
453
454 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#College">
455 <rdfs:label>school</rdfs:label>
456 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
457 </owl:Class>
458
459
460
461 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ConferencePaper -->
462
463 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ConferencePaper">
464 <rdfs:label>conference paper</rdfs:label>
465 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Article"/>
466 </owl:Class>
467
468
469
470 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course -->
471
472 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course">
473 <rdfs:label>teaching course</rdfs:label>
474 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Work"/>
475 </owl:Class>
476
477
478
479 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Dean -->
480
481 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Dean">
482 <rdfs:label>dean</rdfs:label>
483 <owl:equivalentClass>
484 <owl:Class>
485 <owl:intersectionOf rdf:parseType="Collection">
486 <rdf:Description rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
487 <owl:Restriction>
488 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#headOf"/>
489 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#College"/>
490 </owl:Restriction>
491 </owl:intersectionOf>
492 </owl:Class>
493 </owl:equivalentClass>
494 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
495 </owl:Class>
496
497
498
499 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Department -->
500
501 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Department">
502 <rdfs:label>university department</rdfs:label>
503 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
504 </owl:Class>
505
506
507
508 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Director -->
509
510 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Director">
511 <rdfs:label>director</rdfs:label>
512 <owl:equivalentClass>
513 <owl:Class>
514 <owl:intersectionOf rdf:parseType="Collection">
515 <rdf:Description rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
516 <owl:Restriction>
517 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#headOf"/>
518 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Program"/>
519 </owl:Restriction>
520 </owl:intersectionOf>
521 </owl:Class>
522 </owl:equivalentClass>
523 </owl:Class>
524
525
526
527 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Employee -->
528
529 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Employee">
530 <rdfs:label>Employee</rdfs:label>
531 <owl:equivalentClass>
532 <owl:Class>
533 <owl:intersectionOf rdf:parseType="Collection">
534 <rdf:Description rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
535 <owl:Restriction>
536 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#worksFor"/>
537 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
538 </owl:Restriction>
539 </owl:intersectionOf>
540 </owl:Class>
541 </owl:equivalentClass>
542 </owl:Class>
543
544
545
546 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Faculty -->
547
548 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Faculty">
549 <rdfs:label>faculty member</rdfs:label>
550 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Employee"/>
551 </owl:Class>
552
553
554
555 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#FullProfessor -->
556
557 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#FullProfessor">
558 <rdfs:label>full professor</rdfs:label>
559 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
560 </owl:Class>
561
562
563
564 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#GraduateCourse -->
565
566 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#GraduateCourse">
567 <rdfs:label>Graduate Level Courses</rdfs:label>
568 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course"/>
569 </owl:Class>
570
571
572
573 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#GraduateStudent -->
574
575 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#GraduateStudent">
576 <rdfs:label>graduate student</rdfs:label>
577 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
578 <rdfs:subClassOf>
579 <owl:Restriction>
580 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#takesCourse"/>
581 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#GraduateCourse"/>
582 </owl:Restriction>
583 </rdfs:subClassOf>
584 </owl:Class>
585
586
587
588 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Institute -->
589
590 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Institute">
591 <rdfs:label>institute</rdfs:label>
592 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
593 </owl:Class>
594
595
596
597 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#JournalArticle -->
598
599 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#JournalArticle">
600 <rdfs:label>journal article</rdfs:label>
601 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Article"/>
602 </owl:Class>
603
604
605
606 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Lecturer -->
607
608 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Lecturer">
609 <rdfs:label>lecturer</rdfs:label>
610 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Faculty"/>
611 </owl:Class>
612
613
614
615 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Manual -->
616
617 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Manual">
618 <rdfs:label>manual</rdfs:label>
619 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
620 </owl:Class>
621
622
623
624 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization -->
625
626 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization">
627 <rdfs:label>organization</rdfs:label>
628 </owl:Class>
629
630
631
632 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person -->
633
634 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person">
635 <rdfs:label>person</rdfs:label>
636 </owl:Class>
637
638
639
640 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#PostDoc -->
641
642 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#PostDoc">
643 <rdfs:label>post doctorate</rdfs:label>
644 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Faculty"/>
645 </owl:Class>
646
647
648
649 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor -->
650
651 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor">
652 <rdfs:label>professor</rdfs:label>
653 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Faculty"/>
654 </owl:Class>
655
656
657
658 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Program -->
659
660 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Program">
661 <rdfs:label>program</rdfs:label>
662 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
663 </owl:Class>
664
665
666
667 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication -->
668
669 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication">
670 <rdfs:label>publication</rdfs:label>
671 </owl:Class>
672
673
674
675 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Research -->
676
677 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Research">
678 <rdfs:label>research work</rdfs:label>
679 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Work"/>
680 </owl:Class>
681
682
683
684 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ResearchAssistant -->
685
686 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ResearchAssistant">
687 <rdfs:label>university research assistant</rdfs:label>
688 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Student"/>
689 <rdfs:subClassOf>
690 <owl:Restriction>
691 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#worksFor"/>
692 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ResearchGroup"/>
693 </owl:Restriction>
694 </rdfs:subClassOf>
695 </owl:Class>
696
697
698
699 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ResearchGroup -->
700
701 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#ResearchGroup">
702 <rdfs:label>research group</rdfs:label>
703 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
704 </owl:Class>
705
706
707
708 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Schedule -->
709
710 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Schedule">
711 <rdfs:label>schedule</rdfs:label>
712 </owl:Class>
713
714
715
716 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Software -->
717
718 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Software">
719 <rdfs:label>software program</rdfs:label>
720 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
721 </owl:Class>
722
723
724
725 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Specification -->
726
727 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Specification">
728 <rdfs:label>published specification</rdfs:label>
729 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
730 </owl:Class>
731
732
733
734 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Student -->
735
736 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Student">
737 <rdfs:label>student</rdfs:label>
738 <owl:equivalentClass>
739 <owl:Class>
740 <owl:intersectionOf rdf:parseType="Collection">
741 <rdf:Description rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
742 <owl:Restriction>
743 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#takesCourse"/>
744 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course"/>
745 </owl:Restriction>
746 </owl:intersectionOf>
747 </owl:Class>
748 </owl:equivalentClass>
749 </owl:Class>
750
751
752
753 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#SystemsStaff -->
754
755 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#SystemsStaff">
756 <rdfs:label>systems staff worker</rdfs:label>
757 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#AdministrativeStaff"/>
758 </owl:Class>
759
760
761
762 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#TeachingAssistant -->
763
764 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#TeachingAssistant">
765 <rdfs:label>university teaching assistant</rdfs:label>
766 <owl:equivalentClass>
767 <owl:Class>
768 <owl:intersectionOf rdf:parseType="Collection">
769 <rdf:Description rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Person"/>
770 <owl:Restriction>
771 <owl:onProperty rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#teachingAssistantOf"/>
772 <owl:someValuesFrom rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Course"/>
773 </owl:Restriction>
774 </owl:intersectionOf>
775 </owl:Class>
776 </owl:equivalentClass>
777 </owl:Class>
778
779
780
781 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#TechnicalReport -->
782
783 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#TechnicalReport">
784 <rdfs:label>technical report</rdfs:label>
785 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Article"/>
786 </owl:Class>
787
788
789
790 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#UndergraduateStudent -->
791
792 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#UndergraduateStudent">
793 <rdfs:label>undergraduate student</rdfs:label>
794 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Student"/>
795 </owl:Class>
796
797
798
799 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University -->
800
801 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University">
802 <rdfs:label>university</rdfs:label>
803 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Organization"/>
804 </owl:Class>
805
806
807
808 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#UnofficialPublication -->
809
810 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#UnofficialPublication">
811 <rdfs:label>unnoficial publication</rdfs:label>
812 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Publication"/>
813 </owl:Class>
814
815
816
817 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#VisitingProfessor -->
818
819 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#VisitingProfessor">
820 <rdfs:label>visiting professor</rdfs:label>
821 <rdfs:subClassOf rdf:resource="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Professor"/>
822 </owl:Class>
823
824
825
826 <!-- http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Work -->
827
828 <owl:Class rdf:about="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Work">
829 <rdfs:label>Work</rdfs:label>
830 </owl:Class>
831</rdf:RDF>
832
833
834
835<!-- Generated by the OWL API (version 3.2.2.1502) http://owlapi.sourceforge.net -->
836
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-25 23:29:53 +0000