// ************************************************************
// ProPer
//
//
// York Sure;  Email : sure@aifb.uni-karlsruhe.de
//
// F-Logic representation has been generated by OntoEdit at Tue Nov 07 21:31:59 GMT+01:00 2000
//
// ************************************************************
Stelle::Root.
Zeitpunkt::Zeit.
Person::Root.
Ort::Dimensionen.
Bewerber::Person.
Zeitspanne::Zeit.
Sprache::Skill.
Land::Ort.
Cluster::Root.
Profil::Root.
Projekt::Root.
Stellenprofil::Profil.
Branche::Skill.
Zeit::Dimensionen.
Sammelprofil::Profil.
Programmiersprache::Skill.
Programmierer::Mitarbeiter.
Dokument::Root.
Projektbericht::Dokument.
Skill::Root.
Stadt::Ort.
Homepage::Dokument.
Personenprofil::Profil.
Bewerbung::Dokument.
Mitarbeiter::Person.
Dimensionen::Root.
Stelle[
	hat_Profil=>>Stellenprofil;
	stellenbezeichnung=>>STRING;
	stellenbeschreibung=>>STRING;
	hat_Einstellungstermin=>>Zeitpunkt;
	fordert_Cluster=>>Cluster].
Zeitpunkt[
	datum=>>STRING].
Person[
	art=>>STRING;
	vorname=>>STRING;
	nachname=>>STRING;
	url=>>STRING;
	email=>>STRING;
	telefon=>>STRING;
	strasse=>>STRING;
	plz=>>STRING;
	in_Land=>>Land;
	geschlecht=>>STRING;
	titel=>>STRING;
	anrede=>>STRING;
	familienstand=>>STRING;
	hat_Nationalitaet=>>Land;
	hat_Wohnort=>>Stadt;
	hat_Geburtsort=>>Stadt;
	hat_Geburtstag=>>Zeitpunkt;
	kennt_Cluster=>>Cluster;
	hat_Profil=>>Personenprofil;
	hat_sProfil=>>Sammelprofil].
Ort[
	ortsbezeichnung=>>STRING].
Bewerber[
	hat_Bewerbung=>>Bewerbung].
Zeitspanne[
	von_Zeitpunkt=>>Zeitpunkt;
	bis_Zeitpunkt=>>Zeitpunkt].
Land[
	nationalitaet=>>STRING;
	hat_Sprache=>>Sprache].
Cluster[
	clusterbezeichnung=>>STRING;
	gruppiert_Skill=>>Skill].
Profil[
	wert=>>INTEGER;
	bewertet_Skill=>>Skill].
Projekt[
	hat_Mitarbeiter=>>Mitarbeiter].
Stellenprofil[
	gehoert_zu=>>Stelle;
	gewicht=>>INTEGER].
Dokument[
	url=>>STRING;
	hat_Sprache=>>Sprache;
	wurde_erstellt_am=>>Zeitpunkt;
	hat_Autor=>>Person;
	erwaehnt_Skill=>>Skill;
	erwaehnt_Cluster=>>Cluster].
Projektbericht[
	titel=>>STRING;
	hat_Autor=>>Mitarbeiter].
Skill[
	skillbezeichnung=>>STRING;
	in_Cluster=>>Cluster].
Stadt[
	in_Land=>>Land].
Homepage[
	hat_Autor=>>Mitarbeiter].
Personenprofil[
	gehoert_zu=>>Person].
Bewerbung[
	hat_Autor=>>Bewerber].
Mitarbeiter[
	hat_Projektbericht=>>Projektbericht;
	arbeitet_fuer=>>Projekt;
	hat_Homepage=>>Homepage].


Inverse(Projektbericht,hat_Autor,Mitarbeiter,hat_Projektbericht).
Inverse(Bewerbung,hat_Autor,Bewerber,hat_Bewerbung).
Inverse(Projekt,hat_Mitarbeiter,Mitarbeiter,arbeitet_fuer).
Inverse(Homepage,hat_Autor,Mitarbeiter,hat_Homepage).
FORALL c1,c2,r1,r2,o,v v:c2[r2 ->> o] <- Inverse(c1,r1,c2,r2) and o:c1[r1 ->> v].




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