Title
Towards the automated verification of semi-structured documents
Abstract
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.
Year
DOI
Venue
2009
10.1016/j.datak.2008.10.003
Data Knowl. Eng.
Keywords
Field
DocType
high degree,consistency maintenance,context-dependent document,automated verification,document databases,high expressiveness,specific document format,semi-structured document,semantic consistency,pattern-based specification methodology,new approach,pattern-based specification approach,context dependent,temporal logic
Ontology (information science),Data mining,Information retrieval,Computer science,Semantic consistency,Usability,Temporal logic,Web information,Database,Expressivity
Journal
Volume
Issue
ISSN
68
3
0169-023X
Citations 
PageRank 
References 
9
0.70
51
Authors
3
Name
Order
Citations
PageRank
Franz Weitl1295.70
Mirjana Jakšić2182.76
Burkhard Freitag325282.44