Ontology Reasoning in Agent-Oriented Programming

  • Claudio Fuzitaki
  • Álvaro Moreira
  • Renata Vieira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6404)


DL-Lite is being regarded as an effective logic for ontology reasoning due both to its expressive power and its computational properties. Considering that ontologies are important constructs for multi-agent system, in this paper we propose the integration of ontology reasoning and agent-oriented programming. More specifically, we consider an agent-oriented programming language based on DL-Lite with belief bases consisting of an immutable TBox, with the characterization of concepts and roles, and of an ABox with factual knowledge, which can change as the result of perception of the environment, internal actions, and inter-agent communication. We discuss the benefits of ontological reasoning and we give algorithms for belief base querying, plan selection, and for a principled approach for belief base update. The language we propose, AgentSpeak-DL, is a subset of AgentSpeak, a well known BDI multi-agent oriented programming language.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  2. 2.
    Motik, B., Hayes, P., Horricks, I.: OWL web ontology language semantic and abstract syntax, W3C recommendation (February 10, 2004), (Last visited in January 2009)
  3. 3.
    Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI, pp. 602–607. AAAI Press, The MIT Press (2005)Google Scholar
  4. 4.
    Alechina, N., Bordini, R.H., Hübner, J.F., Jago, M., Logan, B.: Belief revision for AgentSpeak agents. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 1288–1290. ACM, New York (2006)CrossRefGoogle Scholar
  5. 5.
    Giacomo, G.D., Lenzerini, M., Poggi, A., Rosati, R.: On the approximation of instance level update and erasure in description logics. In: AAAI, pp. 403–408. AAAI Press, Menlo Park (2007)Google Scholar
  6. 6.
    Vieira, R., Moreira, Á.F., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research (JAIR) 29, 221–267 (2007)zbMATHGoogle Scholar
  7. 7.
    Bordini, R., Hubner, J., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. John Wiley and Sons, Chichester (2007)CrossRefzbMATHGoogle Scholar
  8. 8.
    Moreira, Á.F., Vieira, R., Bordini, R.H., Hübner, J.F.: Agent-oriented programming with underlying ontological reasoning. In: [14], pp. 155–170Google Scholar
  9. 9.
    Klapiscak, T., Bordini, R.H.: JASDL: A practical programming approach combining agent and semantic web technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91–110. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  10. 10.
    Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: [13], pp. 46–56Google Scholar
  11. 11.
    Clark, K.L., McCabe, F.G.: Ontology schema for an agent belief store. International Journal of Man-Machine Studies 65(7), 640–658 (2007)Google Scholar
  12. 12.
    Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Actions and programs over description logic ontologies. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.Y., Tessaris, S. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 250, (2007)Google Scholar
  13. 13.
    Doherty, P., Mylopoulos, J., Welty, C.A. (eds.): Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5. AAAI Press, Menlo Park (2006)Google Scholar
  14. 14.
    Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.): DALT 2005. LNCS (LNAI), vol. 3904. Springer, Heidelberg (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Claudio Fuzitaki
    • 1
  • Álvaro Moreira
    • 1
  • Renata Vieira
    • 2
  1. 1.Institute of InformaticsFederal University of Rio Grande do SulBrazil
  2. 2.Faculty of InformaticsPontifical Catholic University of Rio Grande do SulBrazil

Personalised recommendations