Skip to main content
SpringerLink
Log in

Description Logics for Relative Terminologies

  • Conference paper
Interfaces: Explorations in Logic, Language and Computation (ESSLLI 2008, ESSLLI 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6211))

  • 479 Accesses

Abstract

Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of reasoning with contextual knowledge has been picked up also by the Semantic Web community. In this paper we introduce a conservative extension to the Description Logic \(\mathcal{ALC}\) which supports representation of ontologies containing relative terms, such as ‘big’ or ‘tall’, whose meaning depends on the choice of a particular comparison class (context). We define the language and investigate its computational properties, including the specification of a tableau-based decision procedure and complexity bounds.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Shapiro, S.: Vagueness in Context. Oxford University Press, Oxford (2006)

    Book  Google Scholar 

  2. Gaio, S.: Granular Models for Vague Predicates. In: Proceedings of the Fifth International Conference, FOIS 2008 (2008)

    Google Scholar 

  3. Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)

    Google Scholar 

  4. Benslimane, D., Arara, A., Falquet, G., Maamar, Z., Thiran, P., Gargouri, F.: Contextual ontologies: Motivations, challenges, and solutions. In: Proceedings of the Advances in Information Systems Conference, Izmir (2006)

    Google Scholar 

  5. Horrocks, I., Patel-Schneider, P.F., Harmelen, F.V.: From SHIQ and RDF to OWL: The making of a Web Ontology Language. Journal of Web Semantics 1 (2003)

    Google Scholar 

  6. Guha, R., Mccool, R., Fikes, R.: Contexts for the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 32–46. Springer, Heidelberg (2004)

    Google Scholar 

  7. Kurucz, A., Wolter, F., Zakharyaschev, M., Gabbay, D.M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam (2003)

    MATH  Google Scholar 

  8. Klarman, S.: Description logics for relative terminologies or why the biggest city is not a big thing. In: Icard, T. (ed.) Proc. of the ESSLLI 2009 Student Session (2009)

    Google Scholar 

  9. Klarman, S., Schlobach, S.: Relativizing concept descriptions to comparison classes. In: Description Logics. CEUR Workshop Proceedings, vol. 477. CEUR-WS.org (2009)

    Google Scholar 

  10. Baader, F., Calvanese, D., Mcguinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  11. Third, A., Bennett, B., Mallenby, D.: Architecture for a grounded ontology of geographic information. In: Fonseca, F., Rodríguez, M.A., Levashkin, S. (eds.) GeoS 2007. LNCS, vol. 4853, pp. 36–50. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  13. Wolter, F., Zakharyaschev, M.: Multi-dimensional description logics. In: The Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 104–109 (1999)

    Google Scholar 

  14. Wolter, F., Zakharyaschev, M.: Satisfiability problem in description logics with modal operators. In: Proceedings of the Sixth Conference on Principles of Knowledge Representation and Reasoning, pp. 512–523 (1998)

    Google Scholar 

  15. Giunchiglia, F., Ghidini, C.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001)

    Google Scholar 

  16. Grossi, D.: Desigining Invisible Handcuffs. Formal Investigations in Institutions and Organizations for Multi-Agent Systems. PhD thesis, Utrecht University (2007)

    Google Scholar 

  17. Goczyla, K., Waloszek, W., Waloszek, A.: Contextualization of a DL knowledge base. In: The Proc. of the Description Logics Workshop (2007)

    Google Scholar 

  18. McCarthy, J.: Notes on formalizing context, pp. 555–560. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  19. Guha, R.V.: Contexts: A Formalization and Some Applications. PhD thesis, Stanford University (1995)

    Google Scholar 

  20. Buvac, S., Mason, I.A.: Propositional logic of context. In: Proc. of the 11th National Conference on Artificial Inteligence, pp. 412–419 (1993)

    Google Scholar 

  21. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library. Springer, Heidelberg (2007)

    Google Scholar 

  22. Balbiani, P., Ditmarsch, H., Herzig, A., Lima, T.: A tableau method for public announcement logics. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 43–59. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Lutz, C.: Complexity and succinctness of public announcement logic. In: AAMAS’06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 137–143. ACM, New York (2006)

    Chapter  Google Scholar 

  24. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Web Semantics 6(4), 291–308 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, HV, Amsterdam, The Netherlands

    Szymon Klarman

Authors
  1. Szymon Klarman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Stanford University, Stanford,, CA, USA

    Thomas Icard

  2. Tilburg University, Tilburg, The Netherlands

    Reinhard Muskens

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Klarman, S. (2010). Description Logics for Relative Terminologies. In: Icard, T., Muskens, R. (eds) Interfaces: Explorations in Logic, Language and Computation. ESSLLI ESSLLI 2008 2009. Lecture Notes in Computer Science(), vol 6211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14729-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14729-6_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14728-9

  • Online ISBN: 978-3-642-14729-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation