An Approach to the Example-based Consistency Checking of Web Documents.
Mirjana Jakšić · 2006
In this paper we present a method for the end-user specification of consistency rules for Web documents. Temporal description logic is used as the internal formalism. It is difficult for an author of a Web document to understand and use a formal logic. Therefore the goal is to develop an intuitive front-end allowing the authors of a document to specify their requirements and constraints at an application-oriented level. To this end we propose a specification-by-example approach. 1