Foundations of logic programming
Foundations of logic programming
Handbook of theoretical computer science (vol. B)
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Model checking cobweb protocols for verification of HTML frames behavior
Proceedings of the 11th international conference on World Wide Web
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Ontology-Based Integration of XML Web Resources
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
SemTag and seeker: bootstrapping the semantic web via automated semantic annotation
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Extensions to description logics
The description logic handbook
On Automated Lesson Construction from Electronic Textbooks
IEEE Transactions on Knowledge and Data Engineering
Towards the self-annotating web
Proceedings of the 13th international conference on World Wide Web
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Hi-index | 0.00 |
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.