Aufgabenblatt 8  
Ausgabetermin: 8.12.00
Abgabetermin: Montag d. 18.12.00 bis 24 Uhr per Email an die Übungsgruppenleiter 
Motivation: Begleitende Übungen zum Vorlesungsthema "Intelligente Datenbanken". 
Aufgabe 1: DATALOG (ohne Rekursion) hat dieselbe Ausdruckskraft wie die
Relationenalgebra. Formulieren Sie DATALOG-Regeln, mit denen die folgenden Operationen der Relationenalgebra realisiert werden: 
                 1. Projektion 
                 2. Natürlicher Verbund 
                 3. Theta-Verbund 
                 4. Restriktion 
                 5. Division 
                 6. Kreuzprodukt 
                 7. Mengendifferenz 
                 8. Vereinigung 
Wählen Sie dazu geeignete Beispielrelationen. 
Geschätzter Zeitbedarf: 1,5 h 
4 Punkte
Aufgabe 2: Unter TBox.html finden Sie einige Konzept- und Rollendefinitionen (identisch mit den Beispielen aus dem Vorlesungsskript). Die  folgenden Aufgaben sprechen Konzepte an, die dieser TBox zugefügt werden sollen. Zur Beantwortung der Fragen können Sie die formale Semantik von Konzepten ausnutzen: Die Bedeutung eines Konzepts ist durch die Menge der Objekte (aus einer fiktiven Obermenge aller möglichen Objekte) definiert, die Instanzen dieses Konzeptes sind. 

a) Zeigen Sie, daß das Konzept mother1
(equivalent mother1 (and woman (at-least 1 has-child)))
gleichbedeutend (äquivalent) zum Konzept mother ist.

b) Zeigen Sie, daß das Konzept single-parent
(equivalent single-parent (and father mother))
unerfüllbar (inkonsistent) ist.

c) Ist das Konzept cruel-father erfüllbar (konsistent)?
(equivalent cruel-father (and father (not human)))

d) Zeigen Sie, daß das Konzept ancestor
(equivalent ancestor (some has-descendant person))
das Konzept father subsumiert.

e) Definieren Sie ein Konzept mother-without-sons.

f) In einer ABox befindet sich die folgende Beschreibung des Individuums maria:
(instance maria (and woman (some has-sibling mother) (some has-child parent))) 
Zeigen Sie, daß maria Instanz der Konzepte grandmother und aunt ist.
Geschätzter Zeitbedarf: 2 h 
6 Punkte
Abzugebende
Dokumente		 Aufgabe 1: DATALOG-Regeln
Aufgabe 2: Begründete Antworten.

Schicken Sie bitte Ihre Dokumente - ein Exemplar je Übungsteam -
als ein im Zip-Code komprimiertes Nur-Text-Datei-Attachment
 -per Email an Ihren Übungsgruppenbetreuer.