Contextual Terminologies

  • Davide Grossi
  • Frank Dignum
  • John-Jules Ch. Meyer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


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.


Modal Logic Description Logic Public Park Atomic Concept Concept Vehicle 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine 17(3), 55–72 (1996)Google Scholar
  2. 2.
    Alchourrón, C.E., Bulygin, E.: Normative Systems. Springer, Wien (1986)MATHGoogle Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)MATHGoogle Scholar
  4. 4.
    Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12(3), 279–305 (2000)CrossRefMATHGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Dignum, F.: Agents, markets, institutions, and protocols. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective, pp. 98–114. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems. Deontic Logic in Computer Science, 275–307 (1993)Google Scholar
  16. 16.
    Jónsson, B., Tarski, A.: Boolean algebras with operators: Part I. American Journal of Mathematics 73, 891–939 (1951)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    Searle, J.: The Construction of Social Reality. Free Press, New York (1995)Google Scholar
  20. 20.
    Shoham, Y.: Varieties of context, pp. 393–407. Academic Press Professional, Inc., London (1991)MATHGoogle Scholar
  21. 21.
    Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhuser Verlag AG (2004)Google Scholar
  22. 22.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Davide Grossi
    • 1
  • Frank Dignum
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Utrecht UniversityThe Netherlands

Personalised recommendations