FSI-Zimmer: offen
Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » OntoSWeb WS14/15
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
| Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
| pruefungen:hauptstudium:ls8:ontosweb2_ws14 [01.04.2015 17:40] – Um Verbesserungen von HP ergänzt GreenBourne | pruefungen:hauptstudium:ls8:ontosweb2_ws14 [01.04.2015 17:43] – GreenBourne | ||
|---|---|---|---|
| Zeile 47: | Zeile 47: | ||
| * Bisimilare Zustände erfüllen die selben Modalformeln. | * Bisimilare Zustände erfüllen die selben Modalformeln. | ||
| * Warum ist ALC Teil von FOL? | * Warum ist ALC Teil von FOL? | ||
| - | * Es gibt eine Übersetzungsfunktion von FOL nach ALC | + | * Es gibt eine Übersetzungsfunktion von FOL nach ALC. |
| - | * Übersetzungsfunktion hinzeichnen | + | * Übersetzungsfunktion hinzeichnen. |
| * Warum ist FOL Aussagekräftiger als ALC? | * Warum ist FOL Aussagekräftiger als ALC? | ||
| * Das einelementige reflexive Kripkemodell ist bisimilar zum Modell der unendlich verkettete Liste. Diese Modelle sind daher nicht unterscheidbar in ALC. In FOL dagegen aber schon. | * Das einelementige reflexive Kripkemodell ist bisimilar zum Modell der unendlich verkettete Liste. Diese Modelle sind daher nicht unterscheidbar in ALC. In FOL dagegen aber schon. | ||