Skip to Main content Skip to Navigation
Conference papers

Characterizing IOF Terms with the DOLCE and UFO Ontologies

Abstract : This paper is an ontological analysis exercise aiming, first of all, at clarifying the intended semantic of a number of general terms used in the manufacturing domain, selected by the Industrial Ontologies Foundry (IOF) initiative. In addition, we show how the DOLCE foundational ontology is well-suited as main reference framework for this task, integrated (in a few specific cases) with more recent work done in the framework of UFO. For each term, we propose a DOLCE-based (first-order) axiomatization together with examples and counterexamples. In several cases, some new primitives are introduced in addition to those used in DOLCE.
Keywords : Manufacturing IOF DOLCE UFO
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Le Studium <>
Submitted on : Thursday, April 9, 2020 - 10:31:04 AM
Last modification on : Tuesday, October 20, 2020 - 10:31:41 AM


Publication 3.pdf
Files produced by the author(s)


  • HAL Id : hal-02537970, version 1



Nicola Guarino, Emilio Sanfilippo. Characterizing IOF Terms with the DOLCE and UFO Ontologies. 10th International Workshop on Formal Ontologies meet Industry, Sep 2019, Graz, Austria. ⟨hal-02537970⟩



Record views


Files downloads