A language for specifying hyperdocuments

No Thumbnail Available

Date

2002-04-04

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.

Description

Table of contents

Keywords

Citation