Logic-based verification of technical documentation

DocEng'09 - Proceedings of the 2009 ACM Symposium on Document Engineering

Volumn , Issue , 2009, Pages 251-252

  Schönberg, Christian ^a   Weitl, Franz ^a   Jakšíc, Mirjana ^a   Freitag, Burkhard ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Document verification; Model checking

Indexed keywords

CONTENT CONSISTENCY; DESCRIPTION LOGIC; DIFFERENT DOMAINS; DIGITAL DOCUMENTS; DOCUMENT VERIFICATION; LOCATING ERROR; MODEL CHECKER; TECHNICAL DOCUMENTATIONS; VERIFICATION PROCESS; WEB DOCUMENT; WEB PAGE;

DATA DESCRIPTION; E-LEARNING; MULTIMEDIA SYSTEMS; SPECIFICATIONS; TEMPORAL LOGIC; WORLD WIDE WEB;

MODEL CHECKING;

EID: 70450240847     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1600193.1600250     Document Type: Conference Paper

References (11)

1. Resource Description Framework (RDF) Concepts and Abstract Syntax, W3C Recommendation 10 February 2004. http://www.w3.org/TR/rdf-concepts/.Visited07/ 2009.
2. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004. http://www.w3.org/TR/owl-ref/.Visited07/ 2009.
3. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An opensource tool for symbolic model checking. In Proc. of CAV 02, volume 2404 of LNCS. Springer, 2002.
4. M. Jaks̃ić and B. Freitag. Temporal patterns for document veri-cation. Technical Report MIP-0805, University of Passau, 2008.
5. M. Jaks̃ić and B. Freitag. Evaluation der Methode zur Nutzerunterstutzung. Technical Report MIP-0906, University of Passau, Germany, 2009.
6. R. Jelliffe. The schematron assertion language 1.6. http://xml.ascc.net/ resource/schematron/Schematron2000.html, 2002. Visited 07/2009.
7. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT), 2(2):151{185, 2002.
8. C. Schönberg and B. Freitag. Extracting and storing document metadata. Technical Report MIP-0907, University of Passau, 2009.
9. C. Schönberg, M. Jaks̃ić, F. Weitl, and B. Freitag. Verification of web-content: A case study on technical documentation. In Proc. of the 5th International Workshop on Automated Specification and Verification of Web Systems (WWV 09), Linz, Austria, 2009.
10. F. Weitl. Document Verification with Temporal Description Logics. PhD thesis, Univ. of Passau, 2008.
11. F. Weitl, M. Jaks̃ić, and B. Freitag. Towards the automated veri-cation of semi-structured documents. Journal of Data & Knowledge Engineering, 68:292{317, 2009.