Checking content consistency of integrated web documents

DOI10.1007/s11390-006-0418-9zbMath1190.68037OpenAlexW1989458738MaRDI QIDQ2508393

Burkhard Freitag, Franz Weitl

Publication date: 12 October 2006

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11390-006-0418-9

zbMATH Keywords

model checkingCTLtemporal description logicsdocument verification\(\mathcal {DL}\)content consistency

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• OMDoc

Cites Work

• Decidable fragments of first-order temporal logics
• A survey of temporal extensions of description logics
• Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Checking content consistency of integrated web documents