A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations
作者： Aldo Gangemi , Valentina Presutti
DOI: 10.1007/978-3-642-35843-2_8
关键词: Unary operation 、 Ontology-based data integration 、 Software design pattern 、 Variable (computer science) 、 Theoretical computer science 、 Axiom 、 Binary relation 、 Arity 、 Space (commercial competition) 、 Computer science
摘要: Within the broad area of knowledge pattern science, an important topic is discovery, description, and evaluation modeling patterns for a certain task. One most controversial problem constituted by relations with large or variable (polymorphic) arity. There indeed literature on representing n-ary in logical languages expressivity limited to unary binary relations, e.g. when time, space, roles other should be used as indexes relations. In this paper we provide comparison several design patterns, based their respective (dis)advantages, well axiomatic complexity. Data actual processing time queries DL reasoning from in-vitro study also provided.
springer.com
sci-hub.st 参考文章(42)
John McCarthy, Actions and Other Events in Situation Calculus. principles of knowledge representation and reasoning. pp. 615- 628 ,(2002)
Knowledge Engineering and Management by the Masses Lecture Notes in Computer Science. ,vol. 6317, ,(2010) , 10.1007/978-3-642-16438-5
Sotiris Batsakis, Euripides G. M. Petrakis, SOWL: a framework for handling spatio-temporal information in OWL 2.0 rules and rule markup languages for the semantic web. pp. 242- 249 ,(2011) , 10.1007/978-3-642-22546-8_19
Antony Galton, Time and change for AI Handbook of logic in artificial intelligence and logic programming (Vol. 4). pp. 175- 240 ,(1995)
Maurizio Lenzerini, Riccardo Rosati, Giuseppe De Giacomo, Towards Higher-Order DL-Lite. Description Logics. ,(2008)
Eva Blomqvist, Valentina Presutti, Enrico Daga, Aldo Gangemi, Experimenting with eXtreme design knowledge acquisition, modeling and management. pp. 120- 134 ,(2010) , 10.1007/978-3-642-16438-5_9
The Semantic Web – ISWC 2012 Springer. ,vol. 7649, ,(2012) , 10.1007/978-3-642-35173-0
Donald Davidson, The Logical Form of Action Sentences Essays on Actions and Events. pp. 105- 148 ,(2001) , 10.1093/0199246270.003.0006
Emmon W Bach, Time, Tense, and Aspect: An Essay in English Metaphysics ,(1981)
Dov M. Gabbay, J. A. Robinson, C. J. Hogger, Handbook of logic in artificial intelligence and logic programming (vol. 1) Oxford University Press, Inc.. ,(1993)