By Topic

A Dynamic Description Logic for Semantic Web Service

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Liang Chang ; Chinese Acad. of Sci., Beijing ; Fen Lin ; Zhongzhi Shi

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 with 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.

Published in:

Semantics, Knowledge and Grid, Third International Conference on

Date of Conference:

29-31 Oct. 2007