// ************************************************************
//
//
// York Sure;  Email : sure@aifb.uni-karlsruhe.de
// Alexander Maedche;  Email : maedche@aifb.uni-karlsruhe.de
//
// F-Logic representation has been generated by OntoEdit at Sun Sep 12:00:00 GMT+02:00 2000
//
// ************************************************************
Manual::Publication.
Lecture::Event.
ResearchProject::Project.
Meeting::Event.
Department::Organization.
AssistantProfessor::FacultyMember.
Proceedings::Publication.
Lecturer::AcademicStaff.
Unpublished::Publication.
AcademicStaff::Employee.
SoftwareProject::DevelopmentProject.
Institute::Organization.
Student::Person.
Topic::Root.
Booklet::Publication.
Publication::Root.
Conference::Event.
Report::Publication.
AdministrativeStaff::Employee.
ResearchGroup::Organization.
InCollection::Publication.
Workshop::Event.
ProjectReport::Report.
TechnicalStaff::Employee.
Organization::Root.
Graduate::Student.
FullProfessor::FacultyMember.
Employee::Person.
InBook::Publication.
PhDStudent::Graduate.
ResearchTopic::Topic.
Thesis::Publication.
Article::Publication.
FacultyMember::AcademicStaff.
Product::Root.
InProceedings::Publication.
ProjectMeeting::Meeting.
Event::Root.
Enterprise::Organization.
Person::Root.
Exhibition::Event.
SoftwareComponent::Product.
TechReport::Publication.
Misc::Publication.
University::Organization.
MasterThesis::Thesis.
Book::Publication.
Manager::Employee.
Association::Organization.
DevelopmentProject::Project.
Project::Root.
PhDThesis::Thesis.
Undergraduate::Student.
AssociateProfessor::FacultyMember.
Manual[
	author=>>Person;
	edition=>>STRING;
	month=>>STRING;
	organization=>>Organization;
	address=>>STRING].
Meeting[
	title=>>STRING;
	participant=>>Person;
	date=>>STRING].
Department[
	hasParts=>>Institute].
Proceedings[
	publisher=>>Organization;
	editor=>>Person;
	volume=>>INTEGER;
	number=>>INTEGER;
	series=>>STRING;
	address=>>STRING;
	month=>>STRING;
	organization=>>Organization].
Unpublished[
	author=>>Person;
	month=>>STRING].
AcademicStaff[
	supervises=>>PhDStudent;
	organizerOrChairOf=>>Event;
	memberOfPC=>>Event;
	publication=>>Publication;
	editor=>>Publication;
	headOf=>>Project;
	headOfGroup=>>ResearchGroup;
	worksAtProject=>>Project;
	cooperateWith=>>AcademicStaff].
SoftwareProject[
	product=>>Product].
Institute[
	hasParts=>>ResearchGroup;
	cooperateWith=>>Institute].
Student[
	studiesAt=>>University].
Topic[
	name=>>STRING].
Booklet[
	author=>>Person;
	howpublished=>>STRING;
	address=>>STRING;
	month=>>STRING].
Publication[
	title=>>STRING;
	abstract=>>STRING;
	year=>>INTEGER;
	note=>>STRING;
	keywords=>>STRING].
Conference[
	series=>>STRING].
Report[
	author=>>Person].
ResearchGroup[
	head=>>Employee;
	member=>>Employee].
InCollection[
	author=>>Person;
	booktitle=>>STRING;
	publisher=>>Organization;
	editor=>>Person;
	volume=>>INTEGER;
	number=>>INTEGER;
	type=>>STRING;
	series=>>STRING;
	edition=>>STRING;
	chapter=>>STRING;
	pages=>>INTEGER;
	address=>>STRING;
	month=>>STRING].
Workshop[
	series=>>STRING].
ProjectReport[
	describesProject=>>Project].
Organization[
	employs=>>Person;
	name=>>STRING;
	publishes=>>Publication;
	carriesOut=>>Project;
	develops=>>Product;
	finances=>>Project;
	location=>>STRING].
Employee[
	affiliation=>>Organization].
InBook[
	pages=>>INTEGER;
	chapter=>>STRING;
	author=>>Person;
	editor=>>Person;
	publisher=>>Organization;
	type=>>STRING;
	volume=>>INTEGER;
	number=>>INTEGER;
	series=>>STRING;
	address=>>STRING;
	month=>>STRING;
	edition=>>STRING].
PhDStudent[
	supervisor=>>AcademicStaff;
	publication=>>Publication;
	worksAtProject=>>Project].
ResearchTopic[
	dealtWithIn=>>Project;
	isWorkedOnBy=>>AcademicStaff].
Thesis[
	author=>>Person;
	type=>>STRING;
	address=>>STRING;
	month=>>STRING;
	school=>>University].
Article[
	pages=>>STRING;
	author=>>Person;
	journal=>>STRING;
	volume=>>INTEGER;
	number=>>INTEGER;
	month=>>STRING].
Product[
	developedBy=>>Organization;
	name=>>STRING].
InProceedings[
	publisher=>>Organization;
	author=>>Person;
	booktitle=>>STRING;
	editor=>>Person;
	volume=>>INTEGER;
	number=>>INTEGER;
	series=>>STRING;
	pages=>>INTEGER;
	address=>>STRING;
	month=>>STRING;
	organization=>>Organization].
Event[
	date=>>STRING;
	publication=>>Publication;
	location=>>STRING;
	eventTitle=>>STRING;
	atEvent=>>Event;
	hasPartEvent=>>Event;
	name=>>STRING].
Person[
	name=>>STRING;
	phone=>>STRING;
	middleInitial=>>STRING;
	email=>>STRING;
	photo=>>STRING;
	address=>>STRING;
	fax=>>STRING;
	homepage=>>STRING;
	age=>>INTEGER].
SoftwareComponent[
	hasPrice=>>INTEGER].
TechReport[
	author=>>Person;
	number=>>INTEGER;
	address=>>STRING;
	month=>>STRING;
	institution=>>Organization;
	type=>>STRING].
Misc[
	month=>>STRING;
	howpublished=>>STRING].
University[
	hasParts=>>Department;
	student=>>Student].
Book[
	editor=>>Person;
	series=>>STRING;
	author=>>Person;
	volume=>>INTEGER;
	month=>>STRING;
	source=>>STRING;
	publisher=>>Organization;
	address=>>STRING;
	edition=>>STRING;
	isbn=>>STRING;
	price=>>STRING;
	number=>>INTEGER].
Project[
	title=>>STRING;
	head=>>Employee;
	member=>>Employee;
	carriedOutBy=>>Organization;
	isAbout=>>ResearchTopic;
	financedBy=>>Organization;
	projectInfo=>>Publication;
	name=>>STRING].


Symmetric(cooperateWith).
FORALL R,X,Y Y[R ->> X] <-> Symmetric(R) and X[R ->> Y].


Transitive(hasPartEvent).
FORALL R,X,Y,Z X[R ->> Z] <- Transitive(R) and X[R ->> Y] and Y[R ->> Z].


Inverse(supervisor, supervises).
Inverse(hasPartEvent, atEvent).
Inverse(headOfGroup, head).
Inverse(develops, developedBy).
Inverse(worksAtProject, isWorkedOnBy).
Inverse(carriesOut, carriedOutBy).
Inverse(employs, affiliation).
Inverse(publisher, publishes).
Inverse(projectInfo, describesProject).
FORALL R,Q,X,Y Y[Q ->> X] <-> Inverse(R,Q) and X[R ->> Y].


Disjunct(Conference,Workshop).
Disjunct(Graduate,Undergraduate).


// Consistency Rules
// not disjunct on concept level
FORALL x,y notdisjunct(errorconcept,x,y) <- EXISTS c3 c3::x and c3::y and Disjunct(x,y).


// not disjunct on instance level
FORALL x,y notdisjunct(errorinstance,x,y) <- EXISTS z z:x and z:y and Disjunct(x,y).



//Type Enforcement
FORALL O,C,A,V,T V:T <- C[A=>>T] AND O:C[A->>V].