Towards the automated verification of semi-structured documents

Data and Knowledge Engineering

Volumn 68, Issue 3, 2009, Pages 292-317

  Weitl, Franz ^a   Jakšić, Mirjana ^a   Freitag, Burkhard ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Data quality (15.2); Document consistency; Pattern based specification; Temporal description logic; Web based information systems (30.3)

Indexed keywords

DATA DESCRIPTION; INFORMATION SYSTEMS; INFORMATION THEORY; ONTOLOGY; SPECIFICATIONS; WORLD WIDE WEB;

DATA QUALITY (15.2); DOCUMENT CONSISTENCY; PATTERN-BASED SPECIFICATION; TEMPORAL DESCRIPTION LOGIC; WEB-BASED INFORMATION SYSTEMS (30.3);

TEMPORAL LOGIC;

EID: 61349118002     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2008.10.003     Document Type: Article

References (71)

1. KAON2 - Homepage, Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Universität Karlsruhe (TH), 2007. , last visited April 2007.
2. Advanced Distributed Learning (ADL), Sharable Content Object Reference Model (SCORM), second ed., 2004, Overview (July 2004).
3. R. Albertoni, A. Bertone, M.D. Martino, Semantic web and information visualization, in: Proceedings of the First Italian Semantic Web Workshop on Semantic Web Applications and Perspectives (SWAP), Ancona, Italy, 2004.
4. Artale A., and Franconi E. A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence (AMAI) 30 1-4 (2001) 171-210
5. Autexier S., Hutter D., Mossakowski T., and Schairer A. The development graph manager maya (system description). Proceedings of the AMAST 2002. LNCS vol. 2422 (2002), Springer-Verlag 495-502
6. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook - Theory. Implementation and Applications (2003), Cambridge University Press
7. F. Baader, R. Küsters, F. Wolter, Extensions to description logics, in: [6], 2003, pp. 226-268 (Chapter 6).
8. F. Baader, W. Nutt, Basic description logics, in: [6], 2003, pp. 47-100 (Chapter 2).
9. *. Journal of Logic and Computation 14 (2004) 3-22
10. S. Bechhofer, The DIG description logic interface: DIG/1.1, Tech. Rep. 2003/02, University of Manchester, UK, 2003.
11. S. Bechhofer, I. Horrocks, C. Goble, R. Stevens, OilEd: a reasonable ontology editor for the semantic web, in: Proceedings of the 2001 Description Logic Workshop (DL 2001), 2001.
12. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004. , last visited April 2006.
13. M. Ben-Ari, Z. Manna, A. Pnueli, The temporal logic of branching time, in: Eighth Annual ACM Symposium on Principles of Programming Languages (POPL), 1981.
14. Bimbo A.D., Rella L., and Vicario E. Visual specification of branching time temporal logic. Proceedings of the 11th International IEEE Symposium on Visual Languages (1995), IEEE Computer Society
15. S. Brockmans, R. Volz, A. Eberhart, P. Löffler, Visual modeling of OWL DL ontologies using UML, in: S.M. et al. (ed.), Proceedings of the Third International Semantic Web Conference, Springer, Hiroshima, Japan, 2004.
16. 20 states and beyond. Information and Computation 98 (1992) 142-170
17. Cimatti A., Clarke E.M., Giunchiglia F., and Roveri M. NUSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer 2 4 (2000) 410-425
18. Clarke E.M., Grumberg O., and Peled D.A. Model Checking (1999), MIT Press
19. Corbett J.C., Dwyer M.B., Hatcliff J., and Robby. A language framework for expressing checkable properties of dynamic software. Proceedings of the Seventh International SPIN Workshop. LNCS vol. 1885 (2000), Springer-Verlag, Stanford, CA, USA
20. de Alfaro L. Model checking the world wide web. CAV 01: 13th Conference on Computer Aided Verification. LNCS (2001), Springer-Verlag
21. F.M. Donini, Complexity of reasoning, in: [6], 2003, pp. 101-141 (Chapter 3).
22. D. Drusinsky, Visual formal specification using (N)TLCharts: statechart automata with temporal logic and natural language conditioned transitions, in: International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), 2004.
23. Dwyer M.B., Avrunin G.S., and Corbett J.C. Patterns in property specifications for finite-state verification. Proceedings of the 21st International Conference on Software Engineering (1999), IEEE Computer Society Press
24. Egly U., Schiemann B., and Schneeberger J. Technical documentation authoring based on semantic web methods. Künstliche Intelligenz 2 (2005) 56-59
25. Emerson E. Temporal and modal logic. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science: Formal Models and Semantics (1990), Elsevier 996-1072
26. Fernandez M., Florescu D., Levy A.Y., and Suciu D. Verifying integrity constraints on web sites. Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI) (1999), Morgan Kaufmann Publishers Inc.
27. Gruppe S. Schema ST4 Leistungsbeschreibung (2006), SCHEMA Electronic Documentation Solutions GmbH
28. Haarslev V., and Möller R. RACER system description. Proceedings of the International Joint Conference on Automated Reasoning (IJCAR-01). LNAI vol. 2083 (2001), Springer-Verlag
29. Handschuh S., and Staab S. Annotation for the Semantic Web. Frontiers in Artificial Intelligence and Applications vol. 96 (2003), IOS Press
30. Harel D. Statecharts: a visual formalism for complex systems. The Science of Computer Programming 8 (1987) 231-274
31. Hodkinson I., Wolter F., and Zakharyaschev M. Monodic fragments of first-order temporal logics: 2000-2001 a.d. Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Artificial Intelligence 2250 (2001) 1-23
32. I. Hodkinson, F. Wolter, M. Zakharyaschev, Decidable and undecidable fragments of first-order branching temporal logics, in: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), Copenhagen, Denmark, 2002.
33. Hutter D. Management of change in verification systems. Proceedings of the 15th IEEE International Conference on Automated Software Engineering (2000), IEEE Computer Society
34. D. Hutter, A. Schairer, Towards an evolutionary formal software-development, in: Proceedings of the 16th International Conference on Automated Software Engineering (ASE'01), San Diego, USA, 2001.
35. M. Jakšić, An approach to the example-based consistency checking of web documents, in: Proceedings of the 18th Workshop on Foundation of Databases, Wittenberg, Germany, 2006.
36. M. Jakšić, B. Freitag, Temporal patterns for document verification, Tech. Rep No. MiP 0805, University of Passau, Germany, 2008.
37. R. Jelliffe, The schematron assertion language 1.5, 2002. , last visited April 2006.
38. H. Knublauch, R.W. Fergerson, N.F. Noy, M.A. Musen, The Protégé OWL Plugin: an open development environment for semantic web applications, in: Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan, 2004.
39. J. Köck, Musterbasierte Spezifikation von Dokumenteigenschaften, Diplomarbeit, Universität Passau, 2006.
40. Kohlhase M. OMDoc: towards an internet standard for the administration, distribution and teaching of mathematical knowledge. Proceedings of Artificial Intelligence and Symbolic Computation. LNAI (2000), Springer-Verlag, Madrid, Spain
41. Kohlhase M., and Anghelache R. Mathematical knowledge management. Proceedings of the Second International Conference, MKM 2003. LCNS (2003), Springer-Verlag, Bertinoro, Italy
42. Kohlhase M., and Franke A. Mbase: representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation 23 4 (2001) 365-402
43. Konrad S., and Cheng B.H.C. Real-time specification patterns. Proceedings of the 27th International Conference on Software Engineering (2005), ACM Press, St. Louis, MO, USA
44. D. Kozen, Results on the propositional mu-calculus, in: Theoretical Computer Science, vol. 27, 1983, pp. 333-355.
45. Krieg-Brückner B., Hutter D., Lindow A., Lüth C., Mahnke A., Mehlis E., Meier P., Poetzsch-Heffter A., Roggenbach M., Russell G., Smaus J.-G., and Wirsing M. Multimedia instruction in safe and secure systems. Recent Trends in Algebraic Development Techniques, LNCS 2755 (2003) 82-117
46. Krieg-Brückner B., Lindow A., Lüth C., and Achim Mahnke G.R. Semantic interrelation of documents via an ontology. In: Engels G., and Seehusen S. (Eds). Proceedings of the Second e-Learning Workshop Computer Science (2004), Springer-Verlag, Paderborn, Germany
47. Learning Technology Standards Committee, Draft standard for learning object metadata, IEEE 1484.12.1/2002, July 2002.
48. W. Lenski, E. Wette-Roch, The trial-solution approach to document re-use, in: Electronic Media in Mathematics, Coimbra, 2001.
49. 3, in: Proceedings of the E-Learn Conference, Phoenix, Arizona, USA, 2003.
50. C. Lutz, H. Sturm, F. Wolter, M. Zakharyaschev, A tableau calculus for temporal description logic: the constant domain case, Tech. Rep. LTCS-01-01, Germany, 2001.
51. Manna Z., and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems - Specification (1992), Springer-Verlag
52. Nentwich C., Capra L., Emmerich W., and Finkelstein A. xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT) 2 2 (2002) 151-185
53. I. Niles, A. Pease, Towards a standard upper ontology, in: C. Welty, B. Smith (Eds.), Proceedings of the Second International Conference on Formal Ontology in Information Systems (FOIS-2001), Ogunquit, Maine, 2001.
54. Noy N.F., Sintek M., Decker S., Crubezy M., Fergerson R.W., and Musen M.A. Creating semantic web contents with protege-2000. IEEE Intelligent Systems 16 2 (2001) 60-71
55. C. Süß, B. Freitag, LMML - the learning material markup language framework, in: International Workshop ICL, Villach, Austria, 2002.
56. J. Scheffczyk, Consistent document engineering, Ph.D. Thesis, University of Armed Forces Munich, 2004.
57. Sciascio E.D., Donini F.M., Mongiello M., Totaro R., and Castelluccia D. Design verification of web applications using symbolic model checking. In: Lowe D., and Gaedke M. (Eds). Proceedings of the Fifth International Conference of Web Engineering ICWE 2005. LNCS vol. 3579 (2005), Springer
58. C. Sinz, W. Küchlin, Verifying the on-line help system of SIEMENS magnetic resonance tomographs, in: Proceedings of the Sixth International Conference on Formal Engineering Methods (ICFEM'2004), Seattle, WA, USA, 2004.
59. Sowa J. Semantic networks. In: Shapiro S.C. (Ed). Encyclopedia of Artificial Intelligence (1987), John Wiley & Sons, New York, USA
60. R. Srivastava, The evolution of JAXP, in XML.com, O'Reilly, 2005.
61. Stotts D., and Navon J. Model checking cobweb protocols for verification of HTML frames behavior. Proceedings of the 11th International Conference on World Wide Web (2002), ACM Press, Honolulu, Hawaii, USA
62. Stotts P., Furuta R., and Ruiz J. Hyperdocuments as automata: trace-based browsing property verification. In: Lucarella D., Nanard J., Nanard M., and Paolini P. (Eds). Proceedings of the ACM Conference on Hypertext (ECHT'92) (1992), ACM Press
63. Stotts P.D., Furuta R., and Cabarrus C.R. Hyperdocuments as automata: verification of trace-based browsing properties by model checking. Information Systems 16 1 (1998) 1-30
64. Süß C., Freitag B., and Brössler P. Metamodeling for web-based teachware management. In: Chen P.P., Embley D.W., Kouloumdijan J., Liddle S.W., and Roddick J.F. (Eds). Advances in Conceptual Modeling. ER'99 Workshop on the World-Wide Web and Conceptual Modeling. LNCS vol. 1727 (1999), Springer-Verlag, Paris, France
65. Thimbleby H., and Addison M.A. Intelligent adaptive assistance and its automatic generation. Interacting with Computers 8 1 (1996) 51-68
66. Thimbleby H., and Ladkin P.B. From logic to manuals again. Software Engineering Journal 11 6 (1997) 347-354
67. Uren V., Cimiano P., Iria J., Handschuh S., Vargas-Vera M., Motta E., and Ciravegna F. Semantic annotation for knowledge management: requirements and a survey of the state of the art. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 4 1 (2006) 14-28
68. Volz R., Oberle D., Staab S., and Motik B. KAON SERVER - a semantic web management system. Alternate Track Proceedings of the 12th International World Wide Web Conference (WWW 2003) (2003), ACM, Budapest, Hungary
69. N. Walsh, L. Muellner, B. Stayton, DocBook: The Definitive Guide, Version 2.0.10, O'Reilly, 2004, Online Version.
70. F. Weitl, Document verification with temporal description logics, Ph.D. Thesis, University of Passau, 2008.
71. Weitl F., and Freitag B. Checking content consistency of integrated web documents. Journal of Computer Science and Technology 21 3 (2006) 418-429