þÿProjekt Reasoning Services: Tableaubeweiser für Beschreibungslogiken
WiSe 06/07
Aufgaben zum 8.11.06: DL und Studentenontologie

1.)   In der Leseanleitung zum DL-Handbuch-Artikel solltet Ihr bereits Aufgaben zur Modellierung der Universitäts-/Studentenontologie mit Hilfe der Beschreibungslogik bearbeiten. In dieser Aufgabe wollen wir damit beginnen, die Studentenontologie vollständig in einer DL-Wissensbasis zu beschreiben.

Beschreibt  die Universitätskernontologie vom 27.10.06 (Das Dokument ist auch über die WSV-Homepage zu bekommen)  beschreibungslogisch und bezieht  dabei auch die nicht graphisch dargestellten Constraints ein.  
Teilt hierbei die Einträge wie üblich in A-Box- und T-Box-Einträge ein.
- Was ist die  ausdrucksschwächste  DL-Logik, in der Eure Wissensbasis formuliert ist? (Welche Konzept- und Rollenkonstruktoren habt Ihr benutzt?)
- Wenn nicht schon geschehen, modelliert  das Contraint, dass ein Student ein Fach nicht sowohl als Haupt- als auch auch als Nebenfach haben kann.


2.) Erweitert  die Universitätskernontologie um die Anteile der Universitätsontologie, um die Ihr Euch in Eurer Gruppe gekümmert habt. Haltet bei der Formalisierung Eure Probleme (z.B. was meint Ihr, beschreibungslogisch nicht adäquat spezifizieren zu können) und/oder Entscheidungen  (z.B. über die Bevorzugung einer Variante gegenüber einer anderen Variante) fest.




!!! Bitte haltet Eure Ergebnisse schriftlich fest und schickt sie uns zu, da wir mit diesen Dokumenten weiter arbeiten werden. Diese Übungen (auch die von letzter Woche: Bitte Protokolle zuschicken!) dienen dazu, Testbeispiele für den Reasoner zusammenzustellen. 
!!!