dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

Embracing an inter-disciplinary approach grounded on Gärdenfors’ theory of conceptual spaces, we introduce a formal framework to analyse and compare selected theories about technical artefacts present in the literature. Our focus is on design-oriented approaches where both designing and manufacturing activities play a crucial role. Intentional theories, like Kroes’ dual nature thesis, are able to solve disparate problems concerning artefacts but they face both the philosophical challenge of clarifying the ontological nature of intentional properties, and the empirical challenge of testing (...) the attribution of such intentional properties to artefacts. To avoid these issues, we propose an approach that, by identifying different modalities to characterise artefact types, does not commit to intentional qualities and is able to empirically ground compliance tests. (shrink)

Information entities are used in ontologies to represent engineering technical specifications, health records, pictures or librarian data about, e.g., narrative fictions, among others. The literature in applied ontology lacks a comparison of the state of the art, and foundational questions on the nature of information entities remain open for research. The purpose of the paper is twofold. First, to compare existing ontologies with both each other and theories proposed in philosophy, semiotics, librarianship, and literary studies in order to understand how (...) the ontologies conceive and model information entities. Second, to discuss some open research challenges that can lead to principled approaches for the treatment of information entities, possibly by getting into account the variety of information entity types found in the literature. (shrink)

We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the different kinds of (quali- tative and quantitative) knowledge involved in the designing process. We discuss the conceptual nature of engineering design by individuating and analyzing the involved notions. These notions are then formally charac- terized by extending the DOLCE foundational ontology. Our ultimate purpose is twofold: (i) to contribute to foundational issues of design; and (ii) to support (...) the development of advanced modelling systems for (qualitative and quantitative) representation of design knowledge. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

Standards and ontologies for manufacturing understand resources differently. Because of this heterogeneity, misunderstandings arise concerning the basic features that characterize them. The purpose of the paper is to investigate how to ontologically model resources with the goal of facilitating the development of knowledge representation models for manufacturing. By reviewing the literature, we discuss and compare three approaches for the representation of resources depending on whether they are conceived in connection to either processes, plans or goals. By addressing the advantages and (...) shortcomings of each view, we present a unifying perspective to enable the modeling of resources in an integrated manner. In this way, the intended meanings of the used notions are harmonized and, as a result, one can facilitate multiple experts to interact e.g., via data sharing and/or data integration procedures. Differently, by keeping three separated views, there is no guarantee that data coming from different parties will share common meanings even if the same terms are used. By the end of the paper, we present a case study to show the application of our approach and to compare it with an existing ontology for manufacturing. (shrink)