Checking Semantic Integrity Constraints on Integrated Web Documents

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 \({_\mathcal {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.

[1]  I. V. Ramakrishnan,et al.  Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis , 2003, SEMWEB.

[2]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[3]  Celso A. S. Santos,et al.  Revisiting the concept of hypermedia document consistency , 1999, MULTIMEDIA '99.

[4]  Luiz Fernando Gomes Soares,et al.  Formal specification and verification of hypermedia documents based on the Nested Context Model , 1998, Proceedings 1998 MultiMedia Modeling. MMM'98 (Cat. No.98EX200).

[5]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[6]  Markus Roggenbach,et al.  MultiMedia Instruction in Safe and Secure Systems , 2002, WADT.

[7]  Enrico Franconi,et al.  Temporal Description Logics , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[8]  Oskar Dressler,et al.  Künstliche Intelligenz? , 1986, FIFF Jahrestagung.

[9]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[10]  Benjamin S. Bloom,et al.  Taxonomy of Educational Objectives: The Classification of Educational Goals. , 1957 .

[11]  P. David Stotts,et al.  Hyperdocuments as automata: trace-based browsing property verification , 1992, ECHT '92.

[12]  John F. Buford,et al.  Proceedings of the seventh ACM international conference on Multimedia (Part 2) , 1999, MM 1999.

[13]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[14]  P. David Stotts,et al.  Model checking cobweb protocols for verification of HTML frames behavior , 2002, WWW '02.

[15]  Celso A. S. Santos,et al.  Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..

[16]  Steffen Staab,et al.  S-CREAM: Semiautomatic CREAtion of Metadata , 2002, SAAKM@ECAI.

[17]  Djamshid Tavangarian,et al.  Multidimensional Educational Multimedia with , 2003 .

[18]  Dexter Kozen,et al.  RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[19]  Enrico Franconi,et al.  A survey of temporal extensions of description logics , 2001, Annals of Mathematics and Artificial Intelligence.

[20]  Jing Dong,et al.  Model checking the composition of hypermedia design components , 2000, CASCON.

[21]  Jan van Leeuwen,et al.  Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .

[22]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[23]  B. Bloom.  Taxonomy of educational objectives , 1956 .

[24]  Michael Kohlhase,et al.  OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.

[25]  Luiz Fernando Gomes Soares,et al.  Design methodology and formal validation of hypermedia documents , 1998, MULTIMEDIA '98.

[26]  Luca de Alfaro,et al.  Model Checking the World Wide Web , 2001, CAV.

[27]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[28]  Burkhard Freitag.  LMML - The Learning Material Markup Language Framework , 2002 .

[29]  P. David Stotts,et al.  Hyperdocuments as automata: verification of trace-based browsing properties by model checking , 1998, TOIS.

[30]  Frank Wolter,et al.  Decidable and undecidable fragments of first-order branching temporal logics , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.