Abstract | ||
---|---|---|
A conceptual framework for the specification and verification of constraints on the content and narrative structure of documents is proposed. As a specification formalism, CTLDL is defined, which is an extension of the temporal logic CTL by description logic concepts. In contrast to existing solutions this approach allows for the integration of ontologies to achieve interoperability and abstraction from implementation aspects of documents. This makes CTLDL specifically suitable for the integration of heterogeneous and distributed information resources in the semantic web. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/s11390-006-0418-9 | J. Comput. Sci. Technol. |
Keywords | Field | DocType |
information resource,conceptual framework,integrated web document,description logic concept,narrative structure,specification formalism,content consistency,temporal logic ctl,implementation aspect,semantic web,model checking,temporal logic,description logic,ctl | Ontology (information science),Abstraction,Model checking,Semantic Web Stack,Information retrieval,Interoperability,Computer science,Semantic Web,Description logic,Temporal logic | Journal |
Volume | Issue | ISSN |
21 | 3 | 1860-4749 |
Citations | PageRank | References |
2 | 0.38 | 24 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franz Weitl | 1 | 29 | 5.70 |
Burkhard Freitag | 2 | 252 | 82.44 |