Buch
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
-Zur Integration von Datenbank- und Wissensrepräsentationsansätzen-Ulrich Reimer
Übersicht
Verlag | : | Springer Berlin |
Buchreihe | : | Informatik-Fachberichte (Bd. 198) |
Sprache | : | Deutsch |
Erschienen | : | 21. 12. 1988 |
Seiten | : | 161 |
Einband | : | Kartoniert |
Höhe | : | 244 mm |
Breite | : | 170 mm |
Gewicht | : | 310 g |
ISBN | : | 9783540506805 |
Inhaltsverzeichnis
1. Einführung.- 1.1 Zur Semantik von Repräsentationsmodellen.- 1.2 Charakterisierung von FRM und Vergleich mit anderen Repräsentationsmodellen.- 1.3 Formale Semantikspezifikation.- 1.4 Der Frame-Begriff.- 2. Definition der syntaktischen Grundstrukturen.- 3. Semantische Spezifikation: Statische Integrität.- 3.1 Slot-Typen.- 3.2 Die Frame-Typ-Hierarchie.- 3.3 Die Spezialisierungshierarchie.- 3.4 Aggregierungsrelationen.- 3.5 Anwendungsspezifische Integritätsbedingungen.- 4. Operationen in FRM.- 4.1 Anfrageoperationen.- 4.2 Änderungsoperationen.- 5. Semaritische Spezifikation: Dynamische Integrität — Repräsentation und Behandlung von Default-Eigenschaften.- 5.1 Motivation und frühere Ansätze.- 5.2 Einführung und syntaktische Darstellung.- 5.3 Semantik von Default-Eigenschaften.- 6. Ausblick.