A language for specifying hyperdocuments
No Thumbnail Available
Files
Date
2002-04-04
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universität Dortmund
Abstract
The architecture of hyperdocuments is described using an object-oriented approach and first order logic. The architectural description focusses on the static behavior of linkable document, it is based o n persistent data the properties of which are described using mechanisms from logic programming. It is shown how to build up specialization hierarchies and generic document classes. The semantics of a hyperdocument is given compositionally through the semantics of its documents parts.