Abstract
The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common description logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17(3), 55–72 (1996)
Alchourrón, C.E., Bulygin, E.: Normative Systems. Springer, Wien (1986)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12(3), 279–305 (2000)
De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Carlucci Aiello, L., Doyle, J., Shapiro, S. (eds.) KR 1996: Principles of Knowledge Representation and Reasoning, pp. 316–327. Morgan Kaufmann, San Francisco (1996)
Dignum, F.: Agents, markets, institutions, and protocols. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective, pp. 98–114. Springer, Heidelberg (2001)
Dignum, F.: Abstract norms and electronic institutions. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS, vol. 2934, pp. 93–104. Springer, Heidelberg (2004)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Ghidini, C., Giunchiglia, F.: A semantics for abstraction. In: L´opez de M´antaras, R., Saitta, L. (eds.) Proceedings of ECAI 2004, including PAIS 2004, pp. 343–347 (2004)
Grossi, D., Aldewereld, H., V´azquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. In: Proceedings of NorMAS 2005, Symposium on normative multi-agent systems, Hatfield, England, pp. 104–116. AISB (April 2005)
Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol. 3228, pp. 12–29. Springer, Heidelberg (2004)
Grossi, D., Dignum, F., Meyer, J.-J.C.: Context in categorization. In: Proceedings of CRR 2005, International Workshop on Context Representation and Reasoning, Paris. CEUR Workshop Proceedings, vol. 136 (July 2005)
Grossi, D., Dignum, F., Meyer, J.-J.C.: Contextual taxonomies. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 33–51. Springer, Heidelberg (2005)
Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as. In: Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 1–9. ACM, New York (2005)
Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems. Deontic Logic in Computer Science, 275–307 (1993)
Jónsson, B., Tarski, A.: Boolean algebras with operators: Part I. American Journal of Mathematics 73, 891–939 (1951)
McCarthy, J.: Notes on formalizing contexts. In: Kehler, T., Rosenschein, S. (eds.) Proceedings of the Fifth National Conference on Artificial Intelligence, Los Altos, California, pp. 555–560. Morgan Kaufmann, San Francisco (1986)
Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of IJCAI 1991, 12th International Joint Conference on Artificial Intelligence, Sidney, AU, pp. 466–471 (1991)
Searle, J.: The Construction of Social Reality. Free Press, New York (1995)
Shoham, Y.: Varieties of context, pp. 393–407. Academic Press Professional, Inc., London (1991)
Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhuser Verlag AG (2004)
Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 584–593. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grossi, D., Dignum, F., Meyer, JJ.C. (2006). Contextual Terminologies. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_16
Download citation
DOI: https://doi.org/10.1007/11750734_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)