Actions and programs over description logic ontologies

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 29-40

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC ACTIONS; COMPLEXITY RESULTS; CRITICAL ISSUES; DESCRIPTION LOGIC; HIGH-LEVEL PROGRAM; REASONING ABOUT ACTIONS; SINGLE-STEP;

FORMAL LANGUAGES; QUERY PROCESSING;

DATA DESCRIPTION;

EID: 78649938704     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
2. F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating description logics and action formalisms: First results. In Proc. of AAAI 2005, pages 572-577, 2005.
3. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based Semantic Web services with messaging. In Proc. of VLDB 2005, pages 613-624, 2005.
4. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, pages 602-607, 2005.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of KR 2006, pages 260-270, 2006.
6. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. EQL-Lite: Effective first-order query processing in description logics. In Proc. of IJCAI 2007, pages 274-279, 2007.
7. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Moving a robot: the KR&R approach at work. In Proc. of KR'96, pages 198-209, 1996.
8. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the update of description logic ontologies at the instance level. In Proc. of AAAI 2006, 2006.
9. G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati. On the approximation of instance level update and erasure in description logics. In Proc. of AAAI 2007, 2007.
10. G. De Giacomo, Y. Lesṕerance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
11. G. De Giacomo, R. Reiter, and M. Soutchanski. Execution monitoring of high-level robot programs. In Proc. of KR'98, pages 453-465, 1998.
12. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In Proc. of PODS 2006, pages 90-99, 2006.
13. D. G. Giuseppe and R. Rosati. Minimal knowledge approach to reasoning about actions and sensing. ETAI, 3, Section C, 1999.
14. Y. Gu and M. Soutchanski. Decidable reasoning in a modified situation calculus. In Proc. of IJCAI 2007, pages 1891-1897, 2007.
15. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7-26, 2003.
16. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Proc. of KR'91, pages 387-394, 1991.
17. H. J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23:155-212, 1984.
18. H. J. Levesque and G. Lakemeyer. The Logic of Knowledge Bases. The MIT Press, 2001.
19. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. J. of Logic Programming, 31:59-84, 1997.
20. H. Liu, C. Lutz, M. Milicic, and F. Wolter. Reasoning about actions using description logics with general TBoxes. In Proc. of JELIA 2006, 2006.
21. H. Liu, C. Lutz, M. Milicic, and F. Wolter. Updating description logic ABoxes. In Proc. of KR 2006, pages 46-56, 2006.
22. D. Martin, M. Paolucci, S. McIlraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. Payne, M. Sabou, Solanki, N. Srinivasan, and K. Sycara. Bringing semantics to web services: The OWL-S approach. In Proc. of the 1st Int. Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004), 2004.
23. J. McCarthy. Towards a mathematical science of computation. In Proc. of the IFIP Congress, pages 21-28, 1962.
24. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of aritificial intelligence. Machine Intelligence, 4:463-502, 1969.
25. R. P. A. Petrick and F. Bacchus. Extending the knowledge-based approach to planning with incomplete information and sensing. In Proc. of KR 2004, pages 613-622, 2004.
26. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
27. R. Reiter. What should a database know? J. of Logic Programming, 14:127-153, 1990.
28. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001.
29. S. Sardiña, G. De Giacomo, Y. Lespérance, and H. J. Levesque. On the semantics of deliberation in IndiGolog - from theory to implementation. Ann. of Mathematics and Artificial Intelligence, 41(2-4):259-299, 2004.
30. S. Sardiña, G. De Giacomo, Y. Lespérance, and H. J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proc. of KR 2006, pages 463-471, 2006.
31. M. K. Smith, C. Welty, and D. L. McGuiness. OWL Web Ontology Language guide. W3C Recommendation, Feb. 2004. Available at http://www.w3.org/TR/owl- guide/.
32. M. B. van Riemsdijk, F. S. de Boer, M. Dastani, and J.-J. C. Meyer. Prototyping 3APL in the Maude term rewriting language. In Proc. of 5th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 1279-1281, 2006.
33. M.Winslett. Reasoning about action using a possible models approach. In Proc. of AAAI'98, 1988.
34. M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.
35. L. D. Zuck and A. Pnueli. Model checking and abstraction to the aid of parameterized systems (a survey). Computer Languages, Systems & Structures, 30(3-4):139-169, 2004.