Lösung zu Übung 6

Aufgabe 1:

• Recherche zu Ontologietypen und Beispiele

Aufgabe 2:

• Formale Beschreibung einer Ontologie (EBNF) und Anwendunsbeispiele

Aufgabe 3:

• Welche sind Tautologien?

Aufgabe 4:

• Umwandlung in die Konjunktive Normalform

Aufgabe 5:

• Prüfung durch aussagenlogische Resolution

Aufgabe 6:

• Gelten für Existenz- und Allquantoren die Gesetzmäßigkeiten der Kommutativität?

Aufgabe 7:

• Und noch mehr Resolution