Family of extended dynamic description logics

DOI10.3724/SP.J.1001.2010.03494MaRDI QIDQ3071438zbMATH OpenOpenAlexFDO

Authors Liang Chang, Zhongzhi Shi, Limin Chen, Wenjia Niu

Publication date 5 February 2011

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

Full work available at URL https://doi.org/10.3724/sp.j.1001.2010.03494

zbMATH Keywords

dynamic description logicreasoning about actionssemantic web servicetableau decision algorithm

Mathematics Subject Classification ID

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

Recommendations

• A family of dynamic description logics for representing and reasoning about actions
• Decidable temporal dynamic description logic
• scientific article; zbMATH DE number 1735887
• Actions over a constructive semantics for description logics
• A description logic based situation calculus

Cited in

(3)

• A family of dynamic description logics for representing and reasoning about actions
• “A Dendrite Method for Cluster Analysis” by Caliński and Harabasz: A Classical Work that is Far Too Often Incorrectly Cited
• Research on a contradiction problem-oriented dynamic description logic extension

This page was built for publication: Family of extended dynamic description logics

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