Requirements and challenges for building service-oriented pervasive middleware
Proceedings of the 2009 international conference on Pervasive services
Adopting context awareness in service composition
Proceedings of the First Asia-Pacific Symposium on Internetware
A dynamic description logic for representation and reasoning about actions
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
| Hi-index | 0.00 |
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 typi- cal 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. There- fore, not only actions but also concepts with dynamic mean- ings 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 algo- rithm for formulas. These properties make this logic more capable for the semantic web service.