Skip to main content

2016 | OriginalPaper | Buchkapitel

Relationships and Events: Towards a General Theory of Reification and Truthmaking

verfasst von : Nicola Guarino, Giancarlo Guizzardi

Erschienen in: AI*IA 2016 Advances in Artificial Intelligence

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge representation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship’s existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and relationships, suggesting that relationships are the focus of events, which emerge from the context (the scene) they occur in.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
The notion of truthmaking will be further discussed and refined.
 
2
For the time being, we are using here the term ‘event’ in its most general sense, as a synonym of what in the DOLCE ontology are called perdurants (note that also states and processes are considered as perdurants). In the rest of the paper, we propose a more restricted notion of event.
 
3
Another way to capture this meaning is to add attributes to the original tuple, which somehow express the properties the relationship has. This is the approach followed by Thalheim [7], who defines a relationship type as a sequence of entity types followed by a set of attributes.
 
4
By ‘a relation that deserves reification’ we mean a relation that deserves reification of its relationships. Informally, we talk of reification of a relation to mean reification of its relationships.
 
5
Of course, one could consider heavier(John@t, Mary@t) to be a relation between the states (snapshots) of John and Mary at t. In this case, the relation would hold internally if at all.
 
6
We shall take the notion of intrinsic property as primitive. Intuitively, an intrinsic property is a property that holds for an entity independently of the existence of any other entity.
 
7
See the recent overview by MacBride [11] of the various philosophical positions on relations. According to him, there are three ways of understanding the internal/external distinction: “internal relations are determined by the mere existence of the things they relate, or internal relations are determined by the intrinsic characters of the things they relate, or internal relations supervene upon the intrinsic characters of the things they relate”. The first position (adopted by Simons) is due to Moore. The second one is due to Armstrong, while the third one to Lewis.
 
8
Another answer could be that the truthmaker is a fact of redness. In light of the discussion in [1] against facts as a viable interpretation for relationships, we do not consider this option here.
 
9
For our purposes, we define a minimal truthmaker of a proposition as a truthmaker such that no entity inhering in it, being part of it or participating to it is itself a truthmaker of the same proposition.
 
10
We shall not discuss the differences among these ontologies concerning the notion of quality. In particular, we shall ignore the fact that DOLCE does not consider qualities as endurants, and we shall collapse, for the sake of simplicity, UFO’s distinction between qualities and modes.
 
11
This notion of individual qualities as endurants is similar to Moltmann’s variable tropes.
 
12
The mereological sum of x and y is an entity z such that whatever overlaps z also overlaps x or y (see, for instance, [2], Chap. 5).
 
13
We understand participation as a formal relation linking endurants to perdurants [13].
 
Literatur
1.
Zurück zum Zitat 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, Heidelberg (2015). doi:10.1007/978-3-319-19069-3_18 CrossRef 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, Heidelberg (2015). doi:10.​1007/​978-3-319-19069-3_​18 CrossRef
2.
Zurück zum Zitat Guizzardi, G.: Ontological Foundations for Structural Conceptual Models (2005) Guizzardi, G.: Ontological Foundations for Structural Conceptual Models (2005)
3.
Zurück zum Zitat Chen, P.: English sentence structure and entity-relationship diagrams. Inf. Sci. 29(2), 127–149 (1983)CrossRef Chen, P.: English sentence structure and entity-relationship diagrams. Inf. Sci. 29(2), 127–149 (1983)CrossRef
4.
Zurück zum Zitat Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, Salvatore, T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 65–78. Springer, Heidelberg (2002). doi:10.1007/3-540-45816-6_15 CrossRef Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, Salvatore, T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 65–78. Springer, Heidelberg (2002). doi:10.​1007/​3-540-45816-6_​15 CrossRef
5.
Zurück zum Zitat Guizzardi, G., Wagner, G., Herre, H.: On the foundations of UML as an ontology representation language. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 47–62. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30202-5_4 CrossRef Guizzardi, G., Wagner, G., Herre, H.: On the foundations of UML as an ontology representation language. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 47–62. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30202-5_​4 CrossRef
6.
Zurück zum Zitat Davidson, D.: The individuation of events. In: Contemporary Readings in the Foundations of Metaphysics, p. 295 (1998) Davidson, D.: The individuation of events. In: Contemporary Readings in the Foundations of Metaphysics, p. 295 (1998)
8.
Zurück zum Zitat Simons, P.M.: Relations and truthmaking. Aristot. Soc. 84(Suppl. 1), 199–213 (2010)CrossRef Simons, P.M.: Relations and truthmaking. Aristot. Soc. 84(Suppl. 1), 199–213 (2010)CrossRef
9.
Zurück zum Zitat Armstrong, D.M.: Universals and scientific realism. In: A Theory of Universals, vol. 2, pp. 1–169. Cambridge University Press, Cambridge (1978) Armstrong, D.M.: Universals and scientific realism. In: A Theory of Universals, vol. 2, pp. 1–169. Cambridge University Press, Cambridge (1978)
10.
Zurück zum Zitat Moore, G.E.: External and Internal Relations. In: Proceedings of the Aristotelian Society, pp. 1–15, December 1919 Moore, G.E.: External and Internal Relations. In: Proceedings of the Aristotelian Society, pp. 1–15, December 1919
11.
Zurück zum Zitat MacBride, F.: Relations. In: Stanford Encyclopedia of Philosophy, pp. 1–42 (2016) MacBride, F.: Relations. In: Stanford Encyclopedia of Philosophy, pp. 1–42 (2016)
12.
Zurück zum Zitat da Silva Teixeira, M.D.G., de Almeida Falbo, R., Guizzardi, G.: Analyzing the behavior of modelers in interpreting relationships in conceptual models: an empirical study. In: OntoCOM 2014, pp. 1–12 (2014) da Silva Teixeira, M.D.G., de Almeida Falbo, R., Guizzardi, G.: Analyzing the behavior of modelers in interpreting relationships in conceptual models: an empirical study. In: OntoCOM 2014, pp. 1–12 (2014)
13.
Zurück zum Zitat Borgo, S., Masolo, C.: Foundational choices in DOLCE. In: Staab, S. (ed.) Handbook on ontologies, pp. 361–381. Springer, Heidelberg (2009)CrossRef Borgo, S., Masolo, C.: Foundational choices in DOLCE. In: Staab, S. (ed.) Handbook on ontologies, pp. 361–381. Springer, Heidelberg (2009)CrossRef
14.
Zurück zum Zitat Neuhaus, F., Grenon, P., Smith, B.: A formal theory of substances, qualities and universals. In: 3rd International Conference on Formal Ontologies in Information Systems (FOIS 2004), Turin (2004) Neuhaus, F., Grenon, P., Smith, B.: A formal theory of substances, qualities and universals. In: 3rd International Conference on Formal Ontologies in Information Systems (FOIS 2004), Turin (2004)
15.
Zurück zum Zitat MacBride, F.: Truthmakers. In: Stanford Encyclopedia of Philosophy, pp. 1–69 (2014) MacBride, F.: Truthmakers. In: Stanford Encyclopedia of Philosophy, pp. 1–69 (2014)
16.
Zurück zum Zitat Parsons, J.: There is no ‘truthmaker’ argument against nominalism. Australas. J. Philos. 77(3), 325–334 (1999)MathSciNetCrossRef Parsons, J.: There is no ‘truthmaker’ argument against nominalism. Australas. J. Philos. 77(3), 325–334 (1999)MathSciNetCrossRef
17.
Zurück zum Zitat Moltmann, F.: Abstract Objects and the Semantics of Natural Language. Oxford University Press, New York (2013)CrossRef Moltmann, F.: Abstract Objects and the Semantics of Natural Language. Oxford University Press, New York (2013)CrossRef
18.
Zurück zum Zitat Borghini, A., Varzi, A.C.: Event location and vagueness. Philos. Stud. 128(2), 313–336 (2006)CrossRef Borghini, A., Varzi, A.C.: Event location and vagueness. Philos. Stud. 128(2), 313–336 (2006)CrossRef
19.
Zurück zum Zitat Quine, W.V.: Events and reification. In: LePore, E., McLaughlin, B.P. (eds.) Actions and Events: Perspectives on the Philosophy of Donald Davidson (1985) Quine, W.V.: Events and reification. In: LePore, E., McLaughlin, B.P. (eds.) Actions and Events: Perspectives on the Philosophy of Donald Davidson (1985)
20.
Zurück zum Zitat Nardi, J.C., et al.: A commitment-based reference ontology for services. Inf. Syst. 54(C), 263–288 (2015)CrossRef Nardi, J.C., et al.: A commitment-based reference ontology for services. Inf. Syst. 54(C), 263–288 (2015)CrossRef
21.
Zurück zum Zitat Salles, T.P., Guizzardi, G.: Ontological anti-patterns: empirically uncovered error-prone structures in ontology-driven conceptual models. Data Knowl. Eng. (DKE) 99, 72–104 (2015)CrossRef Salles, T.P., Guizzardi, G.: Ontological anti-patterns: empirically uncovered error-prone structures in ontology-driven conceptual models. Data Knowl. Eng. (DKE) 99, 72–104 (2015)CrossRef
Metadaten
Titel
Relationships and Events: Towards a General Theory of Reification and Truthmaking
verfasst von
Nicola Guarino
Giancarlo Guizzardi
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-49130-1_18