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