Verifying the consistency of web-based technical documentations

DOI10.1016/J.JSC.2010.08.007zbMATH Open1213.68609OpenAlexW2023206618MaRDI QIDQ617987FDOQ617987

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

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

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)

Cites Work

• Title not available (Why is that?)
• Logic in Computer Science
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Heuristic and integrated approach for technical document authority and authentication sequence determination
• Checking content consistency of integrated web documents

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)