aboutsummaryrefslogtreecommitdiff
path: root/data/uobm/univ-bench-dl.owl
diff options
context:
space:
mode:
authoryzhou <yujiao.zhou@gmail.com>2015-04-21 10:34:27 +0100
committeryzhou <yujiao.zhou@gmail.com>2015-04-21 10:34:27 +0100
commit9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 (patch)
tree47511c0fb89dccff0db4b5990522e04f294d795b /data/uobm/univ-bench-dl.owl
parentb1ac207612ee8b045244253fb94b866104bc34f2 (diff)
downloadACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.tar.gz
ACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.zip
initial version
Diffstat (limited to 'data/uobm/univ-bench-dl.owl')
-rw-r--r--data/uobm/univ-bench-dl.owl1765
1 files changed, 1765 insertions, 0 deletions
diff --git a/data/uobm/univ-bench-dl.owl b/data/uobm/univ-bench-dl.owl
new file mode 100644
index 0000000..54c1204
--- /dev/null
+++ b/data/uobm/univ-bench-dl.owl
@@ -0,0 +1,1765 @@
1<?xml version="1.0"?>
2<!DOCTYPE owl [
3<!ENTITY dc "http://purl.org/dc/elements/1.1/">
4<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
5<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
6<!ENTITY owl "http://www.w3.org/2002/07/owl#">
7<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
8<!ENTITY benchmark-dl "http://semantics.crl.ibm.com/univ-bench-dl.owl#">
9]>
10<rdf:RDF
11 xmlns:dc="http://purl.org/dc/elements/1.1/"
12 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
13 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
14 xmlns:owl="http://www.w3.org/2002/07/owl#"
15 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
16 xmlns:benchmark-dl="http://semantics.crl.ibm.com/univ-bench-dl.owl#"
17 xml:base="http://semantics.crl.ibm.com/univ-bench-dl.owl"
18>
19<owl:Ontology rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl">
20<rdfs:label>Univ-benchmark Ontology</rdfs:label>
21<rdfs:comment>An university ontology for benchmark tests. Language Level: OWL-DL SHIN(D).
22 This ontology are built on basis of Lehigh Benchmark Ontology,
23 http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl</rdfs:comment>
24<owl:versionInfo>benchmark-lite.owl, ver April 15, 2005</owl:versionInfo>
25</owl:Ontology>
26<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AcademicSubject">
27 <rdfs:label>Academic Subject</rdfs:label>
28</owl:Class>
29<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Article">
30 <rdfs:subClassOf>
31 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
32 </owl:Class>
33 </rdfs:subClassOf>
34 <rdfs:label>article</rdfs:label>
35</owl:Class>
36<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AssistantProfessor">
37 <rdfs:subClassOf>
38 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
39 </owl:Class>
40 </rdfs:subClassOf>
41 <rdfs:label>assistant professor</rdfs:label>
42</owl:Class>
43<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AssociateProfessor">
44 <rdfs:subClassOf>
45 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
46 </owl:Class>
47 </rdfs:subClassOf>
48 <rdfs:label>associate professor</rdfs:label>
49</owl:Class>
50<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballFan">
51 <owl:equivalentClass>
52 <owl:Class>
53 <owl:intersectionOf rdf:parseType="Collection">
54 <owl:Restriction>
55 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout" />
56 <owl:someValuesFrom>
57 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballClass"/>
58 </owl:someValuesFrom>
59
60 </owl:Restriction>
61 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
62 </owl:Class>
63 </owl:intersectionOf>
64 </owl:Class>
65 </owl:equivalentClass>
66</owl:Class>
67<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballLover">
68 <owl:equivalentClass>
69 <owl:Class>
70 <owl:intersectionOf rdf:parseType="Collection">
71 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
72 </owl:Class>
73 <owl:Restriction>
74 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#like" />
75 <owl:someValuesFrom>
76 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballClass"/>
77 </owl:someValuesFrom>
78 </owl:Restriction>
79 </owl:intersectionOf>
80 </owl:Class>
81 </owl:equivalentClass>
82 <rdfs:label>people who like baseball</rdfs:label>
83</owl:Class>
84<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallLover">
85 <owl:equivalentClass>
86 <owl:Class>
87 <owl:intersectionOf rdf:parseType="Collection">
88 <owl:Restriction>
89 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#like" />
90 <owl:someValuesFrom>
91 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallClass"/>
92 </owl:someValuesFrom>
93 </owl:Restriction>
94 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
95 </owl:Class>
96 </owl:intersectionOf>
97 </owl:Class>
98 </owl:equivalentClass>
99 <rdfs:label>people who like basket ball</rdfs:label>
100</owl:Class>
101<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallFan">
102 <owl:equivalentClass>
103 <owl:Class>
104 <owl:intersectionOf rdf:parseType="Collection">
105 <owl:Restriction>
106 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout" />
107 <owl:someValuesFrom>
108 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallClass"/>
109 </owl:someValuesFrom>
110
111 </owl:Restriction>
112 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
113 </owl:Class>
114 </owl:intersectionOf>
115 </owl:Class>
116 </owl:equivalentClass>
117</owl:Class>
118<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Book">
119 <rdfs:subClassOf>
120 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
121 </owl:Class>
122 </rdfs:subClassOf>
123 <rdfs:label>book</rdfs:label>
124</owl:Class>
125<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Chair">
126 <owl:equivalentClass>
127 <owl:Class>
128 <owl:intersectionOf rdf:parseType="Collection">
129 <owl:Restriction>
130 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isHeadOf" />
131 <owl:someValuesFrom>
132 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Department">
133 </owl:Class>
134 </owl:someValuesFrom>
135 </owl:Restriction>
136 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
137 </owl:Class>
138 </owl:intersectionOf>
139 </owl:Class>
140 </owl:equivalentClass>
141 <rdfs:subClassOf>
142 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
143 </owl:Class>
144 </rdfs:subClassOf>
145 <rdfs:label>chair</rdfs:label>
146</owl:Class>
147<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ClericalStaff">
148 <rdfs:subClassOf>
149 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SupportingStaff">
150 </owl:Class>
151 </rdfs:subClassOf>
152 <rdfs:label>clerical staff worker</rdfs:label>
153</owl:Class>
154<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#College">
155 <rdfs:subClassOf>
156 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
157 </owl:Class>
158 </rdfs:subClassOf>
159 <rdfs:label>school</rdfs:label>
160</owl:Class>
161<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ConferencePaper">
162 <rdfs:subClassOf>
163 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Article">
164 </owl:Class>
165 </rdfs:subClassOf>
166 <rdfs:label>conference paper</rdfs:label>
167</owl:Class>
168<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
169 <rdfs:subClassOf>
170 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Work">
171 </owl:Class>
172 </rdfs:subClassOf>
173 <rdfs:label>teaching course</rdfs:label>
174</owl:Class>
175<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Dean">
176 <owl:equivalentClass>
177 <owl:Class>
178 <owl:intersectionOf rdf:parseType="Collection">
179 <owl:Restriction>
180 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isHeadOf" />
181 <owl:someValuesFrom>
182 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#College">
183 </owl:Class>
184 </owl:someValuesFrom>
185 </owl:Restriction>
186 </owl:intersectionOf>
187 </owl:Class>
188 </owl:equivalentClass>
189 <rdfs:subClassOf>
190 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
191 </owl:Class>
192 </rdfs:subClassOf>
193 <rdfs:label>dean</rdfs:label>
194</owl:Class>
195<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Department">
196 <rdfs:subClassOf>
197 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
198 </owl:Class>
199 </rdfs:subClassOf>
200 <rdfs:label>university department</rdfs:label>
201</owl:Class>
202<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Director">
203 <owl:equivalentClass>
204 <owl:Class>
205 <owl:intersectionOf rdf:parseType="Collection">
206 <owl:Restriction>
207 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isHeadOf" />
208 <owl:someValuesFrom>
209 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Program">
210 </owl:Class>
211 </owl:someValuesFrom>
212 </owl:Restriction>
213 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
214 </owl:Class>
215 </owl:intersectionOf>
216 </owl:Class>
217 </owl:equivalentClass>
218 <rdfs:label>director</rdfs:label>
219</owl:Class>
220<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Employee">
221 <owl:equivalentClass>
222 <owl:Class>
223 <owl:intersectionOf rdf:parseType="Collection">
224 <owl:Restriction>
225 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#worksFor" />
226 <owl:someValuesFrom>
227 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
228 </owl:Class>
229 </owl:someValuesFrom>
230 </owl:Restriction>
231 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
232 </owl:Class>
233 </owl:intersectionOf>
234 </owl:Class>
235 </owl:equivalentClass>
236 <rdfs:label>Employee</rdfs:label>
237</owl:Class>
238
239<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Computer_EngineeringClass">
240 <rdfs:subClassOf>
241 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering">
242 </owl:Class>
243 </rdfs:subClassOf>
244</owl:Class>
245<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Petroleuml_EngineeringClass">
246 <rdfs:subClassOf>
247 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
248 </rdfs:subClassOf>
249</owl:Class>
250<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Civil_EngineeringClass">
251 <rdfs:subClassOf>
252 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
253 </rdfs:subClassOf>
254</owl:Class>
255<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Mechanical_EngineeringClass">
256 <rdfs:subClassOf>
257 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
258 </rdfs:subClassOf>
259</owl:Class>
260
261<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Industry_EngineeringClass">
262 <rdfs:subClassOf>
263 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
264 </rdfs:subClassOf>
265</owl:Class>
266
267<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Aeronautical_EngineeringClass">
268 <rdfs:subClassOf>
269 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
270 </rdfs:subClassOf>
271</owl:Class>
272
273<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Chemical_EngineeringClass">
274 <rdfs:subClassOf>
275 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
276 </rdfs:subClassOf>
277</owl:Class>
278
279<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Biomedical_EngineeringClass">
280 <rdfs:subClassOf>
281 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
282 </rdfs:subClassOf>
283</owl:Class>
284
285<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Materical_Science_EngineeringClass">
286 <rdfs:subClassOf>
287 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
288 </rdfs:subClassOf>
289</owl:Class>
290
291<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Electrical_EngineeringClass">
292 <rdfs:subClassOf>
293 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering"/>
294 </rdfs:subClassOf>
295</owl:Class>
296
297<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Engineering">
298 <rdfs:subClassOf>
299 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AcademicSubject">
300 </owl:Class>
301 </rdfs:subClassOf>
302 <rdfs:label>Engineering</rdfs:label>
303</owl:Class>
304
305<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Faculty">
306 <rdfs:subClassOf>
307 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Employee">
308 </owl:Class>
309 </rdfs:subClassOf>
310 <rdfs:label>faculty member</rdfs:label>
311</owl:Class>
312
313<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Theatre_and_DanceClass">
314 <rdfs:subClassOf>
315 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
316 </rdfs:subClassOf>
317</owl:Class>
318<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ArchitectureClass">
319 <rdfs:subClassOf>
320 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
321 </rdfs:subClassOf>
322</owl:Class>
323<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Modern_ArtsClass">
324 <rdfs:subClassOf>
325 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
326 </rdfs:subClassOf>
327</owl:Class>
328<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Latin_ArtsClass">
329 <rdfs:subClassOf>
330 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
331 </rdfs:subClassOf>
332</owl:Class>
333<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#MusicsClass">
334 <rdfs:subClassOf>
335 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
336 </rdfs:subClassOf>
337</owl:Class>
338<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Performing_ArtsClass">
339 <rdfs:subClassOf>
340 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
341 </rdfs:subClassOf>
342</owl:Class>
343<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#DramaClass">
344 <rdfs:subClassOf>
345 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
346 </rdfs:subClassOf>
347</owl:Class>
348<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Media_Arts_And_ciencesClass">
349 <rdfs:subClassOf>
350 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
351 </rdfs:subClassOf>
352</owl:Class>
353<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Medieval_ArtsClass">
354 <rdfs:subClassOf>
355 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
356 </rdfs:subClassOf>
357</owl:Class>
358<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Asian_ArtsClass">
359 <rdfs:subClassOf>
360 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts"/>
361 </rdfs:subClassOf>
362</owl:Class>
363
364<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FineArts">
365 <rdfs:subClassOf>
366 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AcademicSubject">
367 </owl:Class>
368 </rdfs:subClassOf>
369</owl:Class>
370
371<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#FullProfessor">
372 <rdfs:subClassOf>
373 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
374 </owl:Class>
375 </rdfs:subClassOf>
376 <rdfs:label>full professor</rdfs:label>
377</owl:Class>
378<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#GraduateCourse">
379 <rdfs:subClassOf>
380 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
381 </owl:Class>
382 </rdfs:subClassOf>
383 <rdfs:label>Graduate Level Courses</rdfs:label>
384</owl:Class>
385<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#GraduateStudent">
386 <owl:equivalentClass>
387 <owl:Class>
388 <owl:intersectionOf rdf:parseType="Collection">
389 <owl:Restriction>
390 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#takesCourse" />
391 <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
392 </owl:Restriction>
393 <owl:Restriction>
394 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#takesCourse" />
395 <owl:allValuesFrom>
396 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#GraduateCourse">
397 </owl:Class>
398 </owl:allValuesFrom>
399 </owl:Restriction>
400 </owl:intersectionOf>
401 </owl:Class>
402 </owl:equivalentClass>
403 <rdfs:label>graduate student</rdfs:label>
404</owl:Class>
405
406<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ReligionsClass">
407 <rdfs:subClassOf>
408 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
409 </rdfs:subClassOf>
410</owl:Class>
411<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#EconomicsClass">
412 <rdfs:subClassOf>
413 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
414 </rdfs:subClassOf>
415</owl:Class>
416<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesClass">
417 <rdfs:subClassOf>
418 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
419 </rdfs:subClassOf>
420</owl:Class>
421<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HistoryClass">
422 <rdfs:subClassOf>
423 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
424 </rdfs:subClassOf>
425</owl:Class>
426<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AnthropologyClass">
427 <rdfs:subClassOf>
428 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
429 </rdfs:subClassOf>
430</owl:Class>
431<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PhilosophyClass">
432 <rdfs:subClassOf>
433 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
434 </rdfs:subClassOf>
435</owl:Class>
436<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#LinguisticsClass">
437 <rdfs:subClassOf>
438 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
439 </rdfs:subClassOf>
440</owl:Class>
441<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Modern_LanguagesClass">
442 <rdfs:subClassOf>
443 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
444 </rdfs:subClassOf>
445</owl:Class>
446<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PsychologyClass">
447 <rdfs:subClassOf>
448 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
449 </rdfs:subClassOf>
450</owl:Class>
451<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#EnglishClass">
452 <rdfs:subClassOf>
453 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial"/>
454 </rdfs:subClassOf>
455</owl:Class>
456
457
458<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesAndSocial">
459 <rdfs:subClassOf>
460 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AcademicSubject">
461 </owl:Class>
462 </rdfs:subClassOf>
463 <rdfs:label>HumanitiesAndSocial</rdfs:label>
464</owl:Class>
465<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
466</owl:Class>
467<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Institute">
468 <rdfs:subClassOf>
469 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
470 </owl:Class>
471 </rdfs:subClassOf>
472 <rdfs:label>institute</rdfs:label>
473</owl:Class>
474<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#JournalArticle">
475 <rdfs:subClassOf>
476 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Article">
477 </owl:Class>
478 </rdfs:subClassOf>
479 <rdfs:label>journal article</rdfs:label>
480</owl:Class>
481<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Lecturer">
482 <rdfs:subClassOf>
483 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Faculty">
484 </owl:Class>
485 </rdfs:subClassOf>
486 <rdfs:label>lecturer</rdfs:label>
487</owl:Class>
488<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#LeisureStudent">
489 <rdfs:subClassOf>
490 <owl:Restriction>
491 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#takesCourse" />
492 <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">3</owl:maxCardinality>
493 </owl:Restriction>
494 </rdfs:subClassOf>
495 <rdfs:label>students who have plenty of leisure time</rdfs:label>
496</owl:Class>
497<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Man">
498</owl:Class>
499<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Manual">
500 <rdfs:subClassOf>
501 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
502 </owl:Class>
503 </rdfs:subClassOf>
504 <rdfs:label>manual</rdfs:label>
505</owl:Class>
506<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Music">
507 <rdfs:subClassOf>
508 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
509 </owl:Class>
510 </rdfs:subClassOf>
511</owl:Class>
512<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#NonScienceStudent">
513 <owl:equivalentClass>
514 <owl:Class>
515 <owl:intersectionOf rdf:parseType="Collection">
516 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
517 </owl:Class>
518 <owl:Class>
519 <owl:complementOf>
520 <owl:Restriction>
521 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMajor" />
522 <owl:someValuesFrom>
523 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science">
524 </owl:Class>
525 </owl:someValuesFrom>
526 </owl:Restriction>
527 </owl:complementOf>
528 </owl:Class>
529 </owl:intersectionOf>
530 </owl:Class>
531 </owl:equivalentClass>
532 <rdfs:label>student whose major is not science</rdfs:label>
533</owl:Class>
534<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
535 <rdfs:label>organization</rdfs:label>
536</owl:Class>
537<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PeopleWithHobby">
538 <owl:equivalentClass>
539 <owl:Class>
540 <owl:intersectionOf rdf:parseType="Collection">
541 <owl:Restriction>
542 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#like" />
543 <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
544 </owl:Restriction>
545 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
546 </owl:Class>
547 </owl:intersectionOf>
548 </owl:Class>
549 </owl:equivalentClass>
550</owl:Class>
551<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PeopleWithManyHobbies">
552 <owl:equivalentClass>
553 <owl:Restriction>
554 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#like" />
555 <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">3</owl:minCardinality>
556 </owl:Restriction>
557 </owl:equivalentClass>
558 <rdfs:label>People who have at least 3 hobbies</rdfs:label>
559</owl:Class>
560<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
561 <owl:equivalentClass>
562 <owl:Class>
563 <owl:unionOf rdf:parseType="Collection">
564 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Man">
565 </owl:Class>
566 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Woman">
567 </owl:Class>
568 </owl:unionOf>
569 </owl:Class>
570 </owl:equivalentClass>
571 <rdfs:label>person</rdfs:label>
572</owl:Class>
573<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PostDoc">
574 <rdfs:subClassOf>
575 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Faculty">
576 </owl:Class>
577 </rdfs:subClassOf>
578 <rdfs:label>post doctorate</rdfs:label>
579</owl:Class>
580<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
581 <rdfs:subClassOf>
582 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Faculty">
583 </owl:Class>
584 </rdfs:subClassOf>
585 <rdfs:label>professor</rdfs:label>
586</owl:Class>
587<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Program">
588 <rdfs:subClassOf>
589 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
590 </owl:Class>
591 </rdfs:subClassOf>
592 <rdfs:label>program</rdfs:label>
593</owl:Class>
594<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
595 <rdfs:label>publication</rdfs:label>
596</owl:Class>
597<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Research">
598 <rdfs:subClassOf>
599 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Work">
600 </owl:Class>
601 </rdfs:subClassOf>
602 <rdfs:label>research work</rdfs:label>
603</owl:Class>
604<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ResearchAssistant">
605 <rdfs:subClassOf>
606 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
607 </owl:Class>
608 </rdfs:subClassOf>
609 <rdfs:subClassOf>
610 <owl:Restriction>
611 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#worksFor" />
612 <owl:someValuesFrom>
613 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ResearchGroup">
614 </owl:Class>
615 </owl:someValuesFrom>
616 </owl:Restriction>
617 </rdfs:subClassOf>
618 <rdfs:label>university research assistant</rdfs:label>
619</owl:Class>
620<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ResearchGroup">
621 <rdfs:subClassOf>
622 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
623 </owl:Class>
624 </rdfs:subClassOf>
625 <rdfs:label>research group</rdfs:label>
626</owl:Class>
627<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Schedule">
628 <rdfs:label>schedule</rdfs:label>
629</owl:Class>
630
631<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AstronomyClass">
632 <rdfs:subClassOf>
633 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
634 </rdfs:subClassOf>
635</owl:Class>
636<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#GeosciencesClass">
637 <rdfs:subClassOf>
638 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
639 </rdfs:subClassOf>
640</owl:Class>
641<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Computer_ScienceClass">
642 <rdfs:subClassOf>
643 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
644 </rdfs:subClassOf>
645</owl:Class>
646<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PhysicsClass">
647 <rdfs:subClassOf>
648 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
649 </rdfs:subClassOf>
650</owl:Class>
651<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#StatisticsClass">
652 <rdfs:subClassOf>
653 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
654 </rdfs:subClassOf>
655</owl:Class>
656<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Marine_ScienceClass">
657 <rdfs:subClassOf>
658 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
659 </rdfs:subClassOf>
660</owl:Class>
661<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ChemistryClass">
662 <rdfs:subClassOf>
663 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
664 </rdfs:subClassOf>
665</owl:Class>
666<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#MathematicsClass">
667 <rdfs:subClassOf>
668 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
669 </rdfs:subClassOf>
670</owl:Class>
671<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BiologyClass">
672 <rdfs:subClassOf>
673 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
674 </rdfs:subClassOf>
675</owl:Class>
676<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Materials_ScienceClass">
677 <rdfs:subClassOf>
678 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science"/>
679 </rdfs:subClassOf>
680</owl:Class>
681
682<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science">
683 <rdfs:subClassOf>
684 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AcademicSubject">
685 </owl:Class>
686 </rdfs:subClassOf>
687 <rdfs:label>Science</rdfs:label>
688</owl:Class>
689<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ScienceStudent">
690 <owl:equivalentClass>
691 <owl:Class>
692 <owl:intersectionOf rdf:parseType="Collection">
693 <owl:Restriction>
694 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMajor" />
695 <owl:someValuesFrom>
696 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Science">
697 </owl:Class>
698 </owl:someValuesFrom>
699 </owl:Restriction>
700 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
701 </owl:Class>
702 </owl:intersectionOf>
703 </owl:Class>
704 </owl:equivalentClass>
705</owl:Class>
706<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Software">
707 <rdfs:subClassOf>
708 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
709 </owl:Class>
710 </rdfs:subClassOf>
711 <rdfs:label>software program</rdfs:label>
712</owl:Class>
713<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Specification">
714 <rdfs:subClassOf>
715 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
716 </owl:Class>
717 </rdfs:subClassOf>
718 <rdfs:label>published specification</rdfs:label>
719</owl:Class>
720<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
721 <rdfs:subClassOf>
722 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
723 </owl:Class>
724 </rdfs:subClassOf>
725</owl:Class>
726<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SportsFan">
727 <owl:equivalentClass>
728 <owl:Class>
729 <owl:intersectionOf rdf:parseType="Collection">
730 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
731 </owl:Class>
732 <owl:Restriction>
733 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout" />
734 <owl:someValuesFrom>
735 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
736 </owl:Class>
737 </owl:someValuesFrom>
738 </owl:Restriction>
739 </owl:intersectionOf>
740 </owl:Class>
741 </owl:equivalentClass>
742</owl:Class>
743<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SportsLover">
744 <owl:equivalentClass>
745 <owl:Class>
746 <owl:intersectionOf rdf:parseType="Collection">
747 <owl:Restriction>
748 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#like" />
749 <owl:someValuesFrom>
750 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
751 </owl:Class>
752 </owl:someValuesFrom>
753 </owl:Restriction>
754 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
755 </owl:Class>
756 </owl:intersectionOf>
757 </owl:Class>
758 </owl:equivalentClass>
759 <rdfs:label>People who like Sports</rdfs:label>
760</owl:Class>
761<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
762 <owl:equivalentClass>
763 <owl:Class>
764 <owl:intersectionOf rdf:parseType="Collection">
765 <owl:Restriction>
766 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isStudentOf" />
767 <owl:someValuesFrom>
768 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
769 </owl:Class>
770 </owl:someValuesFrom>
771 </owl:Restriction>
772 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
773 </owl:Class>
774 </owl:intersectionOf>
775 </owl:Class>
776 </owl:equivalentClass>
777 <rdfs:label>student</rdfs:label>
778</owl:Class>
779<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SupportingStaff">
780 <rdfs:subClassOf>
781 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Employee">
782 </owl:Class>
783 </rdfs:subClassOf>
784 <rdfs:label>administrative staff worker</rdfs:label>
785</owl:Class>
786<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SwimmingFan">
787 <owl:equivalentClass>
788 <owl:Class>
789 <owl:intersectionOf rdf:parseType="Collection">
790 <owl:Restriction>
791 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout" />
792 <owl:someValuesFrom>
793 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SwimmingClass"/>
794 </owl:someValuesFrom>
795 </owl:Restriction>
796 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
797 </owl:Class>
798 </owl:intersectionOf>
799 </owl:Class>
800 </owl:equivalentClass>
801</owl:Class>
802<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SwimmingLover">
803 <owl:equivalentClass>
804 <owl:Class>
805 <owl:intersectionOf rdf:parseType="Collection">
806 <owl:Restriction>
807 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#like" />
808 <owl:someValuesFrom>
809 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SwimmingClass"/>
810 </owl:someValuesFrom>
811
812 </owl:Restriction>
813 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
814 </owl:Class>
815 </owl:intersectionOf>
816 </owl:Class>
817 </owl:equivalentClass>
818 <rdfs:label>people who like swimming</rdfs:label>
819</owl:Class>
820<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SystemsStaff">
821 <rdfs:subClassOf>
822 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SupportingStaff">
823 </owl:Class>
824 </rdfs:subClassOf>
825 <rdfs:label>systems staff worker</rdfs:label>
826</owl:Class>
827<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TeachingAssistant">
828 <owl:equivalentClass>
829 <owl:Class>
830 <owl:intersectionOf rdf:parseType="Collection">
831 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
832 </owl:Class>
833 <owl:Restriction>
834 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#teachingAssistantOf" />
835 <owl:someValuesFrom>
836 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
837 </owl:Class>
838 </owl:someValuesFrom>
839 </owl:Restriction>
840 </owl:intersectionOf>
841 </owl:Class>
842 </owl:equivalentClass>
843 <rdfs:label>university teaching assistant</rdfs:label>
844</owl:Class>
845<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TechnicalReport">
846 <rdfs:subClassOf>
847 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Article">
848 </owl:Class>
849 </rdfs:subClassOf>
850 <rdfs:label>technical report</rdfs:label>
851</owl:Class>
852<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TennisFan">
853 <owl:equivalentClass>
854 <owl:Class>
855 <owl:intersectionOf rdf:parseType="Collection">
856 <owl:Restriction>
857 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout" />
858 <owl:someValuesFrom>
859 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TennisClass"/>
860 </owl:someValuesFrom>
861
862 </owl:Restriction>
863 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
864 </owl:Class>
865 </owl:intersectionOf>
866 </owl:Class>
867 </owl:equivalentClass>
868</owl:Class>
869<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#UndergraduateStudent">
870 <rdfs:subClassOf>
871 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
872 </owl:Class>
873 </rdfs:subClassOf>
874 <rdfs:label>undergraduate student</rdfs:label>
875</owl:Class>
876<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#University">
877 <rdfs:subClassOf>
878 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
879 </owl:Class>
880 </rdfs:subClassOf>
881 <rdfs:label>university</rdfs:label>
882</owl:Class>
883<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#UnofficialPublication">
884 <rdfs:subClassOf>
885 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
886 </owl:Class>
887 </rdfs:subClassOf>
888 <rdfs:label>unnoficial publication</rdfs:label>
889</owl:Class>
890<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#VisitingProfessor">
891 <rdfs:subClassOf>
892 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
893 </owl:Class>
894 </rdfs:subClassOf>
895 <rdfs:label>visiting professor</rdfs:label>
896</owl:Class>
897<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Woman">
898</owl:Class>
899<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#WomanCollege">
900 <owl:equivalentClass>
901 <owl:Class>
902 <owl:intersectionOf rdf:parseType="Collection">
903 <owl:Restriction>
904 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasStudent" />
905 <owl:allValuesFrom>
906 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#UndergraduateStudent">
907 </owl:Class>
908 </owl:allValuesFrom>
909 </owl:Restriction>
910 <owl:Restriction>
911 <owl:onProperty rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasStudent" />
912 <owl:allValuesFrom>
913 <owl:Class>
914 <owl:complementOf>
915 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Man">
916 </owl:Class>
917 </owl:complementOf>
918 </owl:Class>
919 </owl:allValuesFrom>
920 </owl:Restriction>
921 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#College">
922 </owl:Class>
923 </owl:intersectionOf>
924 </owl:Class>
925 </owl:equivalentClass>
926 <rdfs:label>a college who only take female undergraduate students</rdfs:label>
927</owl:Class>
928<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Work">
929 <rdfs:label>Work</rdfs:label>
930</owl:Class>
931<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
932</owl:Class>
933<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#enrollIn">
934 <rdfs:range>
935 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Department">
936 </owl:Class>
937 </rdfs:range>
938</owl:ObjectProperty>
939<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasAlumnus">
940 <rdfs:domain>
941 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#University">
942 </owl:Class>
943 </rdfs:domain>
944 <rdfs:range>
945 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
946 </owl:Class>
947 </rdfs:range>
948 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDegreeFrom" />
949 <rdfs:label>has as an alumnus</rdfs:label>
950</owl:ObjectProperty>
951<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDegreeFrom">
952 <rdfs:domain>
953 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
954 </owl:Class>
955 </rdfs:domain>
956 <rdfs:range>
957 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#University">
958 </owl:Class>
959 </rdfs:range>
960 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasAlumnus" />
961 <rdfs:label>has a degree from</rdfs:label>
962</owl:ObjectProperty>
963<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDoctoralDegreeFrom">
964 <rdfs:domain>
965 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
966 </owl:Class>
967 </rdfs:domain>
968 <rdfs:range>
969 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#University">
970 </owl:Class>
971 </rdfs:range>
972 <rdfs:label>has a doctoral degree from</rdfs:label>
973</owl:ObjectProperty>
974<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMajor">
975 <rdfs:range>
976 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AcademicSubject">
977 </owl:Class>
978 </rdfs:range>
979</owl:ObjectProperty>
980<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMasterDegreeFrom">
981 <rdfs:domain>
982 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
983 </owl:Class>
984 </rdfs:domain>
985 <rdfs:range>
986 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#University">
987 </owl:Class>
988 </rdfs:range>
989 <rdfs:label>has a masters degree from</rdfs:label>
990</owl:ObjectProperty>
991<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMember">
992 <rdfs:domain>
993 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
994 </owl:Class>
995 </rdfs:domain>
996 <rdfs:range>
997 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
998 </owl:Class>
999 </rdfs:range>
1000 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isMemberOf" />
1001 <rdfs:label>has as a member</rdfs:label>
1002</owl:ObjectProperty>
1003<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasSameHomeTownWith">
1004 <rdf:type rdf:resource="&owl;TransitiveProperty" />
1005 <rdf:type rdf:resource="&owl;SymmetricProperty" />
1006 <rdfs:domain>
1007 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1008 </owl:Class>
1009 </rdfs:domain>
1010 <rdfs:range>
1011 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1012 </owl:Class>
1013 </rdfs:range>
1014</owl:ObjectProperty>
1015<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasStudent">
1016 <rdfs:domain>
1017 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1018 </owl:Class>
1019 </rdfs:domain>
1020 <rdfs:range>
1021 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
1022 </owl:Class>
1023 </rdfs:range>
1024 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#isStudentOf" />
1025</owl:ObjectProperty>
1026<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasUndergraduateDegreeFrom">
1027 <rdfs:domain>
1028 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1029 </owl:Class>
1030 </rdfs:domain>
1031 <rdfs:range>
1032 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#University">
1033 </owl:Class>
1034 </rdfs:range>
1035 <rdfs:label>has an undergraduate degree from</rdfs:label>
1036</owl:ObjectProperty>
1037<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isAdvisedBy">
1038 <rdfs:domain>
1039 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1040 </owl:Class>
1041 </rdfs:domain>
1042 <rdfs:range>
1043 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
1044 </owl:Class>
1045 </rdfs:range>
1046 <rdfs:label>is being advised by</rdfs:label>
1047</owl:ObjectProperty>
1048<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isAffiliateOf">
1049 <rdfs:domain>
1050 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1051 </owl:Class>
1052 </rdfs:domain>
1053 <rdfs:range>
1054 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1055 </owl:Class>
1056 </rdfs:range>
1057 <rdfs:label>is affiliated with</rdfs:label>
1058</owl:ObjectProperty>
1059<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isAffiliatedOrganizationOf">
1060 <rdfs:domain>
1061 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1062 </owl:Class>
1063 </rdfs:domain>
1064 <rdfs:range>
1065 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1066 </owl:Class>
1067 </rdfs:range>
1068 <rdfs:label>is affiliated with</rdfs:label>
1069</owl:ObjectProperty>
1070<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout">
1071</owl:ObjectProperty>
1072<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isFriendOf">
1073 <rdf:type rdf:resource="&owl;SymmetricProperty" />
1074 <rdfs:domain>
1075 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1076 </owl:Class>
1077 </rdfs:domain>
1078 <rdfs:range>
1079 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1080 </owl:Class>
1081 </rdfs:range>
1082 <rdfs:label>is a friend of</rdfs:label>
1083</owl:ObjectProperty>
1084<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isHeadOf">
1085 <rdf:type rdf:resource="&owl;InverseFunctionalProperty" />
1086 <rdfs:label>is the head of</rdfs:label>
1087</owl:ObjectProperty>
1088<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isMemberOf">
1089 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMember" />
1090 <rdfs:label>member of</rdfs:label>
1091</owl:ObjectProperty>
1092<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isStudentOf">
1093 <rdfs:domain>
1094 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
1095 </owl:Class>
1096 </rdfs:domain>
1097 <rdfs:range>
1098 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1099 </owl:Class>
1100 </rdfs:range>
1101 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasStudent" />
1102</owl:ObjectProperty>
1103<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isTaughtBy">
1104 <rdf:type rdf:resource="&owl;FunctionalProperty" />
1105 <rdfs:domain>
1106 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
1107 </owl:Class>
1108 </rdfs:domain>
1109 <rdfs:range>
1110 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Faculty">
1111 </owl:Class>
1112 </rdfs:range>
1113 <owl:inverseOf rdf:resource="http://semantics.crl.ibm.com/univ-bench-dl.owl#teacherOf" />
1114 <rdfs:label>is taught by</rdfs:label>
1115</owl:ObjectProperty>
1116<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#like">
1117 <rdfs:label>like</rdfs:label>
1118</owl:ObjectProperty>
1119<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#listedCourse">
1120 <rdfs:domain>
1121 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Schedule">
1122 </owl:Class>
1123 </rdfs:domain>
1124 <rdfs:range>
1125 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
1126 </owl:Class>
1127 </rdfs:range>
1128 <rdfs:label>lists as a course</rdfs:label>
1129</owl:ObjectProperty>
1130<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#love">
1131 <rdfs:label>same property of liike</rdfs:label>
1132</owl:ObjectProperty>
1133<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#orgPublication">
1134 <rdfs:domain>
1135 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1136 </owl:Class>
1137 </rdfs:domain>
1138 <rdfs:range>
1139 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
1140 </owl:Class>
1141 </rdfs:range>
1142 <rdfs:label>publishes</rdfs:label>
1143</owl:ObjectProperty>
1144<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#publicationAuthor">
1145 <rdfs:domain>
1146 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
1147 </owl:Class>
1148 </rdfs:domain>
1149 <rdfs:range>
1150 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1151 </owl:Class>
1152 </rdfs:range>
1153 <rdfs:label>was written by</rdfs:label>
1154</owl:ObjectProperty>
1155<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#publicationDate">
1156 <rdfs:domain>
1157 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
1158 </owl:Class>
1159 </rdfs:domain>
1160 <rdfs:label>was written on</rdfs:label>
1161</owl:ObjectProperty>
1162<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#publicationResearch">
1163 <rdfs:domain>
1164 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
1165 </owl:Class>
1166 </rdfs:domain>
1167 <rdfs:range>
1168 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Research">
1169 </owl:Class>
1170 </rdfs:range>
1171 <rdfs:label>is about</rdfs:label>
1172</owl:ObjectProperty>
1173<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#researchProject">
1174 <rdfs:domain>
1175 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ResearchGroup">
1176 </owl:Class>
1177 </rdfs:domain>
1178 <rdfs:range>
1179 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Research">
1180 </owl:Class>
1181 </rdfs:range>
1182 <rdfs:label>has as a research project</rdfs:label>
1183</owl:ObjectProperty>
1184<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#softwareDocumentation">
1185 <rdfs:domain>
1186 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Software">
1187 </owl:Class>
1188 </rdfs:domain>
1189 <rdfs:range>
1190 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Publication">
1191 </owl:Class>
1192 </rdfs:range>
1193 <rdfs:label>is documented in</rdfs:label>
1194</owl:ObjectProperty>
1195<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#softwareVersion">
1196 <rdfs:domain>
1197 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Software">
1198 </owl:Class>
1199 </rdfs:domain>
1200 <rdfs:label>is version</rdfs:label>
1201</owl:ObjectProperty>
1202<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#subOrganizationOf">
1203 <rdf:type rdf:resource="&owl;TransitiveProperty" />
1204 <rdfs:domain>
1205 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1206 </owl:Class>
1207 </rdfs:domain>
1208 <rdfs:range>
1209 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Organization">
1210 </owl:Class>
1211 </rdfs:range>
1212 <rdfs:label>is part of</rdfs:label>
1213</owl:ObjectProperty>
1214<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#takesCourse">
1215 <rdfs:domain>
1216 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Student">
1217 </owl:Class>
1218 </rdfs:domain>
1219 <rdfs:label>is taking</rdfs:label>
1220</owl:ObjectProperty>
1221<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#teacherOf">
1222 <rdfs:domain>
1223 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Faculty">
1224 </owl:Class>
1225 </rdfs:domain>
1226 <rdfs:range>
1227 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
1228 </owl:Class>
1229 </rdfs:range>
1230 <rdfs:label>teaches</rdfs:label>
1231</owl:ObjectProperty>
1232<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#teachingAssistantOf">
1233 <rdfs:domain>
1234 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TeachingAssistant">
1235 </owl:Class>
1236 </rdfs:domain>
1237 <rdfs:range>
1238 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Course">
1239 </owl:Class>
1240 </rdfs:range>
1241 <rdfs:label>is a teaching assistant for</rdfs:label>
1242</owl:ObjectProperty>
1243<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#tenured">
1244 <rdfs:domain>
1245 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Professor">
1246 </owl:Class>
1247 </rdfs:domain>
1248 <rdfs:label>is tenured:</rdfs:label>
1249</owl:ObjectProperty>
1250<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#worksFor">
1251 <rdfs:label>Works For</rdfs:label>
1252</owl:ObjectProperty>
1253
1254<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#age">
1255 <rdfs:domain> <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1256 </owl:Class>
1257</rdfs:domain>
1258 <rdfs:label>is age</rdfs:label>
1259</owl:DatatypeProperty>
1260<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#emailAddress">
1261 <rdfs:domain> <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1262 </owl:Class>
1263</rdfs:domain>
1264 <rdfs:label>can be reached at</rdfs:label>
1265</owl:DatatypeProperty>
1266<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#firstName">
1267 <rdfs:domain> <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1268 </owl:Class>
1269</rdfs:domain>
1270 <rdfs:range> <rdfs:Datatype rdf:about="http://www.w3.org/2001/XMLSchema#string"/>
1271</rdfs:range>
1272</owl:DatatypeProperty>
1273<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#lastName">
1274 <rdfs:domain> <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1275 </owl:Class>
1276</rdfs:domain>
1277 <rdfs:range> <rdfs:Datatype rdf:about="http://www.w3.org/2001/XMLSchema#string"/>
1278</rdfs:range>
1279</owl:DatatypeProperty>
1280<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#name">
1281 <rdfs:label>name</rdfs:label>
1282</owl:DatatypeProperty>
1283<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#officeNumber">
1284 <rdfs:label>office room No.</rdfs:label>
1285</owl:DatatypeProperty>
1286<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#researchInterest">
1287 <rdfs:label>is researching</rdfs:label>
1288</owl:ObjectProperty>
1289<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#telephone">
1290 <rdfs:domain> <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1291 </owl:Class>
1292</rdfs:domain>
1293 <rdfs:label>telephone number</rdfs:label>
1294</owl:DatatypeProperty>
1295<owl:DatatypeProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#title">
1296 <rdfs:domain> <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Person">
1297 </owl:Class>
1298</rdfs:domain>
1299 <rdfs:label>title</rdfs:label>
1300</owl:DatatypeProperty>
1301
1302<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Aeronautical_Engineering">
1303 <rdf:type>
1304 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Aeronautical_EngineeringClass">
1305 </owl:Class>
1306 </rdf:type>
1307</rdf:Description>
1308<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AmericanFootball">
1309 <rdf:type>
1310 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1311 </owl:Class>
1312 </rdf:type>
1313 <rdfs:label>AmericanFootball</rdfs:label>
1314</rdf:Description>
1315<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Anthropology">
1316 <rdf:type>
1317 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AnthropologyClass">
1318 </owl:Class>
1319 </rdf:type>
1320</rdf:Description>
1321<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Architecture">
1322 <rdf:type>
1323 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ArchitectureClass">
1324 </owl:Class>
1325 </rdf:type>
1326</rdf:Description>
1327<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Asian_Arts">
1328 <rdf:type>
1329 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Asian_ArtsClass">
1330 </owl:Class>
1331 </rdf:type>
1332</rdf:Description>
1333<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Astronomy">
1334 <rdf:type>
1335 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#AstronomyClass">
1336 </owl:Class>
1337 </rdf:type>
1338</rdf:Description>
1339<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Baseball">
1340 <rdf:type>
1341 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballClass">
1342 </owl:Class>
1343 </rdf:type>
1344 <rdfs:label>Baseball</rdfs:label>
1345</rdf:Description>
1346<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBall">
1347 <rdf:type>
1348 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallClass">
1349 </owl:Class>
1350 </rdf:type>
1351 <rdfs:label>BasketBall</rdfs:label>
1352</rdf:Description>
1353<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Biology">
1354 <rdf:type>
1355 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BiologyClass">
1356 </owl:Class>
1357 </rdf:type>
1358</rdf:Description>
1359<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Biomedical_Engineering">
1360 <rdf:type>
1361 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Biomedical_EngineeringClass">
1362
1363 </owl:Class>
1364 </rdf:type>
1365</rdf:Description>
1366<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Chemical_Engineering">
1367 <rdf:type>
1368 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Chemical_EngineeringClass">
1369 </owl:Class>
1370 </rdf:type>
1371</rdf:Description>
1372<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Chemistry">
1373 <rdf:type>
1374 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ChemistryClass">
1375 </owl:Class>
1376 </rdf:type>
1377</rdf:Description>
1378<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Civil_Engineering">
1379 <rdf:type>
1380 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Civil_EngineeringClass">
1381 </owl:Class>
1382 </rdf:type>
1383</rdf:Description>
1384<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Classic_Music">
1385 <rdf:type>
1386 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Music">
1387 </owl:Class>
1388 </rdf:type>
1389</rdf:Description>
1390<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Computer_Engineering">
1391 <rdf:type>
1392 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Computer_EngineeringClass">
1393 </owl:Class>
1394 </rdf:type>
1395</rdf:Description>
1396<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Computer_Science">
1397 <rdf:type>
1398 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Computer_ScienceClass">
1399 </owl:Class>
1400 </rdf:type>
1401</rdf:Description>
1402<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Drama">
1403 <rdf:type>
1404 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#DramaClass">
1405 </owl:Class>
1406 </rdf:type>
1407</rdf:Description>
1408<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Economics">
1409 <rdf:type>
1410 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#EconomicsClass">
1411 </owl:Class>
1412 </rdf:type>
1413</rdf:Description>
1414<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Electrical_Engineering">
1415 <rdf:type>
1416 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Electrical_EngineeringClass">
1417 </owl:Class>
1418 </rdf:type>
1419</rdf:Description>
1420<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#English">
1421 <rdf:type>
1422 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#EnglishClass">
1423 </owl:Class>
1424 </rdf:type>
1425</rdf:Description>
1426<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Geosciences">
1427 <rdf:type>
1428 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#GeosciencesClass">
1429 </owl:Class>
1430 </rdf:type>
1431</rdf:Description>
1432<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#History">
1433 <rdf:type>
1434 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HistoryClass">
1435 </owl:Class>
1436 </rdf:type>
1437</rdf:Description>
1438<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Humanities">
1439 <rdf:type>
1440 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#HumanitiesClass">
1441 </owl:Class>
1442 </rdf:type>
1443</rdf:Description>
1444<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Industry_Engineering">
1445 <rdf:type>
1446 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Industry_EngineeringClass">
1447 </owl:Class>
1448 </rdf:type>
1449</rdf:Description>
1450<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Kickboxing">
1451 <rdf:type>
1452 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1453 </owl:Class>
1454 </rdf:type>
1455 <rdfs:label>Kickboxing</rdfs:label>
1456</rdf:Description>
1457<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Latin_Arts">
1458 <rdf:type>
1459 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Latin_ArtsClass">
1460 </owl:Class>
1461 </rdf:type>
1462</rdf:Description>
1463<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Linguistics">
1464 <rdf:type>
1465 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#LinguisticsClass">
1466 </owl:Class>
1467 </rdf:type>
1468</rdf:Description>
1469<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Marine_Science">
1470 <rdf:type>
1471 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Marine_ScienceClass">
1472 </owl:Class>
1473 </rdf:type>
1474</rdf:Description>
1475<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Materials_Science">
1476 <rdf:type>
1477 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Materials_ScienceClass">
1478 </owl:Class>
1479 </rdf:type>
1480</rdf:Description>
1481<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Materical_Science_Engineering">
1482 <rdf:type>
1483 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Materical_Science_EngineeringClass">
1484 </owl:Class>
1485 </rdf:type>
1486</rdf:Description>
1487<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Mathematics">
1488 <rdf:type>
1489 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#MathematicsClass">
1490 </owl:Class>
1491 </rdf:type>
1492</rdf:Description>
1493<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Mechanical_Engineering">
1494 <rdf:type>
1495 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Mechanical_EngineeringClass">
1496 </owl:Class>
1497 </rdf:type>
1498</rdf:Description>
1499<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Media_Arts_And_ciences">
1500 <rdf:type>
1501 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Media_Arts_And_ciencesClass">
1502 </owl:Class>
1503 </rdf:type>
1504</rdf:Description>
1505<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Medieval_Arts">
1506 <rdf:type>
1507 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Medieval_ArtsClass">
1508 </owl:Class>
1509 </rdf:type>
1510</rdf:Description>
1511<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Modern_Arts">
1512 <rdf:type>
1513 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Modern_ArtsClass">
1514 </owl:Class>
1515 </rdf:type>
1516</rdf:Description>
1517<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Modern_Languages">
1518 <rdf:type>
1519 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Modern_LanguagesClass">
1520 </owl:Class>
1521 </rdf:type>
1522</rdf:Description>
1523<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Movie">
1524 <rdf:type>
1525 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1526 </owl:Class>
1527 </rdf:type>
1528</rdf:Description>
1529<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Musics">
1530 <rdf:type>
1531 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#MusicsClass">
1532 </owl:Class>
1533 </rdf:type>
1534</rdf:Description>
1535<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PC_Game">
1536 <rdf:type>
1537 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1538 </owl:Class>
1539 </rdf:type>
1540</rdf:Description>
1541<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Painting">
1542 <rdf:type>
1543 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1544 </owl:Class>
1545 </rdf:type>
1546</rdf:Description>
1547<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Performing_Arts">
1548 <rdf:type>
1549 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Performing_ArtsClass">
1550 </owl:Class>
1551 </rdf:type>
1552</rdf:Description>
1553<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Petroleuml_Engineering">
1554 <rdf:type>
1555 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Petroleuml_EngineeringClass">
1556 </owl:Class>
1557 </rdf:type>
1558</rdf:Description>
1559<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Philosophy">
1560 <rdf:type>
1561 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PhilosophyClass">
1562 </owl:Class>
1563 </rdf:type>
1564</rdf:Description>
1565<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Physics">
1566 <rdf:type>
1567 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PhysicsClass">
1568 </owl:Class>
1569 </rdf:type>
1570</rdf:Description>
1571<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Pop_Music">
1572 <rdf:type>
1573 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Music">
1574 </owl:Class>
1575 </rdf:type>
1576</rdf:Description>
1577<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Psychology">
1578 <rdf:type>
1579 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#PsychologyClass">
1580 </owl:Class>
1581 </rdf:type>
1582</rdf:Description>
1583<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Reading">
1584 <rdf:type>
1585 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1586 </owl:Class>
1587 </rdf:type>
1588</rdf:Description>
1589<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Religions">
1590 <rdf:type>
1591 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#ReligionsClass">
1592 </owl:Class>
1593 </rdf:type>
1594</rdf:Description>
1595<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Rock_and_Roll">
1596 <rdf:type>
1597 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Music">
1598 </owl:Class>
1599 </rdf:type>
1600</rdf:Description>
1601<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Shopping">
1602 <rdf:type>
1603 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1604 </owl:Class>
1605 </rdf:type>
1606</rdf:Description>
1607<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Soccer">
1608 <rdf:type>
1609 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1610 </owl:Class>
1611 </rdf:type>
1612 <rdfs:label>Soccer</rdfs:label>
1613</rdf:Description>
1614<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#StampCollecting">
1615 <rdf:type>
1616 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1617 </owl:Class>
1618 </rdf:type>
1619</rdf:Description>
1620<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Statistics">
1621 <rdf:type>
1622 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#StatisticsClass">
1623 </owl:Class>
1624 </rdf:type>
1625</rdf:Description>
1626<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Swimming">
1627 <rdf:type>
1628 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SwimmingClass">
1629 </owl:Class>
1630 </rdf:type>
1631 <rdfs:label>Swimming</rdfs:label>
1632</rdf:Description>
1633<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Tennis">
1634 <rdf:type>
1635 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TennisClass">
1636 </owl:Class>
1637 </rdf:type>
1638 <rdfs:label>Tennis</rdfs:label>
1639</rdf:Description>
1640<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Theatre_and_Dance">
1641 <rdf:type>
1642 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Theatre_and_DanceClass">
1643 </owl:Class>
1644 </rdf:type>
1645</rdf:Description>
1646<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Travelling">
1647 <rdf:type>
1648 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1649 </owl:Class>
1650 </rdf:type>
1651</rdf:Description>
1652<rdf:Description rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Video_Game">
1653 <rdf:type>
1654 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Insterest">
1655 </owl:Class>
1656 </rdf:type>
1657</rdf:Description>
1658
1659
1660<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#TennisClass">
1661 <rdfs:subClassOf>
1662 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1663 </owl:Class>
1664 </rdfs:subClassOf>
1665</owl:Class>
1666
1667<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#SwimmingClass">
1668 <rdfs:subClassOf>
1669 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1670 </owl:Class>
1671 </rdfs:subClassOf>
1672</owl:Class>
1673<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallClass">
1674 <rdfs:subClassOf>
1675 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1676 </owl:Class>
1677 </rdfs:subClassOf>
1678</owl:Class>
1679
1680<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballClass">
1681 <rdfs:subClassOf>
1682 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Sports">
1683 </owl:Class>
1684 </rdfs:subClassOf>
1685</owl:Class>
1686
1687
1688
1689<owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Woman">
1690 <owl:disjointWith>
1691 <owl:Class rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#Man">
1692 </owl:Class>
1693 </owl:disjointWith>
1694</owl:Class>
1695<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#like">
1696 <owl:equivalentProperty>
1697 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#love">
1698 </owl:ObjectProperty>
1699 </owl:equivalentProperty>
1700</owl:ObjectProperty>
1701
1702<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasUndergraduateDegreeFrom">
1703 <rdfs:subPropertyOf>
1704 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDegreeFrom">
1705 </owl:ObjectProperty>
1706 </rdfs:subPropertyOf>
1707</owl:ObjectProperty>
1708
1709<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasStudent">
1710 <rdfs:subPropertyOf>
1711 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMember">
1712 </owl:ObjectProperty>
1713 </rdfs:subPropertyOf>
1714</owl:ObjectProperty>
1715
1716<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isStudentOf">
1717 <rdfs:subPropertyOf>
1718 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isMemberOf">
1719 </owl:ObjectProperty>
1720 </rdfs:subPropertyOf>
1721</owl:ObjectProperty>
1722
1723<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasMasterDegreeFrom">
1724 <rdfs:subPropertyOf>
1725 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDegreeFrom">
1726 </owl:ObjectProperty>
1727 </rdfs:subPropertyOf>
1728</owl:ObjectProperty>
1729
1730<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#enrollIn">
1731 <rdfs:subPropertyOf>
1732 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isStudentOf">
1733 </owl:ObjectProperty>
1734 </rdfs:subPropertyOf>
1735</owl:ObjectProperty>
1736
1737<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDoctoralDegreeFrom">
1738 <rdfs:subPropertyOf>
1739 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#hasDegreeFrom">
1740 </owl:ObjectProperty>
1741 </rdfs:subPropertyOf>
1742</owl:ObjectProperty>
1743
1744<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isCrazyAbout">
1745 <rdfs:subPropertyOf>
1746 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#like">
1747 </owl:ObjectProperty>
1748 </rdfs:subPropertyOf>
1749</owl:ObjectProperty>
1750
1751<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#worksFor">
1752 <rdfs:subPropertyOf>
1753 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isMemberOf">
1754 </owl:ObjectProperty>
1755 </rdfs:subPropertyOf>
1756</owl:ObjectProperty>
1757
1758<owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#isHeadOf">
1759 <rdfs:subPropertyOf>
1760 <owl:ObjectProperty rdf:about="http://semantics.crl.ibm.com/univ-bench-dl.owl#worksFor">
1761 </owl:ObjectProperty>
1762 </rdfs:subPropertyOf>
1763</owl:ObjectProperty>
1764
1765</rdf:RDF>
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-06 18:39:22 +0000