A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism we define CTL_(DL) which is a new version of the temporal logic CTL extended with description logic concepts. In contrast to existing solutions our approach allows for the integration of ontologies to achieve interoperability and abstraction from implementation aspects of documents. This makes it specifically suitable for the integration of heterogenous and distributed information resources in the semantic web.
展开▼
