From 8bd3b5275a6d81f35cfd561e290156e9e8ecb6d5 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 26 Nov 2020 18:48:39 +0000 Subject: Add LUBM ontology to the examples Both the original ontology and the modified ontology are included. --- examples/lubm/univ-bench.orig.owl | 471 ++++++++++++++++++ examples/lubm/univ-bench.ttl | 997 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 1468 insertions(+) create mode 100644 examples/lubm/univ-bench.orig.owl create mode 100644 examples/lubm/univ-bench.ttl (limited to 'examples/lubm') diff --git a/examples/lubm/univ-bench.orig.owl b/examples/lubm/univ-bench.orig.owl new file mode 100644 index 0000000..5a74907 --- /dev/null +++ b/examples/lubm/univ-bench.orig.owl @@ -0,0 +1,471 @@ + + + + + An university ontology for benchmark tests + Univ-bench Ontology + univ-bench-ontology-owl, ver April 1, 2004 + + + + administrative staff worker + + + + + article + + + + + assistant professor + + + + + associate professor + + + + + book + + + + + chair + + + + + + + + + + + + + + clerical staff worker + + + + + school + + + + + conference paper + + + + + teaching course + + + + + dean + + + + + + + + + + + + + university department + + + + + director + + + + + + + + + + + + + Employee + + + + + + + + + + + + + faculty member + + + + + full professor + + + + + Graduate Level Courses + + + + + graduate student + + + + + + + + + + + + + institute + + + + + journal article + + + + + lecturer + + + + + manual + + + + + organization + + + + person + + + + post doctorate + + + + + professor + + + + + program + + + + + publication + + + + research work + + + + + university research assistant + + + + + + + + + + + + + research group + + + + + schedule + + + + software program + + + + + published specification + + + + + student + + + + + + + + + + + + + systems staff worker + + + + + university teaching assistant + + + + + + + + + + + + + technical report + + + + + undergraduate student + + + + + university + + + + + unnoficial publication + + + + + visiting professor + + + + + Work + + + + is being advised by + + + + + + is affiliated with + + + + + + is affiliated with + + + + + + is age + + + + + has a degree from + + + + + + + has a doctoral degree from + + + + + + + can be reached at + + + + + has as an alumnus + + + + + + + is the head of + + + + + lists as a course + + + + + + has a masters degree from + + + + + + + has as a member + + + + + +member of + + + + +name + + + + office room No. + + + + publishes + + + + + + was written by + + + + + + was written on + + + + + is about + + + + + + is researching + + + + has as a research project + + + + + + is documented in + + + + + + is version + + + + + is part of + + + + + + is taking + + + + teaches + + + + + + is a teaching assistant for + + + + + + telephone number + + + + + is tenured: + + + + + title + + + + + has an undergraduate degree from + + + + + + + Works For + + + + + 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 : . +@prefix rdfs: . +@prefix owl: . +@prefix rdf: . +@base . + + 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" . + -- cgit v1.2.3