A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

DOI10.1093/LOGCOM/12.5.809MaRDI QIDQ4779588zbMATH OpenOpenAlexFDO

Authors Holger Sturm, F. Wolter

Publication date 24 August 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/55209356b36ba58044fe0993199b6fa2eab2844d

zbMATH Keywords

description logictableau calculustemporalizationquasi-models

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1765666
• Reasoning in basic description logics and description logics with modal operators
• A survey of temporal extensions of description logics
• Foundations of Temporal Conceptual Data Models
• scientific article; zbMATH DE number 3937153
• scientific article; zbMATH DE number 1931652
• scientific article; zbMATH DE number 1182796
• EXPtime tableaux for ALC
• scientific article; zbMATH DE number 5674817

Cited in

(4)

• A tableau decision algorithm for modalized A L C with constant domains
• Tableaux for logics of time and knowledge with interactions relating to synchrony
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• scientific article; zbMATH DE number 1765666 (Why is no real title available?)

This page was built for publication: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

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