Checking Content Consistency of Integrated Web Documents

A conceptual framework for the specification and verification ofconstraints on the content and narrative structure of documents isproposed. As a specification formalism, CTLDL isdefined, which is an extension of the temporal logic CTL by descriptionlogic concepts. In contrast to existing solutions this approach allowsfor the integration of ontologies to achieve interoperability andabstraction from implementation aspects of documents. This makes CTLDL specifically suitable for the integration of heterogeneousand distributed information resources in the semantic web.