In this paper we introduce the DOLCE upper level ontology, the first module of a Foundational Ontologies Library being developed within the WonderWeb project. DOLCE is presented here in an intuitive way; the reader should refer to the project deliverable for a detailed axiomatization. A comparison with WordNet's top-level taxonomy of nouns is also provided,… (More)
Explosing common misuses of the subsumption relationship and the formal basis for why they are wrong.
Taxonomies are an important part of conceptual modeling, they provide substantial structural information, and are typically the key element in integration efforts, however there has been little guidance as to what makes a proper taxonomy. We have taken several notions from the philosophical practice of Formal Ontology, and adapted them for use in… (More)
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a variety of tasks. In this paper we show how a formal ontol-ogy of unary properties can help using the subsumption relation in a disciplined way. This formal ontology is based on… (More)
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in the broadest sense of this notion; on the other hand, it further contributes to understanding the ontological nature of roles. The key choice here is to put all social entities in… (More)
Despite its original intended use, which was very different, WORDNET is used more and more today as an ontology, where the hyponym relation between word senses is interpreted as a subsumption relation between concepts. In this article, we discuss the general problems related to the semantic interpretation of WORDNET taxonomy in light of rigorous ontological… (More)
We present a logical theory of space where only tridimensional regions are assumed in the domain. Three distinct primitives are used to describe their mereological, topological and morphological properties: mereology is described by a parthood relation satisfying the axioms of Closed Extensional Mereology; topology is described by means of a "simple region"… (More)
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental tools in a methodology for ontology-driven conceptual analysis. We show how identity and unity complement each other under a general notion of individuality, and conclude with an… (More)