Abstract
dolce, the Descriptive Ontology for Linguistic and Cognitive Engineering (Masolo et al., 2003), is a foundational ontology developed embracing a pluralist perspective: there cannot be a unique standard or universal ontology for knowledge representation. Once it is accepted that the so-called “monolithic approach” is unrealistic, it becomes clear that the different foundational ontologies must be mutually transparent by making explicit their ontological stands and formal constraints: this is necessary to make ontology interaction possible and reliable. Roughly, it is expected that an ontology is, on the one hand, philosophically well founded (by adopting a clear ontological perspective) and, on the other hand, that it provides the information for its correct application and use (for instance, by describing explicitly the basic assumptions and the formal constraints on which it relies). A consequence of this view is that, whenever a foundational ontology does not make an explicit commitment with respect to an ontological topic, it is assumed that the ontology is consistent with alternative ontological positions in that topic (in some cases, it may even allow coexistence of these via techniques like parametrization). This general view is quite demanding and requires a careful analysis of the ontology content and structure; dolce has been one of the first ontologies explicitly built to follow (and exemplify) this approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
The version we present here can be considered as the first proposal to update the ontology and it comes after almost 6 years of experience in applying it.
- 3.
See http://www.loa-cnr.it/DOLCE.html for a list of institution and projects that are using or have expressed interest in the dolce ontology.
- 4.
The different versions of dolce can be downloaded from http://www.loa-cnr.it/DOLCE.html. The main version is in first-order logic. Versions in other languages have been produced approximating the content of the FOL version by taking into account the different expressive powers of the other languages.
- 5.
- 6.
From http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm: Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages.
- 7.
Here we discuss the case of properties only. Relations are treated analogously.
- 8.
This solution allows to represent dynamics in the properties but it introduces a series of problems when considering roles, see Steimann (2000).
- 9.
Differently from that approach, here we do not rely on logical definitions for concepts, instead the intensional aspect is (partially) characterized by explicitly stating when concepts are different. Reviews of this topic that cover a variety of perspectives are in Steiman, (2000), Masolo et al. (2004) and Loebe (2007).
- 10.
Given the assumption of having just one time-space t, the constraint \(\textsc{t}(t) \rightarrow {\textsf{\small PRE}}(t,t)\) can be added without any additional restriction (see also axiom (A45)).
- 11.
From a perdurantist perspective (see Section 13.11) where entities are considered as four-dimensional “worms”, this simply means that two possibly different four-dimensional worms (x and y) have the same temporal slice at t.
- 12.
In the original version of dolce this relation is called quality and written qt.
- 13.
For those familiar with trope theory (Campbell, 1990), qualities can be seen as sums of tropes. Indeed, one can interpret a 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.
- 14.
In the original version of dolce this relation is called quale and written ql. In dolce there was also a distinction between the immediate quale (a non temporary relation) and the temporary quale. Here we use one temporary relation only and assume that the temporal qualities of an event e at t correspond to the temporal qualities of the maximal part of e spanning t.
- 15.
Analogously, the ontology comprises the quality type “being space-located” which is not presented here.
References
Armstrong, D.M. 1989. Universals: An opinionated introduction. Boulder, CO: Westview Press.
Armstrong, D.M. 1997. A world of states of affairs (Cambridge Studies in Philosophy). Cambridge, MA: Cambridge University Press.
Borgo, S., and C. Masolo. 2009. Foundational choices in DOLCE. In Handbook on ontologies (2nd Edition), eds. S. Staab, and R. Studer, 361–382. Berlin: Springer.
Campbell, K. 1990. Abstract particulars. Oxford: Basil Blackwell.
Casati, R., and A.C. Varzi. eds. 1996. Events. Aldershot: Dartmund.
Gangemi, A., N. Guarino, C. Masolo, and A. Oltramari. 2003. Sweetening wordnet with dolce. AI Magazine 24(3):13–24.
Gärdenfors, P. 2000. Conceptual spaces: The geometry of thought. Cambridge, MA: MIT Press.
Guarino, N., and C. Welty. 2004. An overview of ontoclean. In Handbook of Ontologies, eds. S. Staab, and R. Studer, 151–172. Berlin: Springer.
Hacker, P.M.S. 1982. Events and objects in space and time. Mind 91:1–19.
Heil, J. 2005. From an ontological point of view. Oxford: Oxford Univeristy Press.
Johansson, I. 2000. Determinables as universals. The Monist 83(1):101–121.
Kamp, H. 1979. Events, istants and temporal reference. In Semantics from different points of view, eds. R. Baüerle, U. Egli, and A. von Stechow, 376–417. Berlin: Springer.
Lesniewski, S. 1991. Collected works. Dordrecht: Kluwer.
Loebe, F. 2007. Abstract vs. social roles – towards a general theoretical account of roles. Applied Ontology 2(2):127–258.
Loux, M.J., ed. 1976. Universals and particulars: Readings in ontology. London: University of Notre Dame Press, Copia.
Masolo, C., S. Borgo, A. Gangemi, N. Guarino, and A. Oltramari. 2003. Wonderweb deliverable d18. Technical report, CNR.
Masolo, C., L. Vieu, E. Bottazzi, C. Catenacci, R. Ferrario, A. Gangemi, and N. Guarino. 2004. Social roles and their descriptions. In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, Whistler, Canada.
Mellor, D.H., and A. Oliver. eds. 1997. Properties. Oxford: Oxford University Press.
Merricks, T. 1994. Endurance and indiscernibility. Journal of Philosophy 91(4):165–184.
Prevot, L., S. Borgo, and A. Oltramari. 2005. Interfacing ontologies and lexical resources. In Ontologies and Lexical Resources: IJCNLP-05 Workshop, 1–12.
Rea, M. ed. 1996. Material constitution. Lanham, MD: Rowman and Littlefield Publishers.
Sider, T. 2001. Four-dimensionalism. An ontology of persistence and time. Oxford: Clarendon Press.
Simons, P. 1987. Parts: A study in ontology. Oxford: Clarendon Press.
Simons, P. 1991. On being spread out in time: Temporal parts and the problem of change. In Existence and explanation, ed. W. Spohn et al., 131–147. Kluwer Academic Publishers.
Simons, P. 2000. How to exist at a time when you have no temporal parts. The Monist 83(3):419–436.
Steimann, F. 2000. On the representation of roles in object-oriented and conceptual modelling. Data and Knowledge Engineering 35:83–106.
Zemach, E.M. 1970. Four ontologies. Journal of Philosophy 67(8):231–247.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Netherlands
About this chapter
Cite this chapter
Borgo, S., Masolo, C. (2010). Ontological Foundations of dolce . In: Poli, R., Healy, M., Kameas, A. (eds) Theory and Applications of Ontology: Computer Applications. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-8847-5_13
Download citation
DOI: https://doi.org/10.1007/978-90-481-8847-5_13
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8846-8
Online ISBN: 978-90-481-8847-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)