Search

In both applied ontology and engineering, functionality is a well-researched topic, since it is through teleological causal reasoning that domain experts build mental models of engineering systems, giving birth to functions. These mental models are important throughout the whole lifecycle of any product, being used from the design phase up to diagnosis activities. Though a vast amount of work to model functions has already been carried out, the literature has not settled on a shared and well-defined approach due to the variety of concepts involved and the modeling tasks that functional descriptions should satisfy. The work in this paper posits the basis and makes some crucial steps towards a rich ontological description of functions and related concepts, such as behaviour, capability, and capacity. A conceptual analysis of such notions is carried out using the top-level ontology DOLCE as a framework, and the ensuing logical theory is formally described in first-order logic and OWL, showing how ontological concepts can model major aspects of engineering products in applications. In particular, it is shown how functions can be distinguished from the implementation methods to realize them, how one can differentiate between capabilities and capacities of a product, and how these are related to engineering functions. [ABSTRACT FROM AUTHOR]

Keywords: Foundational ontologies; upper ontologies; BFO; DOLCE; GFO; GUM; TUpper; UFO; YAMATO EN Foundational ontologies upper ontologies BFO DOLCE GFO GUM TUpper UFO YAMATO 1 16 16 04/07/22 20220101 NES 220101 Understanding foundational ontology through examples 1. The final FOUST template, followed by all contributions, has the following core structure, where we use I O i to denote generically some foundational ontology: Introduction: I An introduction to the ontology, together with some historical background and motivations i . Upper ontologies, BFO, DOLCE, GFO, GUM, TUpper, UFO, YAMATO, Foundational ontologies The TUpper Ontology has developed quite recently since around 2017 (Grüninger et al., [16]) and is designed as a top-level ontology that contains modules from ontologies within existing international standards, extended so as to satisfy the criteria for top level ontologies specified in ISO/IEC 21838-1. In developing ontologies for application to information systems, however, researchers have often taken pains to draw a line between what they are doing and philosophical ontology, on the grounds that the goals of the two enterprises are quite different, with applied ontology answerable to pragmatic concerns supposedly absent from purely philosophical pursuits. [Extracted from the article]

yamato sharply distinguishes itself from other existing upper ontologies in the following respects. (1) Most importantly, yamato is designed with both engineering and philosophical minds. (2) yamato is based on a sophisticated theory of roles, given that the world is full of roles. (3) yamato has a tenable theory of functions which helps to deal with artifacts effectively. (4) Information is a 'content-bearing' entity and it differs significantly from the entities that philosophers have traditionally discussed. Taking into account the modern society in which a flood of information occurs, yamato has a sophisticated theory of informational objects (representations). (5) Quality and quantity are carefully organized for the sake of greater interoperability of real-world data. (6) The philosophical contribution of yamato includes a theory of objects, processes, and events. Those features are illustrated with several case studies. These features lead to the intensive application of yamato in some domains such as biomedicine and learning engineering. [ABSTRACT FROM AUTHOR]

dolce, the first top-level (foundational) 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 (e.g. CIDOC CRM, DBpedia and WordNet). 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. [ABSTRACT FROM AUTHOR]

Upper ontologies have traditionally arisen from the approach in which concepts that are common across a set of domains can be axiomatized at a general level. The rationale is that reuse across domains is to be supported through specialization of the general concepts from an upper ontology. Similarly, semantic integration between ontologies is to be achieved through the general concepts they specialize. The TUpper Ontology follows an alternative approach (referred to as the sideways approach) to the conventional upper ontology paradigm. Rather than think of an upper ontology as a monolithic axiomatization centred on a taxonomy, the sideways approach considers an upper ontology to be a modular ontology composed of generic ontologies that cover concepts including those related to time, process, and space. TUpper is therefore composed of a set of generic ontologies, and each generic ontology axiomatizes a particular set of generic concepts (e.g., the classes and relations relevant for time, process, and space). The TUpper Ontology is designed as a top-level ontology that contains modules from the ontologies within existing international standards. [ABSTRACT FROM AUTHOR]

dolce, the first top-level (foundational) 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 (e.g. CIDOC CRM, DBpedia and WordNet). 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. [ABSTRACT FROM AUTHOR]

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. [ABSTRACT FROM AUTHOR]

The General Formal Ontology (GFO) is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes set theory into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world's structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts. [ABSTRACT FROM AUTHOR]

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.) [ABSTRACT FROM AUTHOR]

Robots might not act according to human expectations if they cannot anticipate how people make sense of a situation and what behavior they consider appropriate in some given circumstances. In many cases, understanding, expectations and behavior are constrained, if not driven, by culture, and a robot that knows about human culture could improve the quality level of human–robot interaction. Can we share human culture with a robot? Can we provide robots with formal representations of different cultures? In this paper, we discuss the (elusive) notion of culture and propose an approach based on the notion of trait which, we argue, permits us to build formal modules suitable to represent culture (broadly understood) in a robot architecture. We distinguish the types of traits that such modules should contain, namely behavior, knowledge, rule and interpretation traits, and how they could be organized. We identify the interpretation process that maps situations to specific knowledge traits, called scenarios, as a key component of the trait-based culture module. Finally, we describe how culture modules can be integrated in an existing architecture, and discuss three use cases to exemplify the advantages of having a culture module in the robot architecture highlighting surprising potentialities. [ABSTRACT FROM AUTHOR]

Cyber-Physical Systems (CPS) and Socio-Technical Systems (STS) are two popular paradigms for the analysis and modeling of engineering and social systems. These paradigms are complementary and particularly apt to model complex adaptive behaviors from both the component and system points of view. Notwithstanding historical and methodological differences, nowadays research in CPS and in STS converge to study similar system characteristics. The integration of expertise from both these domains can help to develop new approaches to study information- and human-centered systems like factories in Industry 4.0 and urban environments. To foster their integration, an overarching framework and a coherent conceptualization of adaptive systems must be put forward. This paper faces the challenge by the introduction of core distinctions, the characterization of the class of Agent-based Cyber-Physical Social System (ACPSS), and the development of an ontology-based framework. The paper builds on the traditional notions of component and interaction here re-elaborated from a domain-neutral viewpoint. The outcome of this analysis is proposed as a foundational basis to model behaviorally adaptive engineering systems. [ABSTRACT FROM AUTHOR]

Background: Today's globalised and interconnected world is characterized by intertwined and quickly evolving relationships between animals, humans and their environment and by an escalating number of accessible data for public health. The public veterinary services must exploit new modeling and decision strategies to face these changes. The organization and control of data flows have become crucial to effectively evaluate the evolution and safety concerns of a given situation in the territory. This paper discusses what is needed to develop modern strategies to optimize data distribution to the stakeholders. Main text: If traditionally the system manager and knowledge engineer have been concerned with the increase of speed of data flow and the improvement of data quality, nowadays they need to worry about data overflow as well. To avoid this risk an information system should be capable of selecting the data which need to be shown to the human operator. In this perspective, two aspects need to be distinguished: data classification vs data distribution. Data classification is the problem of organizing data depending on what they refer to and on the way they are obtained; data distribution is the problem of selecting which data is accessible to which stakeholder. Data classification can be established and implemented via ontological analysis and formal logic but we claim that a context-based selection of data should be integrated in the data distribution application. Data distribution should provide these new features: (a) the organization of situation types distinguishing at least ordinary vs extraordinary scenarios (contextualization of scenarios); (b) the possibility to focus on the data that are really important in a given scenario (data contextualization by scenarios); and (c) the classification of which data is relevant to which stakeholder (data contextualization by users). Short conclusion: Public veterinary services, to efficaciously and efficiently manage the information needed for today's health and safety challenges, should contextualize and filter the continuous and growing flow of data by setting suitable frameworks to classify data, users' roles and possible situations. [ABSTRACT FROM AUTHOR]

Feature-based product modeling is the leading approach for the integrated representation of engineering product data. On the one side, this approach has stimulated the development of formal models and vocabularies, data standards and computational ontologies. On the other side, the current ways to model features are considered problematic since it lacks a principled and uniform methodology for feature representation. This paper reviews the state of art of feature-based modeling approaches by concentrating on how features are conceptualized. It points out the drawbacks of current approaches and proposes a high-level ontology-based perspective to harmonize the definition of feature. [ABSTRACT FROM AUTHOR]

Background: Ontologies are widely used both in the life sciences and in the management of public and private companies. Typically, the different offices in an organization develop their own models and related ontologies to capture specific tasks and goals. Although there might be an overall coordination, the use of distinct ontologies can jeopardize the integration of data across the organization since data sharing and reusability are sensitive to modeling choices. Results: The paper provides a study of the entities that are typically found at the reception, analysis and report phases in public institutes in the life science domain. Ontological considerations and techniques are introduced and their implementation exemplified by studying the Istituto Zooprofilattico Sperimentale delle Venezie (IZSVe), a public veterinarian institute with different geographical locations and several laboratories. Different modeling issues are discussed like the identification and characterization of the main entities in these phases; the classification of the (types of) data; the clarification of the contexts and the roles of the involved entities. The study is based on a foundational ontology and shows how it can be extended to a comprehensive and coherent framework comprising the different institute's roles, processes and data. In particular, it shows how to use notions lying at the borderline between ontology and applications, like that of knowledge object. The paper aims to help the modeler to understand the core viewpoint of the organization and to improve data transparency. Conclusions: The study shows that the entities at play can be analyzed within a single ontological perspective allowing us to isolate a single ontological framework for the whole organization. This facilitates the development of coherent representations of the entities and related data, and fosters the use of integrated software for data management and reasoning across the company. [ABSTRACT FROM AUTHOR]

Physical artifacts and biological systems have been studied from a variety of perspectives in different disciplines. These entities show many common characteristics and are investigated using similar notions except for one important aspect: functionality. Notwithstanding many attempts, the search for a unified notion of functionality that could encompass both the functions attributed to natural objects, like biological organisms, as well as those attributed to designed objects, like artifacts, to date has remained an open challenge. Deepening an earlier characterization of engineering functions, this paper starts with an introduction to the notions of behavior and context, which become the basic blocks for the construction of a general framework for a unified definition of function. The approach distinguishes three types of functional contexts (systemic, user and design) and clarifies the role of goals in defining biological and artifact functions. Finally, it shows that the notion of systemic function, as detailed in the paper, succeeds in comprising both biological and artifact functions. The proposal is evaluated against a collection of desiderata and examples taken from the literature. [ABSTRACT FROM AUTHOR]

In this paper, we give formalisations of two engineering concepts of technical function and present in more general terms the project of supporting functional description translation by ontological analysis. The formalisations are given within the foundational dolce ontology and the concepts formalised are as follows: (1) the function as defined in the Functional Representation approach by Chandrasekaran and Josephson and (2) the function as defined in the Functional Basis approach by Stone and Wood. These two concepts represent two main ways of understanding functions in engineering: the first by means of the behaviour of artefacts, and the second by means of operations on flows as performed by artefacts. We analyse the similarities and differences between these concepts by means of the formalisations and show how the formalisations support the automated translation between functional descriptions based on these two concepts. In addition, we compare our strategy of formalising different engineering concepts of function within one foundational ontology with other strategies in the ontology-driven formalisation, such as defining a single formalised concept of function, either for replacing existing engineering concepts, or for use as a reference by which such existing concepts can be related. We compare these strategies and sketch the merits and shortcomings of our strategy. [ABSTRACT FROM AUTHOR]

The article discusses reports published within the issue including, one by Marc Artiga about the organizational account (OA) approach, Ulrich Krohs about functions and fixed types and Carrara et al. on the formalization of the notion of function as used in engineering.

In this paper we propose that adequate treatments of space need to be multiperspectival and related to sound foundational ontologies. To support this, we show that natural spatial descriptions commonly appeal to diverse theories of space and these need to be formally combined to be fully interpreted. Our account draws particularly on the foundational ontology DOLCE and the algebraic specification language CASL. We show how the structuring mechanisms of CASL suggest mechanisms for both building and combining multiperspectival ontologies of space. We also suggest that these mechanisms provide a natural link both with currently emerging cognitive principles such as blending and with developments in ontology mediation and mapping. [ABSTRACT FROM AUTHOR]

Upper ontologies have traditionally arisen from the approach in which concepts that are common across a set of domains can be axiomatized at a general level. The rationale is that reuse across domains is to be supported through specialization of the general concepts from an upper ontology. Similarly, semantic integration between ontologies is to be achieved through the general concepts they specialize. The TUpper Ontology follows an alternative approach (referred to as the sideways approach) to the conventional upper ontology paradigm. Rather than think of an upper ontology as a monolithic axiomatization centred on a taxonomy, the sideways approach considers an upper ontology to be a modular ontology composed of generic ontologies that cover concepts including those related to time, process, and space. TUpper is therefore composed of a set of generic ontologies, and each generic ontology axiomatizes a particular set of generic concepts (e.g., the classes and relations relevant for time, process, and space). The TUpper Ontology is designed as a top-level ontology that contains modules from the ontologies within existing international standards. [ABSTRACT FROM AUTHOR]

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. [ABSTRACT FROM AUTHOR]