// ************************************************************
// http://www.semanticweb.org/ontologies/swrc-onto-2001-12-11.flo
//
//
// York Sure;  Email : sure@aifb.uni-karlsruhe.de
//
// F-Logic representation has been generated by OntoEdit at Wed Dec 12 15:22:25 CET 2001
//
// ************************************************************
<ns>
	ontons:http://www.semanticweb.org/ontologies/swrc-onto-2001-12-11.flo
</ns>
AcademicStaff::Employee.
Employee::Person.
Publication::Root.
Project::Root.
ResearchGroup::Organization.
Event::Root.
PhDStudent::Graduate.
AdministrativeStaff::Employee.
Article::Publication.
Person::Root.
AssistantProfessor::FacultyMember.
FacultyMember::AcademicStaff.
AssociateProfessor::FacultyMember.
Association::Organization.
Organization::Root.
Book::Publication.
Booklet::Publication.
Conference::Event.
Department::Organization.
Institute::Organization.
DevelopmentProject::Project.
Enterprise::Organization.
Exhibition::Event.
FullProfessor::FacultyMember.
Graduate::Student.
Student::Person.
InBook::Publication.
InCollection::Publication.
InProceedings::Publication.
Lecture::Event.
Lecturer::AcademicStaff.
Manager::Employee.
Manual::Publication.
MasterThesis::Thesis.
Thesis::Publication.
Meeting::Event.
Misc::Publication.
Product::Root.
TechnicalReport::Report.
PhDThesis::Thesis.
Proceedings::Publication.
ResearchTopic::Topic.
ProjectMeeting::Meeting.
ProjectReport::Report.
Report::Publication.
ResearchProject::Project.
Topic::Root.
SoftwareComponent::Product.
SoftwareProject::DevelopmentProject.
University::Organization.
TechnicalStaff::Employee.
Undergraduate::Student.
Unpublished::Publication.
Workshop::Event.
AcademicStaff[
	cooperateWith=>>AcademicStaff;
	editor=>>Publication;
	headOf=>>Project;
	headOfGroup=>>ResearchGroup;
	memberOfPC=>>Event;
	organizerOrChairOf=>>Event;
	publication=>>Publication;
	supervises=>>PhDStudent;
	worksAtProject=>>Project
].
Employee[
	affiliation=>>Organization
].
Publication[
	title=>>STRING;
	abstract=>>STRING;
	keywords=>>STRING;
	note=>>STRING;
	year=>>INTEGER
].
Project[
	name=>>STRING;
	carriedOutBy=>>Organization;
	financedBy=>>Organization;
	head=>>Employee;
	isAbout=>>ResearchTopic;
	member=>>Person;
	projectInfo=>>Publication
].
ResearchGroup[
	head=>>Employee;
	member=>>Employee
].
Event[
	atEvent=>>Event;
	date=>>STRING;
	eventTitle=>>STRING;
	hasPartEvent=>>Event;
	location=>>STRING;
	name=>>STRING
].
PhDStudent[
	publication=>>Publication;
	worksAtProject=>>Project;
	supervisor=>>AcademicStaff
].
Article[
	author=>>Person;
	journal=>>STRING;
	month=>>STRING;
	number=>>INTEGER;
	pages=>>STRING;
	volume=>>INTEGER
].
Person[
	address=>>STRING;
	name=>>STRING;
	email=>>STRING;
	fax=>>STRING;
	homepage=>>STRING;
	phone=>>STRING;
	photo=>>STRING
].
Organization[
	location=>>STRING;
	name=>>STRING;
	carriesOut=>>Project;
	develops=>>Product;
	employs=>>Person;
	finances=>>Project;
	publishes=>>Publication;
	technicalReport=>>TechnicalReport
].
Book[
	editor=>>Person;
	author=>>Person;
	month=>>STRING;
	number=>>INTEGER;
	volume=>>INTEGER;
	address=>>STRING;
	edition=>>STRING;
	isbn=>>STRING;
	price=>>STRING;
	publisher=>>Organization;
	series=>>STRING;
	source=>>STRING
].
Booklet[
	author=>>Person;
	month=>>STRING;
	address=>>STRING;
	howpublished=>>STRING
].
Conference[
	series=>>STRING
].
Department[
	hasParts=>>Institute
].
Institute[
	cooperateWith=>>Institute;
	hasParts=>>ResearchGroup
].
Student[
	studiesAt=>>University
].
InBook[
	editor=>>Person;
	author=>>Person;
	month=>>STRING;
	number=>>INTEGER;
	pages=>>INTEGER;
	volume=>>INTEGER;
	address=>>STRING;
	edition=>>STRING;
	publisher=>>Organization;
	series=>>STRING;
	chapter=>>STRING;
	type=>>STRING
].
InCollection[
	editor=>>Person;
	author=>>Person;
	month=>>STRING;
	number=>>INTEGER;
	pages=>>INTEGER;
	volume=>>INTEGER;
	address=>>STRING;
	edition=>>STRING;
	publisher=>>Organization;
	series=>>STRING;
	chapter=>>STRING;
	type=>>STRING;
	booktitle=>>STRING
].
InProceedings[
	editor=>>Person;
	author=>>Person;
	month=>>STRING;
	number=>>INTEGER;
	pages=>>INTEGER;
	volume=>>INTEGER;
	address=>>STRING;
	publisher=>>Organization;
	series=>>STRING;
	booktitle=>>STRING;
	organization=>>Organization
].
Lecture[
	givenBy=>>Person
].
Manual[
	author=>>Person;
	month=>>STRING;
	address=>>STRING;
	edition=>>STRING;
	organization=>>Organization
].
Thesis[
	author=>>Person;
	month=>>STRING;
	address=>>STRING;
	type=>>STRING;
	school=>>University
].
Meeting[
	date=>>STRING;
	participant=>>Person;
	title=>>STRING
].
Misc[
	month=>>STRING;
	howpublished=>>STRING
].
Product[
	name=>>STRING;
	developedBy=>>Organization
].
TechnicalReport[
	series=>>STRING;
	organization=>>Organization
].
Proceedings[
	editor=>>Person;
	month=>>STRING;
	number=>>INTEGER;
	volume=>>INTEGER;
	address=>>STRING;
	publisher=>>Organization;
	series=>>STRING;
	organization=>>Organization
].
ResearchTopic[
	dealtWithIn=>>Project;
	isWorkedOnBy=>>AcademicStaff
].
ProjectReport[
	describesProject=>>Project
].
Report[
	author=>>Person
].
Topic[
	name=>>STRING
].
SoftwareComponent[
	hasPrice=>>INTEGER
].
SoftwareProject[
	product=>>Product
].
University[
	hasParts=>>Department;
	student=>>Student
].
Unpublished[
	author=>>Person;
	month=>>STRING
].
Workshop[
	series=>>STRING
].
//Instances: 
"DAML OntoAgents":ResearchProject[
	name ->> "DAML OntoAgents"
].
"On-To-Knowledge":ResearchProject[
	name ->> "On-To-Knowledge"
].
Rudi:FullProfessor[
	supervises ->> York;
	name ->> "Rudi Studer"
].
York:PhDStudent[
	worksAtProject ->> "On-To-Knowledge";
	name ->> "York Sure";
	supervisor ->> Rudi
].
Siggi:PhDStudent[
	worksAtProject ->> "DAML OntoAgents";
	name ->> "Siggi Handschuh";
	supervisor ->> Rudi
].


// F-Logic Axioms :