Semantic Web Übung
Tuesday, November 29, 2011
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
Newer Post
Older Post
Home