Skip to main content

A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations

  • Conference paper
SOFSEM 2013: Theory and Practice of Computer Science (SOFSEM 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7741))

Abstract

Within the broad area of knowledge pattern science, an important topic is the discovery, description, and evaluation of modeling patterns for a certain task. One of the most controversial problem is constituted by modeling relations with large or variable (polymorphic) arity. There is indeed a large literature on representing n-ary relations in logical languages with expressivity limited to unary and binary relations, e.g. when time, space, roles and other knowledge should be used as indexes to binary relations. In this paper we provide a comparison of several design patterns, based on their respective (dis)advantages, as well as on their axiomatic complexity. Data on actual processing time for queries and DL reasoning from an in-vitro study is also provided.

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

Access this chapter

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. Alexander, C.: The Timeless Way of Building. Oxford Press (1979)

    Google Scholar 

  2. Baader, F. (ed.): The Description Logic Handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  3. Bach, E.: On Time, Tense, and Aspect: An Essay in English Metaphysics. In: Radical Pragmatics (1981)

    Google Scholar 

  4. Baker, C., Fillmore, C., Lowe, J.: The Berkeley FrameNet Project. In: Proceedings of the 17th International Conference on Computational Linguistics, Morristown, NJ, USA, pp. 86–90 (1998)

    Google Scholar 

  5. Batsakis, S., Petrakis, E.G.M.: SOWL: A Framework for Handling Spatio-Temporal Information in OWL 2.0. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 242–249. Springer, Heidelberg (2011)

    Google Scholar 

  6. Blomqvist, E., Gangemi, A., Presutti, V.: Experiments on Pattern-Based Ontology Design. In: K-CAP. ACM (2009)

    Google Scholar 

  7. Blomqvist, E., Presutti, V., Daga, E., Gangemi, A.: Experimenting with eXtreme Design. In: Cimiano, P., Pinto, H.S. (eds.) EKAW 2010. LNCS, vol. 6317, pp. 120–134. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. Carroll, J., Bizer, C., Hayes, P., Stickler, P.: Named Graphs, Provenance and Trust. In: WWW 2005, Chiba, Japan, May 10-14. ACM (2005)

    Google Scholar 

  9. Davidson, D.: The Logical Form of Action Sentences. In: The Logic of Decision and Action, 2nd edn. University of Pittsburgh Press, Pittsburgh (1967)

    Google Scholar 

  10. De Giacomo, G., Lenzerini, M., Rosati, R.: Towards Higher-Order DL-Lite. In: Proc. of DL 2008, Dresden, Germany (2008)

    Google Scholar 

  11. Galton, A.: Time and Change for AI. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 175–240. Clarendon Press, Oxford (1995)

    Google Scholar 

  12. Gangemi, A.: Norms and Plans as Unification Criteria for Social Collectives. Journal of Autonomous Agents and Multi-Agent Systems 16(3) (2008)

    Google Scholar 

  13. Gangemi, A.: What’s in a schema? A formal metamodel for ecg and framenet. In: Huang, C.-R., Calzolari, N., Gangemi, A., Lenci, A., Oltramari, A., Prévot, L. (eds.) Ontology and the Lexicon, Studies in Natural Language Processing. Cambridge University Press (2010)

    Google Scholar 

  14. Gangemi, A.: Super-duper schema: an owl2+rif dns pattern. In: Chaudry, V. (ed.) Proceedings of DeepKR Challenge Workshop at KCAP 2011 (2011)

    Google Scholar 

  15. Gangemi, A., Mika, P.: Understanding the Semantic Web through Descriptions and Situations. In: Meersman, R., Schmidt, D.C. (eds.) CoopIS/DOA/ODBASE 2003. LNCS, vol. 2888, pp. 689–706. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Gangemi, A., Presutti, V.: Towards a pattern science for the semantic web. Semantic Web 1(1-2), 61–68 (2010)

    Google Scholar 

  17. Guizzardi, G.: Ontological foundations for structural conceptual models. PhD thesis, University of Twente, Enschede, The Netherlands (2005)

    Google Scholar 

  18. Hayes, P.: 3D+1 (email message), http://ontolog.cim3.net/forum/ontologforum/2011-02/msg00009.html

  19. Hayes, P.: Formal unifying standards for the representation of spatiotemporal knowledge. Technical report, IHMC (2004), http://www.ihmc.us/users/phayes/Trickledown2004.pdf

  20. Hobbs, J.R.: Ontological Promiscuity. In: Proceedings of 23rd Annual Meeting of the Association for Computational Linguistics (1985)

    Google Scholar 

  21. Hoffart, J., Suchanek, F.M., Berberich, K., Weikum, G.: Yago2: A spatially and temporally enhanced knowledge base from wikipedia. Artificial Intelligence (to appear)

    Google Scholar 

  22. Jain, P., Hitzler, P., Yeh, P.Z., Vermay, K., Sheth, A.P.: Linked Data is Merely more Data. In: Proceedings of the AAAI Symposium Linked Data Meets Artificial Intelligence, pp. 82–86 (2010)

    Google Scholar 

  23. Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. In: Link, S., Prade, H. (eds.) Foundations of Information and Knowledge Systems. Studies in Linguistics and Philosophy, vol. 42. Kluwer, Dordrecht (1993)

    Google Scholar 

  24. Köhler, W.: Gestalt Psychology. Liveright, New York (1947)

    Google Scholar 

  25. Krieger, H.-U.: A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C’s N-ary Relations. In: International Conference on Formal Ontology and Information Systems, FOIS 2012 (2012)

    Google Scholar 

  26. Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social roles and their descriptions. In: Welty, C., Dubois, D. (eds.) Proc. of Knowledge Representation and Reasoning (KR), pp. 267–277 (2004)

    Google Scholar 

  27. McCarthy, J.: Actions and other events in situation calculus. In: Proceedings of KR 2002 (2002)

    Google Scholar 

  28. Minsky, M.: A Framework for Representing Knowledge. In: Winston, P. (ed.) The Psychology of Computer Vision. McGraw-Hill (1975)

    Google Scholar 

  29. Moore, M.S.: Legal Reality: A Naturalist Approach to Legal Ontology. Law and Philosophy 21 (2002)

    Google Scholar 

  30. Motik, B.: On the properties of metamodeling in OWL. J. Log. Comput., 617–637 (2007)

    Google Scholar 

  31. Noy, N., Rector, A.: Defining N-ary Relations on the Semantic Web: Use With Individuals. Technical report, W3C (2005), http://www.w3.org/TR/swbp-naryRelations/

  32. Nuzzolese, A.G., Gangemi, A., Presutti, V.: Gathering Lexical Linked Data and Knowledge Patterns from FrameNet. In: Proc. of the 6th International Conference on Knowledge Capture (K-CAP), Banff, Alberta, Canada, pp. 41–48 (2011)

    Google Scholar 

  33. Presutti, V., Draicchio, F., Gangemi, A.: Knowledge Extraction Based on Discourse Representation Theory and Linguistic Frames. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 114–129. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  34. Presutti, V., Gangemi, A.: Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 128–141. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  35. Rula, A., Palmonari, M., Harth, A., Stadtmüller, S., Maurino, A.: On the Diversity and Availability of Temporal Information in Linked Open Data. In: Cudré-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 492–507. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  36. Shaw, R., Troncy, R., Hardman, L.: LODE: Linking Open Descriptions of Events. In: Gómez-Pérez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol. 5926, pp. 153–167. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  37. Welty, C., Fikes, R.: A Reusable Ontology of Fluents in OWL. In: Int. Conference on Formal Ontology and Information Systems. IOS Press (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gangemi, A., Presutti, V. (2013). A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations. In: van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (eds) SOFSEM 2013: Theory and Practice of Computer Science. SOFSEM 2013. Lecture Notes in Computer Science, vol 7741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35843-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35843-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35842-5

  • Online ISBN: 978-3-642-35843-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics