1998 | OriginalPaper | Buchkapitel
Using Logic for the Specification of Hypermedia Documents
verfasst von : Ernst-Erich Doberkat
Erschienen in: Classification, Data Analysis, and Data Highways
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We describe an approach to the specification of hypermedia systems using first order logic. The static part concerning the document structure is described using Horn Clauses, the dynamic part uses Smolka’s feature logic. The linguistic mechanisms for a hypermedia description language are outlined, it is emphasized that an object oriented approach is helpful.