Abstract
dc:description.abstractThe thesis proposes a new formal framework for checking the content of web documents along individual reading paths. It is vital for the readability of web documents that their content is consistent and coherent along the possible browsing paths through the document. Manually ensuring the coherence of content along the possibly huge number of different browsing paths in a web document is time-consuming and error-prone. Existing methods for document validation and verification are not sufficiently expressive and efficient. The innovative core idea of this thesis is to combine the temporal logic CTL and description logic ALC for the representation of consistency criteria. The resulting new temporal description logics ALCCTL can - in contrast to existing specification formalisms - compactly represent coherence criteria on documents. Verification of web documents is modelled as a model checking problem of ALCCTL. The decidability and polynomial complexity of the ALCCTL model checking problem is proven and a sound, complete, and optimal model checking algorithm is presented. Case studies on real and realistic web documents demonstrate the performance and adequacy of the proposed methods. Existing methods such as symbolic model checking or XML-based document validation are outperformed in both expressiveness and speed.
Degree
thesis:*- Level thesis:degree_level
- thesis.doctoral
- Grantor dc:publisher
- Universität Passau
- Year
- 2008
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Weitl, Franz
- Contributors dc:contributor
-
- Freitag, Burkhard
Subjects
dc:subject × 12Rights
dc:rights- Statement dc:rights
-
- Standardbedingung laut Einverständniserklärung
Identifiers
dc:identifier.*- Repository record source_url
- https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/101
- OAI identifier oai:identifier
- oai:kobv.de-opus4-uni-passau:101