Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. P. BIEBER and S. O. KIMBROUGH (1994). On the logic of generalized hypertext. Decision Support Systems, 11: 241–257.
E.-E. DOBERKAT (1996a): A language for specifying hyperdocuments. Software–Concepts and Tools, 17: 163–172.
E.-E. DOBERKAT (1996b): Browsing a hyperdocument. Technical report, Chair for Software Technology, University of Dortmund.
R. FURUTA and P.D. STOTTS (1989): Petri-net-based hypertext: Document structure with browsing semantics. ACM Transactions on Information Systems, 7: 3–29.
F. GARZOTTO, P. PAOLINI, and D. SCHWABE (1993): HDM–a model-based approach to hypertext application design. ACM Transactions on Information Systems, 11: 1–26.
W. I. GROSKY, F. FOTOUHI, I. K. SETHI, and B. CAPATINA (1994): Using metadata for the intelligent browsing of structured media objects. ACM SIGMOD RECORD, 23(4)49–57.
G. SMOLKA (1992): Feature-constrained logics for unification grammars. Journal of Logic Programming, 12: 51–87.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Doberkat, EE. (1998). Using Logic for the Specification of Hypermedia Documents. In: Balderjahn, I., Mathar, R., Schader, M. (eds) Classification, Data Analysis, and Data Highways. Studies in Classification, Data Analysis, and Knowledge Organization. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72087-1_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-72087-1_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63909-1
Online ISBN: 978-3-642-72087-1
eBook Packages: Springer Book Archive