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.
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
Alexander, C.: The Timeless Way of Building. Oxford Press (1979)
Baader, F. (ed.): The Description Logic Handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
Bach, E.: On Time, Tense, and Aspect: An Essay in English Metaphysics. In: Radical Pragmatics (1981)
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)
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)
Blomqvist, E., Gangemi, A., Presutti, V.: Experiments on Pattern-Based Ontology Design. In: K-CAP. ACM (2009)
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)
Carroll, J., Bizer, C., Hayes, P., Stickler, P.: Named Graphs, Provenance and Trust. In: WWW 2005, Chiba, Japan, May 10-14. ACM (2005)
Davidson, D.: The Logical Form of Action Sentences. In: The Logic of Decision and Action, 2nd edn. University of Pittsburgh Press, Pittsburgh (1967)
De Giacomo, G., Lenzerini, M., Rosati, R.: Towards Higher-Order DL-Lite. In: Proc. of DL 2008, Dresden, Germany (2008)
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)
Gangemi, A.: Norms and Plans as Unification Criteria for Social Collectives. Journal of Autonomous Agents and Multi-Agent Systems 16(3) (2008)
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)
Gangemi, A.: Super-duper schema: an owl2+rif dns pattern. In: Chaudry, V. (ed.) Proceedings of DeepKR Challenge Workshop at KCAP 2011 (2011)
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)
Gangemi, A., Presutti, V.: Towards a pattern science for the semantic web. Semantic Web 1(1-2), 61–68 (2010)
Guizzardi, G.: Ontological foundations for structural conceptual models. PhD thesis, University of Twente, Enschede, The Netherlands (2005)
Hayes, P.: 3D+1 (email message), http://ontolog.cim3.net/forum/ontologforum/2011-02/msg00009.html
Hayes, P.: Formal unifying standards for the representation of spatiotemporal knowledge. Technical report, IHMC (2004), http://www.ihmc.us/users/phayes/Trickledown2004.pdf
Hobbs, J.R.: Ontological Promiscuity. In: Proceedings of 23rd Annual Meeting of the Association for Computational Linguistics (1985)
Hoffart, J., Suchanek, F.M., Berberich, K., Weikum, G.: Yago2: A spatially and temporally enhanced knowledge base from wikipedia. Artificial Intelligence (to appear)
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)
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)
Köhler, W.: Gestalt Psychology. Liveright, New York (1947)
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)
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)
McCarthy, J.: Actions and other events in situation calculus. In: Proceedings of KR 2002 (2002)
Minsky, M.: A Framework for Representing Knowledge. In: Winston, P. (ed.) The Psychology of Computer Vision. McGraw-Hill (1975)
Moore, M.S.: Legal Reality: A Naturalist Approach to Legal Ontology. Law and Philosophy 21 (2002)
Motik, B.: On the properties of metamodeling in OWL. J. Log. Comput., 617–637 (2007)
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/
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)
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)
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)
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)
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)
Welty, C., Fikes, R.: A Reusable Ontology of Fluents in OWL. In: Int. Conference on Formal Ontology and Information Systems. IOS Press (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)