Verifying the consistency of web-based technical documentations

DOI10.1016/J.JSC.2010.08.007zbMath1213.68609OpenAlexW2023206618MaRDI QIDQ617987

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

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

Uses Software

• Unnamed Item
• SPARQL
• Drools
• DocBook
• Lixto
• JBoss

Cites Work

• Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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