Reasoning about Web Services with Local Closed World Assumption

This paper presents a formalism for representing and reasoning about Web services with local closed world assumption (LCWA) on the basis of ACCO@K. In our formalism, the knowledge about the states of the world is encoded in ALC@-ABoxes; atomic services are represented in terms of their preconditions (epistemic queries to the knowledge base) and effects (possibly negated ACC@-assertions involving only atomic concepts); and composite services are built up with action constructors in dynamic logics. We also summarize some reasoning tasks and develop a calculus for them. Our formalism also enjoys introspection. The main features of our proposal (i.e., dynamic reasoning, local closed world assumption and introspection) make it more philosophically satisfying and much closer towards a practical formalism for agents with incomplete knowledge in the Web full of static information and dynamic processing.