Updating logical databases
An epistemic operator for description logics
Artificial Intelligence
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The Description Logic Handbook
The Description Logic Handbook
IEEE Intelligent Systems
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Matching semantic service descriptions with local closed-world reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Hi-index | 0.00 |
This paper presents a formalism for representing and reasoning about Web services with local closed world assumption (LCWA) on the basis of $\mathcal{ALCO@K}$. In our formalism, the knowledge about the states of the world is encoded in $\mathcal {ALCO@}$-ABoxes; atomic services are represented in terms of their preconditions (epistemic queries to the knowledge base) and effects (possibly negated $\mathcal{ALCO@}$-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 \emph{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.