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

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.

[1]  Amit P. Sheth,et al.  Linked Data Is Merely More Data , 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.

[2]  John B. Lowe,et al.  The Berkeley FrameNet Project , 1998, ACL.

[3]  Emmon Bach.  Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .

[4]  Aldo Gangemi,et al.  Understanding the Semantic Web through Descriptions and Situations , 2003, OTM.

[5]  Robert Meersman,et al.  On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE , 2003, Lecture Notes in Computer Science.

[6]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[7]  Michael S. Moore,et al.  Legal Reality: A Naturalist Approach to Legal Ontology , 2002 .

[8]  Andrea Giovanni Nuzzolese,et al.  Gathering lexical linked data and knowledge patterns from FrameNet , 2011, K-CAP '11.

[9]  Hans-Ulrich Krieger.  A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations , 2012, FOIS.

[10]  Christian S. Jensen,et al.  Capturing Temporal Constraints in Temporal ER Models , 2008, ER.

[11]  Steffen Stadtmüller,et al.  On the Diversity and Availability of Temporal Information in Linked Open Data , 2012, SEMWEB.

[12]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[13]  Aldo Gangemi,et al.  Norms and plans as unification criteria for social collectives , 2008, Autonomous Agents and Multi-Agent Systems.

[14]  Antony Galton.  Time and change for AI , 1995 .

[15]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[16]  Jerry R. Hobbs.  Ontological Promiscuity , 1985, ACL.

[17]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[18]  Jeremy J. Carroll,et al.  Named graphs, provenance and trust , 2005, WWW '05.

[19]  Aldo Gangemi,et al.  Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies , 2008, ER.

[20]  Raphaël Troncy,et al.  LODE: Linking Open Descriptions of Events , 2009, ASWC.

[21]  Maurizio Lenzerini,et al.  Towards Higher-Order DL-Lite , 2008, Description Logics.

[22]  Aldo Gangemi,et al.  Knowledge Extraction Based on Discourse Representation Theory and Linguistic Frames , 2012, EKAW.

[23]  Jeff Heflin,et al.  The Semantic Web – ISWC 2012 , 2012, Lecture Notes in Computer Science.

[24]  Gerhard Weikum,et al.  YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract , 2013, IJCAI.

[25]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[26]  Euripides G. M. Petrakis,et al.  SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0 , 2011, RuleML Europe.

[27]  Aldo Gangemi,et al.  Experimenting with eXtreme Design , 2010, EKAW.

[28]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2007, J. Log. Comput..

[29]  Christopher Alexander,et al.  The Timeless Way of Building , 1979 .

[30]  Aldo Gangemi,et al.  Towards a pattern science for the Semantic Web , 2010, Semantic Web.

[31]  Aldo Gangemi,et al.  Experiments on pattern-based ontology design , 2009, K-CAP '09.

[32]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[33]  Thomas Lukasiewicz.  Proceedings of the 7th International Symposium on the Foundations of Information and Knowledge Systems‚ FoIKS 2012‚ Kiel‚ Germany‚ March 5−9‚ 2012 , 2000 .

[34]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[35]  Philipp Cimiano,et al.  Knowledge Engineering and Management by the Masses , 2010, Lecture Notes in Computer Science.

[36]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .

[37]  John McCarthy,et al.  Actions and Other Events in Situation Calculus , 2002, KR.

[38]  Richard Fikes,et al.  A Reusable Ontology for Fluents in OWL , 2006, FOIS.