aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
Diffstat (limited to 'examples')
-rw-r--r--examples/lubm/univ-bench.orig.owl471
-rw-r--r--examples/lubm/univ-bench.ttl997
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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-03 18:58:14 +0000