Saturday, October 16, 2004
Laboratory for Applied Ontology - DOLCE
Laboratory for Applied Ontology - DOLCE: "DOLCE : a Descriptive Ontology for Linguistic and Cognitive Engineering
DOLCE is the first module of the WonderWeb Foundational Ontologies Library (WFOL). In our presentation paper (download Word doc here), it is described using first-order logic. The specific assumptions adopted for this module are first introduced informally, along with the basic categories, functions, and relations. We then present a rich axiomatic characterization, aimed at clarifying our assumptions and illustrate their formal consequences (theorems). "
DOLCE is the first module of the WonderWeb Foundational Ontologies Library (WFOL). In our presentation paper (download Word doc here), it is described using first-order logic. The specific assumptions adopted for this module are first introduced informally, along with the basic categories, functions, and relations. We then present a rich axiomatic characterization, aimed at clarifying our assumptions and illustrate their formal consequences (theorems). "