Advertisement

Reification and Truthmaking Patterns

  • Nicola GuarinoEmail author
  • Tiago Prince Sales
  • Giancarlo Guizzardi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11157)

Abstract

Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be reified is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking patterns for properties and relations based on the ontological nature of their truthmakers. Truthmaking patterns will be presented as generalization of reification patterns, accounting for the fact that, in some cases, we do not reify a property or a relationship directly, but we rather reify its truthmakers.

Keywords

Ontology-driven conceptual modeling Reification 

References

  1. 1.
    Arp, R., Smith, B., Spear, A.D.: Building Ontologies with Basic Formal Ontology. MIT Press, Cambridge (2015)CrossRefGoogle Scholar
  2. 2.
    Borgo, S., Masolo, C.: Foundational choices in DOLCE. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 361–381. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-540-92673-3_16CrossRefGoogle Scholar
  3. 3.
    Dahchour, M., Pirotte, A.: The semantics of reifying n-ary relationships as classes. In: 4th International Conference on Enterprise Information Systems (ICEIS), pp. 580–586 (2002)Google Scholar
  4. 4.
    Davidson, D.: The individuation of events. In: Rescher, N. (ed.) Essays in Honor of Carl G. Hempel. Synthese Library, vol. 24, pp. 216–234. Springer, Dordrecht (1969).  https://doi.org/10.1007/978-94-017-1466-2_11CrossRefGoogle Scholar
  5. 5.
    Francescotti, R.: Mere Cambridge properties. Am. Philos. Q. 36(4), 295–308 (1999)Google Scholar
  6. 6.
    Galton, A.: Reified temporal theories and how to unreify them. In: IJCAI, pp. 1177–1183 (1991)Google Scholar
  7. 7.
    Gangemi, A., Presutti, V.: Ontology design patterns. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 221–243. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-540-92673-3_10CrossRefGoogle Scholar
  8. 8.
    Guarino, N.: The ontological level: revisiting 30 years of knowledge representation. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 52–67. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-642-02463-4_4CrossRefGoogle Scholar
  9. 9.
    Guarino, N., Guizzardi, G.: “We Need to Discuss the Relationship”: revisiting relationships as modeling constructs. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 279–294. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-19069-3_18CrossRefGoogle Scholar
  10. 10.
    Guarino, N., Guizzardi, G.: Relationships and events: towards a general theory of reification and truthmaking. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS (LNAI), vol. 10037, pp. 237–249. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-49130-1_18CrossRefGoogle Scholar
  11. 11.
    Guarino, N., Guizzardi, G., Sales, T.P.: On the ontological nature of REA core relations. In: 12th International Workshop on Value Modeling and Business Ontologies (2018)Google Scholar
  12. 12.
    Guarino, N., Oberle, D., Staab, S.: What Is an ontology? In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 1–17. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-540-92673-3_0CrossRefGoogle Scholar
  13. 13.
    Guarino, N., Welty, C.A.: An overview of OntoClean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 201–220. Springer, Heidelberg (2009).  https://doi.org/10.1007/978-3-540-92673-3_9CrossRefGoogle Scholar
  14. 14.
    Guizzardi, G.: Ontological foundations for structural conceptual models. CTIT, Centre for Telematics and Information Technology (2005). https://research.utwente.nl/en/publications/ontological-foundations-for-structural-conceptual-models
  15. 15.
    Halpin, T.: Objectification of relationships. In: Siau, K. (ed.) Advanced Topics in Database Research, vol. 5, p. 106. IGI global (2006)Google Scholar
  16. 16.
    Heller, B., Herre, H.: General ontological language (GOL): a formal framework for building and representing ontologies. Technical report 7/2004, Institute for Medical Informatics, Statistics and Epidemiology, University of Leipzig, Germany (2004)Google Scholar
  17. 17.
    MacBride, F.: Truthmakers. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University (2016). fall 2016 ednGoogle Scholar
  18. 18.
    Marmodoro, A., Yates, D. (eds.): The Metaphysics of Relations. Oxford University Press, New York (2017)Google Scholar
  19. 19.
    Marshall, D., Weatherson, B.: Intrinsic vs. extrinsic properties. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University (2018)Google Scholar
  20. 20.
    McCarthy, W.E.: ISO 15944–4 - REA Ontology. ISO, pp. 1–82, June 2007Google Scholar
  21. 21.
    Moore, G.E.: External and internal relations. In: Proceedings of the Aristotelian Society, vol. 20, pp. 40–62 (1919). JSTORGoogle Scholar
  22. 22.
    Moreira, J.L.R., Sales, T.P., Guerson, J., Braga, B.F.B., Brasileiro, F., Sobral, V.: Menthor editor: an ontology-driven conceptual modeling platform. In: 2nd Joint Ontology Workshops (JOWO) (2016)Google Scholar
  23. 23.
    Noy, N., Rector, A.: Defining n-ary relations on the semantic web. Technical report, W3C (2006). https://www.w3.org/TR/swbp-n-aryRelations
  24. 24.
    Olivé, A.: Relationship reification: a temporal view. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 396–410. Springer, Heidelberg (1999).  https://doi.org/10.1007/3-540-48738-7_29CrossRefGoogle Scholar
  25. 25.
    Olivé, A.: Conceptual Modeling of Information Systems. Springer Science & Business Media, Heidelberg (2007).  https://doi.org/10.1007/978-3-540-39390-0CrossRefzbMATHGoogle Scholar
  26. 26.
    Parsons, J.: There is no ‘truthmaker’ argument against nominalism. Australas. J. Philos. 77(3), 325–334 (1999)CrossRefGoogle Scholar
  27. 27.
    Russell, B.: Philosophical Essays. Longmans, Green, and Co., New York (1910)zbMATHGoogle Scholar
  28. 28.
    Simons, P.: Relations and truthmaking. Aristot. Soc. Suppl. 84(1), 199–213 (2010)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Nicola Guarino
    • 1
    Email author
  • Tiago Prince Sales
    • 1
    • 2
  • Giancarlo Guizzardi
    • 3
  1. 1.ISTC-CNR Laboratory for Applied OntologyTrentoItaly
  2. 2.University of TrentoTrentoItaly
  3. 3.Free University of Bozen-BolzanoBolzanoItaly

Personalised recommendations