Skip to main content

2009 | OriginalPaper | Buchkapitel

Foundational Choices in DOLCE

verfasst von : Stefano Borgo, Claudio Masolo

Erschienen in: Handbook on Ontologies

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

Summary

Foundational ontologies are ontologies that have a large scope, can be highly reusable in different modeling scenarios, are philosophically and conceptually well founded, and are semantically transparent.
After the analysis and comparison of alternative theories on general notions like ‘having a property’, ‘being in time’ and ‘change through time’, this paper shows how specific elements of these theories can be coherently integrated into a foundational ontology. The ontology is here proposed as an improvement of the core elements of the ontology dolce and is thus called dolce-core.

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
3
As usual in this area, we use the terms ‘class’ and ‘set’ interchangeably.
 
4
There are other positions like, e.g., the bundle theory [23].
 
5
We limit this presentation to properties. The arguments, mutatis mutandis, hold for relations as well.
 
6
Recall the notion of property given in Sect. 2.1. One should refrain from considering boolean combinations of predicates, like ‘not being present’, as possible values for F.
 
7
We use the set-theoretical∈predicate to indicate that here F stands for the class of tropes that satisfy F.
 
8
We could do as in (a6) as well but we do not investigate this option here.
 
9
Endurantists do not refuse the existence of temporal parts and temporal slices in general. They do not accept that all the persistent entities necessarily have temporal slices at each time of their existence.
 
10
Analogously for temporary parthood even though, of course, this relation requires a notion of ‘existence in time’.
 
11
All these statements are easily stated in logic. Here we omit their formal characterization.
 
12
Perdurantists read CC(x, y, t) as the identity of the temporal slices x @ t and y @ t.
 
13
This claim has to be taken with a grain of salt since one should not consider properties that constrain x before or after t itself, e.g., ‘being red an year after t’ (provided this actually counts as a property).
 
14
Differently from [18], here we do not rely on logical definitions for concepts. The intensional aspect is (partially) characterized by explicitly stating when concepts are different.
 
15
In the original version of dolce this relation is called quality and written qt.
 
16
For those familiar with trope theory [5], qualities can be seen as sums of tropes. Indeed, one can interpret trope substitution as a change of quality location. The position adopted in dolce-core is compatible with trope theory without committing to the view that change corresponds to trope substitution.
 
17
In dolce this relation is called quale and written ql. In dolce there is also a distinction between the immediate quale (a non temporary relation) and the temporary quale. dolce-core uses one temporary relation only since the temporal qualities of an event e at t correspond to the temporal qualities of the maximal part of e that spans t.
 
18
Analogously, the ontology comprises the quality kind ‘being space-located’ which is not presented here.
 
Literatur
1.
Zurück zum Zitat D. M. Armstrong. Universals: An Opinionated Introduction. Westview Press, 1989. D. M. Armstrong. Universals: An Opinionated Introduction. Westview Press, 1989.
2.
Zurück zum Zitat D. M. Armstrong. A World of States of Affairs. Cambridge Studies in Philosophy. Cambridge University Press, Cambridge, 1997.CrossRef D. M. Armstrong. A World of States of Affairs. Cambridge Studies in Philosophy. Cambridge University Press, Cambridge, 1997.CrossRef
3.
Zurück zum Zitat R. Casati and A. C. Varzi, editors. Events. Dartmund, Aldershot, 1996. R. Casati and A. C. Varzi, editors. Events. Dartmund, Aldershot, 1996.
4.
Zurück zum Zitat Thomas M. Crisp and Donald P. Smith. Wholly present defined. Philosophy and Phenomenological Research, forthcoming. Thomas M. Crisp and Donald P. Smith. Wholly present defined. Philosophy and Phenomenological Research, forthcoming.
5.
Zurück zum Zitat Chris Daly. Tropes. In D.H. Mellor and A. Oliver, editors, Properties, pages 140–159. Oxford University Press, Oxford, 1997. Chris Daly. Tropes. In D.H. Mellor and A. Oliver, editors, Properties, pages 140–159. Oxford University Press, Oxford, 1997.
6.
Zurück zum Zitat Peter Gärdenfors. Conceptual Spaces: the Geometry of Thought. MIT Press, Cambridge, Massachussetts, 2000. Peter Gärdenfors. Conceptual Spaces: the Geometry of Thought. MIT Press, Cambridge, Massachussetts, 2000.
7.
Zurück zum Zitat P. M. S. Hacker. Events and objects in space and time. Mind, 91:1–19, 1982.CrossRef P. M. S. Hacker. Events and objects in space and time. Mind, 91:1–19, 1982.CrossRef
8.
Zurück zum Zitat K. Hawley. How Thing Persist. Clarendon Press, Oxford, UK, 2001. K. Hawley. How Thing Persist. Clarendon Press, Oxford, UK, 2001.
9.
Zurück zum Zitat Christopher Hughes. More fuss about formulation: Sider (and me) on three- and four-dimensionalism. Dialectica, 59(4):463–480, 2005.CrossRef Christopher Hughes. More fuss about formulation: Sider (and me) on three- and four-dimensionalism. Dialectica, 59(4):463–480, 2005.CrossRef
10.
Zurück zum Zitat Ingvar Johansson. Determinables as universals. The Monist, 83(1):101–121, 2000.CrossRef Ingvar Johansson. Determinables as universals. The Monist, 83(1):101–121, 2000.CrossRef
11.
Zurück zum Zitat W. E. Johnson. Logic, volume 1. Cambridge University Press, Cambridge, 1921. W. E. Johnson. Logic, volume 1. Cambridge University Press, Cambridge, 1921.
12.
Zurück zum Zitat H. Kamp. Events, istants and temporal reference. In R. Baüerle, U. Egli, and A von Stechow, editors, Semantics from Different Points of View, pages 376–417. Springer, Berlin, 1979.CrossRef H. Kamp. Events, istants and temporal reference. In R. Baüerle, U. Egli, and A von Stechow, editors, Semantics from Different Points of View, pages 376–417. Springer, Berlin, 1979.CrossRef
13.
Zurück zum Zitat S. Lesniewski. Collected Works. Kluwer, Dordrecht, 1991. S. Lesniewski. Collected Works. Kluwer, Dordrecht, 1991.
14.
Zurück zum Zitat F. Loebe. Abstract vs. social roles - towards a general theoretical account of roles. Applied Ontology, 2(2):127–258, 2007. F. Loebe. Abstract vs. social roles - towards a general theoretical account of roles. Applied Ontology, 2(2):127–258, 2007.
15.
Zurück zum Zitat Michael J. Loux, editor. Universals and Particulars: Readings in Ontology. University of Notre Dame Press, London, 1976. Copia. Michael J. Loux, editor. Universals and Particulars: Readings in Ontology. University of Notre Dame Press, London, 1976. Copia.
16.
Zurück zum Zitat C Masolo and S. Borgo. Qualities in formal ontology. In P. Hitzler, C. Lutz, and G. Stumme, editors, Foundational Aspects of Ontologies (FOnt 2005) Workshop at KI 2005, pages 2–16, Koblenz, Germany, 2005. C Masolo and S. Borgo. Qualities in formal ontology. In P. Hitzler, C. Lutz, and G. Stumme, editors, Foundational Aspects of Ontologies (FOnt 2005) Workshop at KI 2005, pages 2–16, Koblenz, Germany, 2005.
17.
Zurück zum Zitat Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari. Wonderweb deliverable d18. Technical report, CNR, 2003. Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari. Wonderweb deliverable d18. Technical report, CNR, 2003.
18.
Zurück zum Zitat Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, and Nicola Guarino. Social roles and their descriptions. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, Whistler Canada, 2004. Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, and Nicola Guarino. Social roles and their descriptions. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, Whistler Canada, 2004.
19.
Zurück zum Zitat Neil McKinnon. The endurance/perdurance distinction. Australasian Journal of Philosophy, 80(3):288–306, 2002.CrossRef Neil McKinnon. The endurance/perdurance distinction. Australasian Journal of Philosophy, 80(3):288–306, 2002.CrossRef
20.
Zurück zum Zitat D. H. Mellor and A. Oliver, editors. Properties. Oxford University Press, 1997. D. H. Mellor and A. Oliver, editors. Properties. Oxford University Press, 1997.
21.
Zurück zum Zitat Trenton Merricks. Endurance and indiscernibility. Journal of Philosophy, 91(4):165–184, 1994.CrossRef Trenton Merricks. Endurance and indiscernibility. Journal of Philosophy, 91(4):165–184, 1994.CrossRef
22.
Zurück zum Zitat M. Rea, editor. Material Constitution. Rowman and Littlefield Publishers, 1996. M. Rea, editor. Material Constitution. Rowman and Littlefield Publishers, 1996.
23.
Zurück zum Zitat B. Russel. Human Knowledge. Its Scope and Limits. Allen and Unwin, London, 1948. parte IV, cap. 8; trad. it., La conoscenza umana, Longanesi, Milano 1963, parte IV, cap. 8, pp. 298-313. B. Russel. Human Knowledge. Its Scope and Limits. Allen and Unwin, London, 1948. parte IV, cap. 8; trad. it., La conoscenza umana, Longanesi, Milano 1963, parte IV, cap. 8, pp. 298-313.
24.
Zurück zum Zitat T. Sider. Four-dimensionalism. The Philosophical Review, 106(197-231), 1997. T. Sider. Four-dimensionalism. The Philosophical Review, 106(197-231), 1997.
25.
Zurück zum Zitat T. Sider. Four-Dimensionalism. An Ontology of Persistence and Time. Clarendon Press, Oxford, 2001. T. Sider. Four-Dimensionalism. An Ontology of Persistence and Time. Clarendon Press, Oxford, 2001.
26.
Zurück zum Zitat P. Simons. Parts: a Study in Ontology. Clarendon Press, Oxford, 1987. P. Simons. Parts: a Study in Ontology. Clarendon Press, Oxford, 1987.
27.
Zurück zum Zitat P. Simons. On being spread out in time: temporal parts and the problem of change. In Wolfang et al. Spohn, editor, Existence and Explanation, pages 131–147. Kluwer Academic Publishers, 1991. P. Simons. On being spread out in time: temporal parts and the problem of change. In Wolfang et al. Spohn, editor, Existence and Explanation, pages 131–147. Kluwer Academic Publishers, 1991.
28.
Zurück zum Zitat Peter Simons. How to exist at a time when you have no temporal parts. The Monist, 83(3):419–436, 2000.CrossRef Peter Simons. How to exist at a time when you have no temporal parts. The Monist, 83(3):419–436, 2000.CrossRef
29.
Zurück zum Zitat Friedrich Steimann. On the representation of roles in object-oriented and conceptual modelling. Data and Knowledge Engineering, 35:83–106, 2000.CrossRefMATH Friedrich Steimann. On the representation of roles in object-oriented and conceptual modelling. Data and Knowledge Engineering, 35:83–106, 2000.CrossRefMATH
30.
Zurück zum Zitat Eddy M. Zemach. Four ontologies. Journal of Philosophy, 67(8):231–247, 1970.CrossRef Eddy M. Zemach. Four ontologies. Journal of Philosophy, 67(8):231–247, 1970.CrossRef
Metadaten
Titel
Foundational Choices in DOLCE
verfasst von
Stefano Borgo
Claudio Masolo
Copyright-Jahr
2009
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-92673-3_16