Towards the automated verification of semi-structured documents

The semantic consistency of context-dependent documents is an important problem in the fields of document databases and web information systems. While techniques for adapting documents to different context of use are well investigated, the consistency maintenance of context-dependent documents remains a challenge. Existing methods are specialized on specific document formats or domains, or are cumbersome and costly to apply. In this paper, we present a new approach focusing on user support by a pattern-based specification methodology. We combine temporal logic, ontologies, and a pattern-based specification approach for reaching high expressiveness, flexible applicability, and yet a high degree of usability.