Decidable Temporal Dynamic Description Logic

DOI10.3724/SP.J.1001.2011.03869zbMATH Open1265.68253MaRDI QIDQ2917155

Liang Chang, Zhongzhi Shi, Tianlong Gu, Xiao-Feng Wang

Publication date: 5 October 2012

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

zbMATH Keywords

knowledge representationbranching temporal logicaction theorydynamic description logictableau decision algorithm

Mathematics Subject Classification ID

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

Related Items (3)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ Unnamed Item ⋮ Decidable temporal and sequential relevant logics*

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• A survey of temporal extensions of description logics 👍 👎
• Temporal logic programs with temporal description logic axioms 👍 👎
• Temporally attributed description logics 👍 👎
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models 👍 👎
• A Correspondence between Temporal Description Logics 👍 👎
• Time-dependent concepts: representation and reasoning using temporal description logics 👍 👎
• Decidable temporal and sequential relevant logics* 👍 👎

This page was built for publication: Decidable Temporal Dynamic Description Logic