#Processed by Id: cwm.py,v 1.148 2004/03/21 04:24:32 timbl Exp 
        #    using base file:/proj/ontrapro/html/ontologies/zip/comsci/csB.rdf
        
#  Notation3 generation by
#       notation3.py,v 1.153 2004/03/21 04:24:35 timbl Exp

@prefix : <http://www.atl.lmco.com/projects/ontology/ontologies/comsci/csB.rdf#> .
@prefix cmu: <http://www.daml.ri.cmu.edu/ont/homework/cmu-ri-courses-ont.daml#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<>     a daml:Ontology;
 daml:imports <http://www.daml.org/2001/03/daml+oil>;
 daml:versionInfo "$ Computer Science dep.ontology data:13/10/01 time:11.25 $";
 rdfs:comment "An ontology created for testing purposes" .

:Administrative-Staff     a daml:Class;
 rdfs:comment "represents the administrative staff of the department";
 rdfs:label "Administrative-Staff";
 rdfs:subClassOf :Staff .

:Assistant-Lecturer     a daml:Class;
 rdfs:label "Assistant-Lecturer";
 rdfs:subClassOf :Lecturing-Staff .

:Clerk     a daml:Class;
 rdfs:label "Clerk";
 rdfs:subClassOf :Office-Staff .

:Course     a daml:Class;
 daml:sameClassAs cmu:Course;
 rdfs:comment "describes a course held by the department";
 rdfs:label "Course" .

:Department     a daml:Class;
 rdfs:comment "Class representing the Department ";
 rdfs:label "Department";
 rdfs:subClassOf daml:Thing .

:Executive-Officer     a daml:Class;
 rdfs:label "Executive-Officer";
 rdfs:subClassOf :Office-Staff .

:Interests     a daml:Class;
 rdfs:comment "represents the subject interests for each member";
 rdfs:label "Interests" .

:Lecturer     a daml:Class;
 rdfs:label "Lecturer";
 rdfs:subClassOf :Lecturing-Staff .

:Lecturing-Staff     a daml:Class;
 rdfs:comment "represents the lecturing staff of the department";
 rdfs:label "Lecturing-Staff";
 rdfs:subClassOf :Staff .

:Literal     a daml:Class;
 daml:equivalentTo rdfs:Literal .

:Member     a daml:Class;
 rdfs:comment "represents a member of the lecturing staff";
 rdfs:label "Member";
 rdfs:subClassOf :Lecturing-Staff,
	<http://www.daml.org/2001/03/daml+oil-ex#Person>,
	 [
     a daml:Restriction;
     daml:maxCardinality "1";
     daml:onProperty :hasOffice ] .

:Messanger     a daml:Class;
 rdfs:label "Messanger";
 rdfs:subClassOf :Support-Staff .

:Office     a daml:Class;
 rdfs:comment "represents an office for each member";
 rdfs:label "Office" .

:Office-Staff     a daml:Class;
 rdfs:label "Office-staff";
 rdfs:subClassOf :Administrative-Staff .

:Publication     a daml:Class;
 daml:sameClassAs <http://www.daml.ri.cmu.edu/ont/homework/atlas-publications.daml#Publication>;
 rdfs:comment "represents the publications made by a member";
 rdfs:label "Publications" .

:Research-Assistant     a daml:Class;
 rdfs:label "Research-Assistant";
 rdfs:subClassOf :Lecturing-Staff .

:Staff     a daml:Class;
 daml:disjointUnionOf  (
:Lecturing-Staff 
:Administrative-Staff  );
 rdfs:comment "This class is representative of the department's Staff";
 rdfs:subClassOf :Department .

:Support-Staff     a daml:Class;
 rdfs:label "Support-Staff";
 rdfs:subClassOf :Administrative-Staff .

:Systems-Administrator     a daml:Class;
 rdfs:label "Systems-Administrator";
 rdfs:subClassOf :Technical-Staff .

:Technical-Staff     a daml:Class;
 rdfs:label "Technical-Staff";
 rdfs:subClassOf :Administrative-Staff .

:email     a daml:DatatypeProperty;
 rdfs:domain :Member;
 rdfs:range :Literal .

:floor     a daml:DatatypeProperty;
 rdfs:domain :Office;
 rdfs:range :Literal .

:hasCourses     a daml:ObjectProperty;
 rdfs:comment "This property states that the department has a number of courses";
 rdfs:domain :Department;
 rdfs:range :Course .

:hasLecturer     a daml:ObjectProperty;
 daml:inverseOf :teaches-course;
 daml:samePropertyAs cmu:hasInstructor;
 rdfs:domain :Course;
 rdfs:range :Member .

:hasOffice     a daml:ObjectProperty;
 rdfs:domain :Member;
 rdfs:range :Office .

:hasStaff     a daml:ObjectProperty;
 rdfs:comment "This property states that the department has staff personnel";
 rdfs:domain :Department .

:hasURL     a daml:ObjectProperty;
 rdfs:comment "The Department has its website URL";
 rdfs:domain :Department;
 rdfs:range :Literal .

:name     a daml:DatatypeProperty,
	daml:UniqueProperty;
 rdfs:domain :Member;
 rdfs:range :Literal .

:phone     a daml:DatatypeProperty;
 rdfs:domain :Member;
 rdfs:range <http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger> .

:qualification     a daml:DatatypeProperty;
 rdfs:comment "represents the qualifications of a member";
 rdfs:domain :Member;
 rdfs:range :Literal .

:room     a daml:DatatypeProperty;
 rdfs:domain :Office;
 rdfs:range :Literal .

:teaches-course     a daml:ObjectProperty;
 rdfs:domain :Member;
 rdfs:range :Course .

:webPage     a daml:DatatypeProperty;
 rdfs:domain :Member;
 rdfs:range :Literal .

#ENDS