Verifying the consistency of web-based technical documentations

DOI10.1016/J.JSC.2010.08.007MaRDI QIDQ617987zbMATH OpenOpenAlexFDO

Authors Christian Schönberg, Franz Weitl, Burkhard Freitag

Publication date 14 January 2011

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2010.08.007

zbMATH Keywords

model checkinginformation extractiondocument modelingtemporal description logicsdocument verification

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Internet topics (68M11)

Recommendations

• Checking content consistency of integrated web documents
• scientific article; zbMATH DE number 2036297
• Formal methods for verification of websites macrostructure integrity
• Towards an approach of consistency verification for online software evolution in open environments
• scientific article; zbMATH DE number 1333242

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1798186 (Why is no real title available?)
• scientific article; zbMATH DE number 1884381 (Why is no real title available?)
• Logic in Computer Science

Cited in

(3)

• scientific article; zbMATH DE number 1955887 (Why is no real title available?)
• Heuristic and integrated approach for technical document authority and authentication sequence determination
• Checking content consistency of integrated web documents

Describes a project that uses

Uses Software

• WordNet
• SPARQL
• Drools
• DocBook
• Lixto
• JBoss

This page was built for publication: Verifying the consistency of web-based technical documentations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q617987)