1 files changed, 997 insertions, 0 deletions

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 @@
+@prefix : <http://swat.cse.lehigh.edu/onto/univ-bench.owl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@base <http://swat.cse.lehigh.edu/onto/univ-bench.owl> .
+
+<http://swat.cse.lehigh.edu/onto/univ-bench.owl> rdf:type owl:Ontology ;
+                                                 
+                                                 rdfs:label "Univ-bench Ontology" ;
+                                                 
+                                                 owl:versionInfo "univ-bench-ontology-owl, ver April 1, 2004" ;
+                                                 
+                                                 rdfs:comment "An university ontology for benchmark tests" .
+
+
+#################################################################
+#
+#    Object Properties
+#
+#################################################################
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#advisor
+
+:advisor rdf:type owl:ObjectProperty ;
+         
+         rdfs:label "is being advised by" ;
+         
+         rdfs:domain :Person ;
+         
+         rdfs:range :Professor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#affiliateOf
+
+:affiliateOf rdf:type owl:ObjectProperty ;
+             
+             rdfs:label "is affiliated with" ;
+             
+             rdfs:domain :Organization ;
+             
+             rdfs:range :Person .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#affiliatedOrganizationOf
+
+:affiliatedOrganizationOf rdf:type owl:ObjectProperty ;
+                          
+                          rdfs:label "is affiliated with" ;
+                          
+                          rdfs:range :Organization ;
+                          
+                          rdfs:domain :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#degreeFrom
+
+:degreeFrom rdf:type owl:ObjectProperty ;
+            
+            rdfs:label "has a degree from" ;
+            
+            rdfs:domain :Person ;
+            
+            rdfs:range :University ;
+            
+            owl:inverseOf :hasAlumnus .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#doctoralDegreeFrom
+
+:doctoralDegreeFrom rdf:type owl:ObjectProperty ;
+                    
+                    rdfs:label "has a doctoral degree from" ;
+                    
+                    rdfs:domain :Person ;
+                    
+                    rdfs:range :University ;
+                    
+                    rdfs:subPropertyOf :degreeFrom .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#hasAlumnus
+
+:hasAlumnus rdf:type owl:ObjectProperty ;
+            
+            rdfs:label "has as an alumnus" ;
+            
+            rdfs:range :Person ;
+            
+            rdfs:domain :University .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#headOf
+
+:headOf rdf:type owl:ObjectProperty ;
+        
+        rdfs:label "is the head of" ;
+        
+        rdfs:subPropertyOf :worksFor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#listedCourse
+
+:listedCourse rdf:type owl:ObjectProperty ;
+              
+              rdfs:label "lists as a course" ;
+              
+              rdfs:range :Course ;
+              
+              rdfs:domain :Schedule .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#mastersDegreeFrom
+
+:mastersDegreeFrom rdf:type owl:ObjectProperty ;
+                   
+                   rdfs:label "has a masters degree from" ;
+                   
+                   rdfs:domain :Person ;
+                   
+                   rdfs:range :University ;
+                   
+                   rdfs:subPropertyOf :degreeFrom .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#member
+
+:member rdf:type owl:ObjectProperty ;
+        
+        rdfs:label "has as a member" ;
+        
+        rdfs:domain :Organization ;
+        
+        rdfs:range :Person .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#memberOf
+
+:memberOf rdf:type owl:ObjectProperty ;
+          
+          rdfs:label "member of" ;
+          
+          owl:inverseOf :member .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#orgPublication
+
+:orgPublication rdf:type owl:ObjectProperty ;
+                
+                rdfs:label "publishes" ;
+                
+                rdfs:domain :Organization ;
+                
+                rdfs:range :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#publicationAuthor
+
+:publicationAuthor rdf:type owl:ObjectProperty ;
+                   
+                   rdfs:label "was written by" ;
+                   
+                   rdfs:range :Person ;
+                   
+                   rdfs:domain :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#publicationDate
+
+:publicationDate rdf:type owl:ObjectProperty ;
+                 
+                 rdfs:label "was written on" ;
+                 
+                 rdfs:domain :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#publicationResearch
+
+:publicationResearch rdf:type owl:ObjectProperty ;
+                     
+                     rdfs:label "is about" ;
+                     
+                     rdfs:domain :Publication ;
+                     
+                     rdfs:range :Research .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#researchProject
+
+:researchProject rdf:type owl:ObjectProperty ;
+                 
+                 rdfs:label "has as a research project" ;
+                 
+                 rdfs:range :Research ;
+                 
+                 rdfs:domain :ResearchGroup .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#softwareDocumentation
+
+:softwareDocumentation rdf:type owl:ObjectProperty ;
+                       
+                       rdfs:label "is documented in" ;
+                       
+                       rdfs:range :Publication ;
+                       
+                       rdfs:domain :Software .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#softwareVersion
+
+:softwareVersion rdf:type owl:ObjectProperty ;
+                 
+                 rdfs:label "is version" ;
+                 
+                 rdfs:domain :Software .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#subOrganizationOf
+
+#:subOrganizationOf rdf:type owl:ObjectProperty ,
+#                            owl:TransitiveProperty ;
+
+:subOrganizationOf rdf:type owl:ObjectProperty ;
+                   
+                   rdfs:label "is part of" ;
+                   
+                   rdfs:range :Organization ;
+                   
+                   rdfs:domain :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#takesCourse
+
+:takesCourse rdf:type owl:ObjectProperty ;
+             
+             rdfs:label "is taking" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#teacherOf
+
+:teacherOf rdf:type owl:ObjectProperty ;
+           
+           rdfs:label "teaches" ;
+           
+           rdfs:range :Course ;
+           
+           rdfs:domain :Faculty .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#teachingAssistantOf
+
+:teachingAssistantOf rdf:type owl:ObjectProperty ;
+                     
+                     rdfs:label "is a teaching assistant for" ;
+                     
+                     rdfs:range :Course ;
+                     
+                     rdfs:domain :TeachingAssistant .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#tenured
+
+:tenured rdf:type owl:ObjectProperty ;
+         
+         rdfs:label "is tenured:" ;
+         
+         rdfs:domain :Professor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#undergraduateDegreeFrom
+
+:undergraduateDegreeFrom rdf:type owl:ObjectProperty ;
+                         
+                         rdfs:label "has an undergraduate degree from" ;
+                         
+                         rdfs:domain :Person ;
+                         
+                         rdfs:range :University ;
+                         
+                         rdfs:subPropertyOf :degreeFrom .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#worksFor
+
+:worksFor rdf:type owl:ObjectProperty ;
+          
+          rdfs:label "Works For" ;
+          
+          rdfs:subPropertyOf :memberOf .
+
+
+
+
+
+#################################################################
+#
+#    Data properties
+#
+#################################################################
+
+
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#age
+#
+#:age rdf:type owl:DatatypeProperty ;
+#     
+#     rdfs:label "is age" ;
+#     
+#     rdfs:domain :Person .
+#
+#
+#
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#emailAddress
+#
+#:emailAddress rdf:type owl:DatatypeProperty ;
+#              
+#              rdfs:label "can be reached at" ;
+#              
+#              rdfs:domain :Person .
+#
+#
+#
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#name
+#
+#:name rdf:type owl:DatatypeProperty ;
+#      
+#      rdfs:label "name" .
+#
+#
+#
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#officeNumber
+#
+#:officeNumber rdf:type owl:DatatypeProperty ;
+#              
+#              rdfs:label "office room No." .
+#
+#
+#
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#researchInterest
+#
+#:researchInterest rdf:type owl:DatatypeProperty ;
+#                  
+#                  rdfs:label "is researching" .
+#
+#
+#
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#telephone
+#
+#:telephone rdf:type owl:DatatypeProperty ;
+#           
+#           rdfs:label "telephone number" ;
+#           
+#           rdfs:domain :Person .
+#
+#
+#
+####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#title
+#
+#:title rdf:type owl:DatatypeProperty ;
+#       
+#       rdfs:label "title" ;
+#       
+#       rdfs:domain :Person .
+
+
+
+
+#################################################################
+#
+#    Classes
+#
+#################################################################
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#AdministrativeStaff
+
+:AdministrativeStaff rdf:type owl:Class ;
+                     
+                     rdfs:label "administrative staff worker" ;
+                     
+                     rdfs:subClassOf :Employee .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Article
+
+:Article rdf:type owl:Class ;
+         
+         rdfs:label "article" ;
+         
+         rdfs:subClassOf :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#AssistantProfessor
+
+:AssistantProfessor rdf:type owl:Class ;
+                    
+                    rdfs:label "assistant professor" ;
+                    
+                    rdfs:subClassOf :Professor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#AssociateProfessor
+
+:AssociateProfessor rdf:type owl:Class ;
+                    
+                    rdfs:label "associate professor" ;
+                    
+                    rdfs:subClassOf :Professor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Book
+
+:Book rdf:type owl:Class ;
+      
+      rdfs:label "book" ;
+      
+      rdfs:subClassOf :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Chair
+
+#:Chair rdf:type owl:Class ;
+#       
+#       rdfs:label "chair" ;
+#       
+#       owl:equivalentClass [ rdf:type owl:Class ;
+#                             owl:intersectionOf ( :Person
+#                                                  [ rdf:type owl:Restriction ;
+#                                                    owl:onProperty :headOf ;
+#                                                    owl:someValuesFrom :Department
+#                                                  ]
+#                                                )
+#                           ] ;
+#       
+#       rdfs:subClassOf :Professor .
+
+:Chair rdf:type owl:Class ;
+
+       rdfs:label "chair" ;
+
+       rdfs:subClassOf :Person ;
+
+       rdfs:subClassOf :Professor ;
+       
+       rdfs:subClassOf :HeadOfDept .
+
+:HeadOfDept owl:equivalentClass  [ rdf:type owl:Restriction ;
+                                   owl:onProperty :headOf ;
+                                   owl:someValuesFrom :Department
+                                 ] .
+       
+[ rdf:type owl:Class ;
+  owl:intersectionOf ( :Person :HeadOfDept)
+  ] rdfs:subClassOf :Chair .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#ClericalStaff
+
+:ClericalStaff rdf:type owl:Class ;
+               
+               rdfs:label "clerical staff worker" ;
+               
+               rdfs:subClassOf :AdministrativeStaff .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#College
+
+:College rdf:type owl:Class ;
+         
+         rdfs:label "school" ;
+         
+         rdfs:subClassOf :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#ConferencePaper
+
+:ConferencePaper rdf:type owl:Class ;
+                 
+                 rdfs:label "conference paper" ;
+                 
+                 rdfs:subClassOf :Article .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Course
+
+:Course rdf:type owl:Class ;
+        
+        rdfs:label "teaching course" ;
+        
+        rdfs:subClassOf :Work .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Dean
+
+#:Dean rdf:type owl:Class ;
+#      
+#      rdfs:label "dean" ;
+#      
+#      owl:equivalentClass [ rdf:type owl:Class ;
+#                            owl:intersectionOf ( [ rdf:type owl:Restriction ;
+#                                                   owl:onProperty :headOf ;
+#                                                   owl:someValuesFrom :College
+#                                                 ]
+#                                               )
+#                          ] ;
+#      
+#      rdfs:subClassOf :Professor .
+
+:Dean rdf:type owl:Class ;
+
+       rdfs:label "dean" ;
+
+       rdfs:subClassOf :Person ;
+
+       rdfs:subClassOf :Professor ;
+       
+       rdfs:subClassOf :HeadOfCollege .
+
+:HeadOfCollege owl:equivalentClass  [ rdf:type owl:Restriction ;
+                                      owl:onProperty :headOf ;
+                                      owl:someValuesFrom :College
+                                    ] .
+       
+[ rdf:type owl:Class ;
+  owl:intersectionOf ( :Person :HeadOfCollege)
+  ] rdfs:subClassOf :Dean .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Department
+
+:Department rdf:type owl:Class ;
+            
+            rdfs:label "university department" ;
+            
+            rdfs:subClassOf :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Director
+
+#:Director rdf:type owl:Class ;
+#          
+#          rdfs:label "director" ;
+#          
+#          owl:equivalentClass [ rdf:type owl:Class ;
+#                                owl:intersectionOf ( :Person
+#                                                     [ rdf:type owl:Restriction ;
+#                                                       owl:onProperty :headOf ;
+#                                                       owl:someValuesFrom :Program
+#                                                     ]
+#                                                   )
+#                              ] .
+
+:Director rdf:type owl:Class ;
+
+          rdfs:label "director" ;
+
+          rdfs:subClassOf :Person ;
+
+          rdfs:subClassOf :HeadOfProgram .
+
+:HeadOfProgram owl:equivalentClass  [ rdf:type owl:Restriction ;
+                                      owl:onProperty :headOf ;
+                                      owl:someValuesFrom :Program
+                                    ] .
+       
+[ rdf:type owl:Class ;
+  owl:intersectionOf ( :Person :HeadOfProgram)
+  ] rdfs:subClassOf :Director .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Employee
+
+#:Employee rdf:type owl:Class ;
+#          
+#          rdfs:label "Employee" ;
+#          
+#          owl:equivalentClass [ rdf:type owl:Class ;
+#                                owl:intersectionOf ( :Person
+#                                                     [ rdf:type owl:Restriction ;
+#                                                       owl:onProperty :worksFor ;
+#                                                       owl:someValuesFrom :Organization
+#                                                     ]
+#                                                   )
+#                              ] .
+
+:Employee rdf:type owl:Class ;
+
+          rdfs:label "employee" ;
+
+          rdfs:subClassOf :Person ;
+
+          rdfs:subClassOf :WorksForOrganization .
+
+:WorksForOrganization owl:equivalentClass  [ rdf:type owl:Restriction ;
+                                             owl:onProperty :worksFor ;
+                                             owl:someValuesFrom :Organization
+                                           ] .
+       
+[ rdf:type owl:Class ;
+  owl:intersectionOf ( :Person :WorksForOrganization)
+  ] rdfs:subClassOf :Employee .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Faculty
+
+:Faculty rdf:type owl:Class ;
+         
+         rdfs:label "faculty member" ;
+         
+         rdfs:subClassOf :Employee .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#FullProfessor
+
+:FullProfessor rdf:type owl:Class ;
+               
+               rdfs:label "full professor" ;
+               
+               rdfs:subClassOf :Professor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#GraduateCourse
+
+:GraduateCourse rdf:type owl:Class ;
+                
+                rdfs:label "Graduate Level Courses" ;
+                
+                rdfs:subClassOf :Course .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#GraduateStudent
+
+#:GraduateStudent rdf:type owl:Class ;
+#                 
+#                 rdfs:label "graduate student" ;
+#                 
+#                 rdfs:subClassOf :Person ,
+#                              [ rdf:type owl:Restriction ;
+#                                owl:onProperty :takesCourse ;
+#                                owl:someValuesFrom :GraduateCourse
+#                              ] .
+
+:GraduateStudent rdf:type owl:Class ;
+                 
+                 rdfs:label "graduate student" ;
+                 
+                 rdfs:subClassOf :Person ;
+                 
+                 rdfs:subClassOf [ rdf:type owl:Restriction ;
+                                owl:onProperty :takesCourse ;
+                                owl:someValuesFrom :GraduateCourse
+                              ] .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Institute
+
+:Institute rdf:type owl:Class ;
+           
+           rdfs:label "institute" ;
+           
+           rdfs:subClassOf :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#JournalArticle
+
+:JournalArticle rdf:type owl:Class ;
+                
+                rdfs:label "journal article" ;
+                
+                rdfs:subClassOf :Article .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Lecturer
+
+:Lecturer rdf:type owl:Class ;
+          
+          rdfs:label "lecturer" ;
+          
+          rdfs:subClassOf :Faculty .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Manual
+
+:Manual rdf:type owl:Class ;
+        
+        rdfs:label "manual" ;
+        
+        rdfs:subClassOf :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Organization
+
+:Organization rdf:type owl:Class ;
+              
+              rdfs:label "organization" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Person
+
+:Person rdf:type owl:Class ;
+        
+        rdfs:label "person" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#PostDoc
+
+:PostDoc rdf:type owl:Class ;
+         
+         rdfs:label "post doctorate" ;
+         
+         rdfs:subClassOf :Faculty .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Professor
+
+:Professor rdf:type owl:Class ;
+           
+           rdfs:label "professor" ;
+           
+           rdfs:subClassOf :Faculty .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Program
+
+:Program rdf:type owl:Class ;
+         
+         rdfs:label "program" ;
+         
+         rdfs:subClassOf :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Publication
+
+:Publication rdf:type owl:Class ;
+             
+             rdfs:label "publication" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Research
+
+:Research rdf:type owl:Class ;
+          
+          rdfs:label "research work" ;
+          
+          rdfs:subClassOf :Work .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#ResearchAssistant
+
+#:ResearchAssistant rdf:type owl:Class ;
+#                   
+#                   rdfs:label "university research assistant" ;
+#                   
+#                   rdfs:subClassOf :Person ,
+#                                [ rdf:type owl:Restriction ;
+#                                  owl:onProperty :worksFor ;
+#                                  owl:someValuesFrom :ResearchGroup
+#                                ] .
+
+:ResearchAssistant rdf:type owl:Class ;
+                   
+                   rdfs:label "university research assistant" ;
+                   
+                   rdfs:subClassOf :Person ;
+
+                   rdfs:subClassOf [ rdf:type owl:Restriction ;
+                                  owl:onProperty :worksFor ;
+                                  owl:someValuesFrom :ResearchGroup
+                                ] .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#ResearchGroup
+
+:ResearchGroup rdf:type owl:Class ;
+               
+               rdfs:label "research group" ;
+               
+               rdfs:subClassOf :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Schedule
+
+:Schedule rdf:type owl:Class ;
+          
+          rdfs:label "schedule" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Software
+
+:Software rdf:type owl:Class ;
+          
+          rdfs:label "software program" ;
+          
+          rdfs:subClassOf :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Specification
+
+:Specification rdf:type owl:Class ;
+               
+               rdfs:label "published specification" ;
+               
+               rdfs:subClassOf :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Student
+
+#:Student rdf:type owl:Class ;
+#         
+#         rdfs:label "student" ;
+#         
+#         owl:equivalentClass [ rdf:type owl:Class ;
+#                               owl:intersectionOf ( :Person
+#                                                    [ rdf:type owl:Restriction ;
+#                                                      owl:onProperty :takesCourse ;
+#                                                      owl:someValuesFrom :Course
+#                                                    ]
+#                                                  )
+#                             ] .
+
+:Student rdf:type owl:Class ;
+
+         rdfs:label "student" ;
+
+         rdfs:subClassOf :Person ;
+
+         rdfs:subClassOf :TakesCourse .
+
+:TakesCourse owl:equivalentClass  [ rdf:type owl:Restriction ;
+                                    owl:onProperty :takesCourse ;
+                                    owl:someValuesFrom :Course
+                                  ] .
+       
+[ rdf:type owl:Class ;
+  owl:intersectionOf ( :Person :TakesCourse)
+  ] rdfs:subClassOf :Student .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#SystemsStaff
+
+:SystemsStaff rdf:type owl:Class ;
+              
+              rdfs:label "systems staff worker" ;
+              
+              rdfs:subClassOf :AdministrativeStaff .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#TeachingAssistant
+
+#:TeachingAssistant rdf:type owl:Class ;
+#                   
+#                   rdfs:label "university teaching assistant" ;
+#                   
+#                   owl:equivalentClass [ rdf:type owl:Class ;
+#                                         owl:intersectionOf ( :Person
+#                                                              [ rdf:type owl:Restriction ;
+#                                                                owl:onProperty :teachingAssistantOf ;
+#                                                                owl:someValuesFrom :Course
+#                                                              ]
+#                                                            )
+#                                       ] .
+
+:TeachingAssistant rdf:type owl:Class ;
+
+                   rdfs:label "university teaching assistant" ;
+
+                   rdfs:subClassOf :Person ;
+
+                   rdfs:subClassOf :TeachingAssistantOfCourse .
+
+:TeachingAssistantOfCourse owl:equivalentClass  [ rdf:type owl:Restriction ;
+                                                  owl:onProperty :teachingAssistantOf ;
+                                                  owl:someValuesFrom :Course
+                                                ] .
+       
+[ rdf:type owl:Class ;
+  owl:intersectionOf ( :Person :TeachingAssistantOfCourse)
+  ] rdfs:subClassOf :TeachingAssistant .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#TechnicalReport
+
+:TechnicalReport rdf:type owl:Class ;
+                 
+                 rdfs:label "technical report" ;
+                 
+                 rdfs:subClassOf :Article .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#UndergraduateStudent
+
+:UndergraduateStudent rdf:type owl:Class ;
+                      
+                      rdfs:label "undergraduate student" ;
+                      
+                      rdfs:subClassOf :Student .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#University
+
+:University rdf:type owl:Class ;
+            
+            rdfs:label "university" ;
+            
+            rdfs:subClassOf :Organization .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#UnofficialPublication
+
+:UnofficialPublication rdf:type owl:Class ;
+                       
+                       rdfs:label "unnoficial publication" ;
+                       
+                       rdfs:subClassOf :Publication .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#VisitingProfessor
+
+:VisitingProfessor rdf:type owl:Class ;
+                   
+                   rdfs:label "visiting professor" ;
+                   
+                   rdfs:subClassOf :Professor .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#Work
+
+:Work rdf:type owl:Class ;
+      
+      rdfs:label "Work" .
+