A Dynamic Description Logic for Semantic Web Service

Liang Chang, Fen Lin, Zhongzhi Shi
2007 Third International Conference on Semantics, Knowledge and Grid (SKG 2007)  
This paper presents a dynamic description logic and a sound and complete tableau-based satisfiability-checking algorithm for it. This logic is a combination of a typical action theory and the description logic ALCO@, with a feature that actions are treated as citizens. On the one hand, actions are represented over ontologies expressed in description logic; On the other hand, actions can be used as modal operators for the construction of concepts. Therefore, not only actions but also concepts
more » ... h dynamic meanings can be described. Furthermore, actions can also be used as modal operators for the construction of formulas, so that many reasoning tasks on actions and concepts can be realized with the help of the satisfiability-checking algorithm for formulas. These properties make this logic more capable for the semantic web service. Syntax and Semantics of Dynamic Description Logic Primitive symbols of this logic are a set N C of concept names, a set N R of role names, and a set N I of individual Third International Conference on Semantics, Knowledge and Grid 0-7695-3007-9/07 $25.00
doi:10.1109/skg.2007.59 dblp:conf/skg/ChangLS07 fatcat:27wht3v5ebdbhgaa3b6zywp3hi