WonderWeb

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 pdf), 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).

The latest version of the Library of Foundational Ontologies (download pdf).

Contents: three reference modules (DOLCE, OCHRE, BFO) and their philosophical comparison, new extensions of DOLCE (the ontology of Description and Situations, a preliminary Ontology of Plans, an ontology of Web Services), some machine-readable encodings, an example of formal semantic links between modules, a mapping between the extended version of DOLCE and WordNet.
Version 3.9 of DOLCE2.1-Lite-Plus
File for local loading: OWL build 397, factorized - July 7th.
Online loading: File containing all 397 imports with correct namespaces - February 20th.
Documentation

DOLCE documentation

  • DOLCE 2.1 presentation paper (Word doc)
  • DOLCE 2.1 KIF (PDF doc)
  • DOLCE 2.1 KIF (pure text)
  • DOLCE2.0-Lite-v3.daml translation to DAML+OIL
  • DOLCE2.0-Lite-v3.rdfs translation to RDFS (only taxonomy of classes and properties with domains and ranges)
  • DOLCE2.0-Lite-3.xml DIG version for exporting to various DL reasoners
  • DOLCE2.0-Lite-v3.owl translation to OWL
  • DOLCE2.0-Lite-v3.html
  • DOLCE-2.1-Lite-Plus, download from Last OWL build
The "lite" versions are simplified translations of Dolce2.0 that do not consider: modality, temporal indexing, relation composition. In addition, different names are adopted for relations that have the same name but different arities in the FOL version. Some commonsense concepts have also been added as examples. The DOLCE-2.1-Lite-Plus version also includes some experimental modules for Plans, Information Objects, Semiotics, Temporal relations, Social notions, etc.

Download DOLCE documentation (zipped, about 800k)

OntoWordNet Project

Beta version 0.7 of alignment of WordNet 1.6 Noun Synsets to the DOLCE2.0-Lite-Plus ontology (download: OWL version, documentation).

The project aims at:
  • An update of the WordNet 1.6 noun synsets linking to DLP397 is now available here.
    Papers on alignment between DOLCE and WordNet's upper levels:

    More about DOLCE