Ontology reasoning in agent-oriented programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6404 LNAI, Issue , 2010, Pages 21-30

  Fuzitaki, Claudio ^a,c   Moreira, Álvaro ^a   Vieira, Renata ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^c CNPq ^*  (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-ORIENTED PROGRAMMING; AGENT-ORIENTED PROGRAMMING LANGUAGES; AGENTSPEAK; COMPUTATIONAL PROPERTIES; EXPRESSIVE POWER; FACTUAL KNOWLEDGE; INTER-AGENT COMMUNICATIONS; MULTI-AGENT; ONTOLOGICAL REASONING;

C (PROGRAMMING LANGUAGE); MULTI AGENT SYSTEMS;

ONTOLOGY;

EID: 78649964769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16138-4_3     Document Type: Conference Paper

References (14)

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)
2. Motik, B., Hayes, P.,Horricks, I.: OWL web ontology language semantic and abstract syntax, W3C recommendation (February 10, 2004), http://www.w3.org/TR/ 2004/REC-owl-semantics-20040210/ (Last visited in January 2009)
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) (Pubitemid 43006675)
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)
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)
6. Vieira, R.,Moreira, Á.F.,Wooldridge, M., Bordini, R.H.: On the formal semantics of speechact based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research (JAIR) 29, 221-267 (2007)
7. Bordini, R., Hubner, J., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. John Wiley and Sons, Chichester (2007)
8. Moreira, .F., Vieira, R., Bordini, R.H., Hübner, J.F.: Agent-oriented programming with underlying ontological reasoning. In: [14], pp. 155-170
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)
10. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: [13], pp. 46-56
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)
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, CEUR-WS.org (2007)
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)
14. Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.): DALT 2005. LNCS (LNAI), vol. 3904. Springer, Heidelberg (2006)