"An Ontology for Academic Department"

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
constraints:: restriction onDate #1 to-class date
restriction onTime #1 to-class string
used in classes:: Course #1

class School #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Organization #1

class Secretary #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: AdministrativeStaff #1

class Software #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Publication #1
constraints:: restriction version #1 to-class string

class Specification #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Reference #1

class Staff #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Person #1
constraints:: restriction employeeNo #1 to-class string
restriction hasStudent #1 to-class Student #1
restriction teachCourse #1 to-class Course #1
restriction headOf #1 to-class Organization #1
restriction workWith #1 to-class Staff #1
known subclasses:: AcademicStaff #1
AdministrativeStaff #1
used in classes:: AcademicStaff #1
AdministrativeStaff #1
Staff #1
Student #1

class Student #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Person #1
constraints:: restriction takesCourse #1 to-class Course #1
restriction finishedCourse #1 to-class Course #1
restriction studentNo #1 to-class string
restriction hasAdvisor #1 to-class Staff #1
restriction studyingIn #1 to-class Organization #1
known subclasses:: GraduateStudent #1
UndergraduateStudent #1
used in classes:: GraduateStudent #1
Staff #1
UndergraduateStudent #1

class SystemSupporter #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: AdministrativeStaff #1
constraints:: restriction supportLab #1 has-class Lab #1

class TeachingAssistant #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: AcademicStaff #1
constraints:: restriction teachAssisting #1 to-class Course #1
used in individuals:: yuana #1

class TechnicalReport #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Article #1

class UndergraduateStudent #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Student #1

class University #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: Organization #1
used in individuals:: dal #1
th #1
ut #1

class VisitingProfessor #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
superclasses:: AcademicStaff #1

class Work #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
type:: primitive
constraints:: restriction area #1 to-class string
restriction fundedBy #1 to-class Organization #1
known subclasses:: Course #1
Degree #1
Project #1
Research #1
used in classes:: Course #1
Degree #1
Group #1
Person #1
Program #1
Project #1
Publication #1
Research #1

property affiliatedTo #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in individuals:: csut #1

property age #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
properties:: functional
used in classes:: Person #1
used in individuals:: yuana #1

property alumnus #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Organization #1

property area #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Work #1

property author #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Publication #1

property cityName #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: City #1

property contentAbout #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Publication #1

property countryName #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Country #1

property courseName #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Course #1
used in individuals:: csc207 #1

property degreeFrom #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Degree #1
used in individuals:: beng #1
mcs #1
meng #1
phd #1

property degreeTitle #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Degree #1
used in individuals:: beng #1
mcs #1
meng #1
phd #1

property email #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: yuana #1

property employeeNo #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Staff #1

property finishedCourse #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Student #1

property firstName #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: jm #1
yuana #1

property fundedBy #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Work #1
used in individuals:: kr #1

property gender #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
properties:: functional
used in classes:: Person #1
used in individuals:: yuana #1

property hasAddress #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Organization #1

property hasAdvisor #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
inverses:: hasStudent #1
used in classes:: Student #1
used in properties:: hasStudent #1
used in individuals:: yuana #1

property hasDegree #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: yuana #1

property hasHomepage #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: yuana #1

property hasProject #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Program #1

property hasPublication #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1

property hasResearch #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Group #1

property hasSchedule #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Course #1

property hasStudent #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
inverses:: hasAdvisor #1
used in classes:: Staff #1
used in properties:: hasAdvisor #1
used in individuals:: jm #1

property head #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
inverses:: headOf #1
used in classes:: Organization #1
used in properties:: headOf #1

property headOf #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
inverses:: head #1
used in classes:: Staff #1
used in properties:: head #1

property inCity #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Address #1

property inCountry #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Address #1

property interestGroup #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#

property lastName #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: jm #1
yuana #1

property member #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Organization #1

property onDate #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Schedule #1

property onTime #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Schedule #1

property orgName #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Organization #1
used in individuals:: csut #1
dal #1
th #1
ut #1

property projectTopic #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Project #1

property publicationDate #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Publication #1

property publicationTitle #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Publication #1

property publisher #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Publication #1

property researchInterest #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: jm #1
yuana #1

property researchTopic #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Research #1
used in individuals:: kr #1

property street #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Address #1

property studentNo #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Student #1

property studyingIn #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Student #1
used in individuals:: yuana #1

property supportLab #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: SystemSupporter #1

property takesCourse #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Student #1

property teachAssisting #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: TeachingAssistant #1
used in individuals:: yuana #1

property teachCourse #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Staff #1

property version #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Software #1

property workOn #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Person #1
used in individuals:: yuana #1

property workWith #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Staff #1

property zipcode #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
used in classes:: Address #1

individual beng #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My bachelor's degree in Engineering
instance of:: Degree #1
relations:: degreeTitle #1 Bachelor of Engineering
degreeFrom #1 th #1
used in individuals:: yuana #1

individual csc207 #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: I am a teach assistant of this course.
instance of:: Course #1
relations:: courseName #1 Fundamental Data Structure and Techniques
used in individuals:: yuana #1

individual csut #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: DCS in UT.
instance of:: Department #1
relations:: orgName #1 Department of Computer Science
affiliatedTo #1 ut #1
used in individuals:: yuana #1

individual dal #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My Alma Mater
instance of:: University #1
relations:: orgName #1 Dalhousie University
used in individuals:: mcs #1

individual jm #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My supervisor.
instance of:: Professor #1
relations:: lastName #1 Mylopoulos
hasStudent #1 yuana #1
firstName #1 John
researchInterest #1 kr #1
used in individuals:: yuana #1

individual kr #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My research interest.
instance of:: Research #1
relations:: fundedBy #1 ut #1
researchTopic #1 Knowledge Management and Representation
used in individuals:: jm #1
yuana #1

individual male #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My gender.
instance of:: Male
used in individuals:: yuana #1

individual mcs #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My Master's degree in Computer Science
instance of:: Degree #1
relations:: degreeTitle #1 Master of Computer Science
degreeFrom #1 dal #1
used in individuals:: yuana #1

individual meng #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My Master's degree in Engineering.
instance of:: Degree #1
relations:: degreeTitle #1 Master of Engineering
degreeFrom #1 th #1
used in individuals:: yuana #1

individual phd #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: I'm pursuing in this degree.
instance of:: Degree #1
relations:: degreeTitle #1 Ph.D. in Computer Science
degreeFrom #1 ut #1
used in individuals:: yuana #1

individual th #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: My Alma Mater.
instance of:: University #1
relations:: orgName #1 Tsinghua University
used in individuals:: beng #1
meng #1

individual ut #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: Current school.
instance of:: University #1
relations:: orgName #1 University of Toronto
used in individuals:: csut #1
kr #1
phd #1

individual yuana #1

namespace:: http://www.cs.toronto.edu/~yuana/utcs_yuana.daml#
documentation:: This is about Yuan An.
instance of:: GraduateStudent #1
TeachingAssistant #1
relations:: hasAdvisor #1 jm #1
lastName #1 An
teachAssisting #1 csc207 #1
hasDegree #1 beng #1
hasDegree #1 mcs #1
hasDegree #1 meng #1
gender #1 male #1
age #1 99
hasHomepage #1 http://www.cs.toronto.edu/~yuana
studyingIn #1 csut #1
workOn #1 phd #1
firstName #1 Yuan
email #1 yuana@cs.toronto.edu
researchInterest #1 kr #1
used in individuals:: jm #1

Axioms

Documentation generated: Thu Apr 25 22:38:35 EDT 2002

Ontology Container Information

Namespaces used

Classes

Properties

Individuals

class AcademicStaff #1

class Address #1

class AdministrativeStaff #1

class Administrator #1

class Article #1

class AssistantProfessor #1

class AssociateProfessor #1

class Book #1

class Chair #1

class City #1

class ClericalStaff #1

class ConferencePaper #1

class Country #1

class Course #1

class Dean #1

class Degree #1

class Department #1

class Director #1

class Faculty #1

class Female

class GraduateStudent #1

class Group #1

class Institute #1

class JournalPaper #1

class Lab #1

class Lecturer #1

class Male

class Manual #1

class Organization #1

class Person #1

class PostDoc #1

class Professor #1

class Program #1

class Project #1

class Publication #1

class Reference #1

class Research #1

class Schedule #1

class School #1

class Secretary #1

class Software #1

class Specification #1

class Staff #1

class Student #1

class SystemSupporter #1

class TeachingAssistant #1

class TechnicalReport #1

class UndergraduateStudent #1

class University #1

class VisitingProfessor #1

class Work #1

property affiliatedTo #1

property age #1

property alumnus #1

property area #1

property author #1

property cityName #1

property contentAbout #1

property countryName #1

property courseName #1

property degreeFrom #1

property degreeTitle #1

property email #1

property employeeNo #1

property finishedCourse #1

property firstName #1

property fundedBy #1

property gender #1

property hasAddress #1

property hasAdvisor #1

property hasDegree #1

property hasHomepage #1

property hasProject #1

property hasPublication #1

property hasResearch #1