Decidable temporal dynamic description logic

DOI10.3724/SP.J.1001.2011.03869MaRDI QIDQ2917155zbMATH OpenFDO

Authors Liang Chang, Zhongzhi Shi, Tianlong Gu, Xiaofeng Wang

Publication date 5 October 2012

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1001.2011.03869

zbMATH Keywords

action theorybranching temporal logicdynamic description logicknowledge representationtableau decision algorithm

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Recommendations

• Temporalizing description logics
• Temporally attributed description logics
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• Time-dependent concepts: representation and reasoning using temporal description logics
• Temporal logic programs with temporal description logic axioms
• A Correspondence between Temporal Description Logics
• Decidable temporal and sequential relevant logics*
• A survey of temporal extensions of description logics
• scientific article; zbMATH DE number 1735887
• scientific article; zbMATH DE number 1249651

Cited in

(8)

• Temporally attributed description logics
• A family of dynamic description logics for representing and reasoning about actions
• Temporalizing description logics
• Family of extended dynamic description logics
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• scientific article; zbMATH DE number 1735887 (Why is no real title available?)
• scientific article; zbMATH DE number 1765666 (Why is no real title available?)
• Decidable temporal and sequential relevant logics*

This page was built for publication: Decidable temporal dynamic description logic

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