36 results on '"Borgo, Stefano"'
Search Results
2. Manufacturing Resources, Capabilities, and Engineering Functions: Towards an Ontology-Based Integration
- Author
-
Compagno, Francesco, primary, Borgo, Stefano, additional, Sanfilippo, Emilio M., additional, and Terkaj, Walter, additional
- Published
- 2023
- Full Text
- View/download PDF
3. From Causation (and Parthood) to Time: The Case of EMMO
- Author
-
Zaccarini, Francesco A., primary, Masolo, Claudio, additional, Ghedini, Emanuele, additional, and Borgo, Stefano, additional
- Published
- 2023
- Full Text
- View/download PDF
4. Towards an Ontology of Representation
- Author
-
Mizoguchi, Riichiro, primary and Borgo, Stefano, additional
- Published
- 2021
- Full Text
- View/download PDF
5. Towards a formal ontology of engineering functions, behaviours, and capabilities.
- Author
-
Compagno, Francesco and Borgo, Stefano
- Subjects
ONTOLOGY ,ENGINEERING models ,FIRST-order logic ,ENGINEERING ,ENGINEERING systems - Abstract
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]
- Published
- 2024
- Full Text
- View/download PDF
6. Pluralities, Collectives, and Composites
- Author
-
Masolo, Claudio, primary, Vieu, Laure, additional, Ferrario, Roberta, additional, Borgo, Stefano, additional, and Porello, Daniele, additional
- Published
- 2020
- Full Text
- View/download PDF
7. Towards a formal ontology of engineering functions, behaviours, and capabilities
- Author
-
Compagno, Francesco, primary and Borgo, Stefano, additional
- Published
- 2023
- Full Text
- View/download PDF
8. DOLCE: A descriptive ontology for linguistic and cognitive engineering1
- Author
-
Borgo, Stefano, primary, Ferrario, Roberta, additional, Gangemi, Aldo, additional, Guarino, Nicola, additional, Masolo, Claudio, additional, Porello, Daniele, additional, Sanfilippo, Emilio M., additional, and Vieu, Laure, additional
- Published
- 2022
- Full Text
- View/download PDF
9. YAMATO: Yet-another more advanced top-level ontology
- Author
-
Mizoguchi, Riichiro, primary and Borgo, Stefano, additional
- Published
- 2022
- Full Text
- View/download PDF
10. Foundational ontologies in action
- Author
-
Borgo, Stefano, primary, Galton, Antony, additional, and Kutz, Oliver, additional
- Published
- 2022
- Full Text
- View/download PDF
11. Ontological modeling of manufacturing resources
- Author
-
Sanfilippo, Emilio M., primary, Terkaj, Walter, additional, and Borgo, Stefano, additional
- Published
- 2021
- Full Text
- View/download PDF
12. GUM: The generalized upper model.
- Author
-
Bateman, John A., Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
- *
ONTOLOGIES (Information retrieval) , *NATURAL language processing - Abstract
GUM is a linguistically-motivated ontology originally developed to support natural language processing systems by offering a level of representation intermediate between linguistic forms and domain knowledge. Whereas modeling decisions for individual domains may need to be responsive to domain-specific criteria, a linguistically-motivated ontology offers a characterization that generalizes across domains because its design criteria are derived independently both of domain and of application. With respect to this mediating role, the use of GUM resembles (and partially predates) the adoption of upper ontologies as tools for mediating across domains and for supporting domain modeling. This paper briefly introduces the ontology, setting out its origins, design principles and applications. The example cases for this special issue are then described, illustrating particularly some of the principal differences and similarities of GUM to non-linguistically motivated upper ontologies. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
13. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.
- Author
-
Borgo, Stefano, Ferrario, Roberta, Gangemi, Aldo, Guarino, Nicola, Masolo, Claudio, Porello, Daniele, Sanfilippo, Emilio M., Vieu, Laure, Galton, Antony, and Kutz, Oliver
- Subjects
- *
ONTOLOGIES (Information retrieval) , *ONTOLOGY , *SOCIOTECHNICAL systems , *CULTURAL property , *HUMAN beings , *PUBLIC domain - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
14. TUpper: A top level ontology within standards1.
- Author
-
Grüninger, Michael, Ru, Yi, Thai, Jona, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
ONTOLOGIES (Information retrieval) ,ONTOLOGY ,STANDARDS - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
15. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.
- Author
-
Borgo, Stefano, Ferrario, Roberta, Gangemi, Aldo, Guarino, Nicola, Masolo, Claudio, Porello, Daniele, Sanfilippo, Emilio M., Vieu, Laure, Galton, Antony, and Kutz, Oliver
- Subjects
ONTOLOGIES (Information retrieval) ,ONTOLOGY ,SOCIOTECHNICAL systems ,CULTURAL property ,HUMAN beings ,PUBLIC domain - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
16. BFO: Basic Formal Ontology1.
- Author
-
Otte, J. Neil, Beverley, John, Ruttenberg, Alan, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
ONTOLOGIES (Information retrieval) ,ONTOLOGY ,INFORMATION design - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
17. GFO: The General Formal Ontology.
- Author
-
Loebe, Frank, Burek, Patryk, Herre, Heinrich, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
ONTOLOGY ,ONTOLOGIES (Information retrieval) ,SET theory - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
18. UFO: Unified Foundational Ontology.
- Author
-
Guizzardi, Giancarlo, Botti Benevides, Alessander, Fonseca, Claudenir M., Porello, Daniele, Almeida, João Paulo A., Prince Sales, Tiago, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
UNIDENTIFIED flying objects ,ONTOLOGY ,ONTOLOGIES (Information retrieval) ,COGNITIVE science ,CONCEPTUAL models - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
19. Time is ripe to embrace the scientific approach in Applied Ontology
- Author
-
Borgo, Stefano, primary, Hitzler, Pascal, additional, and Shimizu, Cogan, additional
- Published
- 2020
- Full Text
- View/download PDF
20. Ontological challenges to cohabitation with self-taught robots
- Author
-
Borgo, Stefano, primary
- Published
- 2020
- Full Text
- View/download PDF
21. An Ontological View of Components and Interactions in Behaviorally Adaptive Systems
- Author
-
Borgo, Stefano, primary
- Published
- 2020
- Full Text
- View/download PDF
22. Ontology Makes Sense : Essays in Honor of Nicola Guarino
- Author
-
Borgo, Stefano, Ferrario, Roberta, Masolo, Claudio, Vieu, Laure, Borgo, Stefano, Ferrario, Roberta, Masolo, Claudio, and Vieu, Laure
- Subjects
- Ontologies (Information retrieval)
- Abstract
Nicola Guarino is widely recognized as one of the founders of applied ontology. His deep interest in the subtlest details of theoretical analysis and his vision of ontology as the Rosetta Stone for semantic interoperability guided the development and understanding of this domain. His motivations in research stem from the conviction that all science must be for the benefit of society at large, and his motto has always been that ontologies are not just for making information systems interoperable, but – more importantly – for ensuring that systems'users understand each other. He was among the first to recognize that applied ontology must be an interdisciplinary enterprise if it is to capture the intended meaning of the terms used by an information system. This book is a collection of essays written in homage to Nicola Guarino; a tribute to his many scientific contributions to the discipline of applied ontology. The papers presented here reflect the wide variety of research topics that marked Nicola's impact on the applied ontology community. They are grouped according to the five general areas addressed by Nicola in his career: what is an ontology; knowledge engineering; ontologies and language; ontological categories and relationships; and ontologies and applications. Nicola Guarino's work and dedication will undoubtedly continue to influence the applied ontology community, and this book will be of interest to the many researchers aiming to establish ontologically sound bases for their research areas.
- Published
- 2019
23. Formal Ontology in Information Systems : Proceedings of the 10th International Conference (FOIS 2018)
- Author
-
Borgo, Stefano, Hitzler, Pascal, Kutz, Oliver, Borgo, Stefano, Hitzler, Pascal, and Kutz, Oliver
- Subjects
- Formal methods (Computer science)--Congresses, Ontologies (Information retrieval)--Congresses
- Abstract
FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. This volume presents the proceedings of FOIS 2018, held in Cape Town, South Africa, from 19-21 September. It was the 10th edition and 20th anniversary of the conference series. The volume contains 19 papers grouped into 4 sections: Foundations (7 papers), Agents and Properties (4 papers), Methods and Tools (4 papers), and Applications (4 papers). Regarding the applications of ontologies, a broad spectrum of areas is covered, including in particular biology and medicine, IoT, engineering and linguistics. Formal Ontology in Information Systems - Proceedings of the 10th International Conference (FOIS 2018) will be of interest to researchers from all disciplines with an interest in formal ontology.
- Published
- 2018
24. CODI: A multidimensional theory of mereotopology with closure operations.
- Author
-
Hahmann, Torsten, Borgo, Stefano, Hitzler, Pascal, and Shimizu, Cogan
- Subjects
- *
FIRST-order logic , *COMPUTER science , *SPATIAL systems , *BOOLEAN algebra , *GEOMETRIC modeling - Abstract
Geometric data models form the backbone of virtually all spatial information systems, such as GIS, CAD, and CAM. Yet a lot of spatial information from textual sources, including historical documents or social media, is predominantly of qualitative, especially mereotopological, rather than geometric-quantitative nature. While mereotopological theories have been extensively studied in Logic, Computer Science, Cognitive Science, and Geographic Information Science, most are unidimensional mereotopologies in the sense that only entities of a single dimension are permitted to co-exist. Integrating mereotopological information with geometric data requires a multidimensional mereotopology, which permits entities of different dimensions to co-exist, similarly to how geometric and algebraic topological data models permit points, simple lines, polylines, cells, polygons, and polyhedra to co-exist. It further requires complex spatial objects to be represented as sets of atomic entities such that spatial relations between complex objects can be computed from the relations of the atomic entities in their decomposition. This paper provides a comprehensive study of CODI, a first-order logic ontology of multidimensional mereotopology. An axiomatization of mereological closure operations of intersection, difference, and sums for CODI is proposed in which these operations apply to all pairs of spatial entities regardless of their dimension. It is proved that for atomic models – and thus all finite models – the extended theory is indeed able to decompose all spatial entities into a partition of atomic parts. A full representation of the models as sets of Boolean algebras verifies this. The closure operations are further shown to satisfy important mereological principles from unidimensional mereotopology and to preserve many of the mathematical properties of set intersection and set difference. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
25. SAREF4health: Towards IoT standard-based ontology-driven cardiac e-health systems.
- Author
-
Moreira, João, Pires, Luís Ferreira, van Sinderen, Marten, Daniele, Laura, Girod-Genet, Marc, Borgo, Stefano, Hitzler, Pascal, and Shimizu, Cogan
- Subjects
ONTOLOGIES (Information retrieval) ,TIME series analysis ,CONCEPTUAL models ,TRUCK drivers ,ELECTROCARDIOGRAPHY - Abstract
Recently, a number of ontology-driven healthcare systems have been leveraged by the Internet-of-Things (IoT) technologies that offer opportunities to improve abnormal situation detection when integrating medical wearables and cloud infrastructure. Usually, these systems rely on standardised IoT ontologies to represent sensor data observations. The ETSI Smart Applications REFerence ontology (SAREF) is an extensible industry-oriented standard. In this paper, we explain the need for interoperability of IoT healthcare applications and the role of standardised ontologies to achieve semantic interoperability. In particular, we discuss the verbosity problem of SAREF when used for real-time electrocardiography (ECG), emphasizing the requirement of representing time series. We compared the main ontologies in this context, according to quality, message size (payload), IoT-orientation and standardisation. Here we describe the first attempt to extend SAREF for specific e-Health use cases related to ECG data, the SAREF4health extension, which tackles the verbosity problem. Ontology-driven conceptual modelling was applied to develop SAREF4health, in which an ECG ontology grounded in the Unified Foundational Ontology (UFO), which plays the role of a reference model. The methodology was enhanced by following a standardisation procedure and considering the RDF implementation of the HL7 Fast Healthcare Interoperability Resources (FHIR) standard. The validation of SAREF4health includes the responses to competency questions, as well as the development and tests of an IoT Early Warning System prototype that uses ECG data and collision identification to detect accidents with truck drivers in a port area. This prototype integrates an existing ECG wearable with a cloud infrastructure, demonstrating the performance impact of SAREF4health considering IoT constraints. Our results show that SAREF4health enables the semantic interoperability of IoT solutions that need to deal with frequency-based time series. Design decisions regarding the trade-off between ontology quality and aggregation representation are also discussed. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
26. Parthood and part–whole relations in Zulu language and culture.
- Author
-
Keet, C. Maria, Khumalo, Langa, Borgo, Stefano, Hitzler, Pascal, and Shimizu, Cogan
- Subjects
UNIVERSAL language ,ONTOLOGIES (Information retrieval) ,NATURAL language processing ,PHILOSOPHERS ,LANGUAGE & languages - Abstract
Part–whole relations are pervasive throughout domain ontologies and enjoy interest also in, inter alia, NLP and manufacturing, and by philosophers in the scope of mereology. There exist a stable list of part–whole relations that are assumed to be common, yet for isiZulu, among other languages, there were at least linguistic differences. This raises the question whether there are ontological differences, which would imply that the 'common' list is not universal across languages and cultures. We investigated this for 18 part–whole terms in the Zulu language that we selected from an initial list of 81 terms collected. They were formalised and aligned to the well-known part–whole relations, and checked against a corpus. While there is a term for general parthood in Zulu, the main difference observed concerns relation proliferation due to very specific relata that are entities typically represented only in domain ontologies. This poses new questions for ontology engineering on how to manage the plurality of relations and for philosophy to possibly extend mereology. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
27. The FOUnt ontologies for quantities, units, and the physical world.
- Author
-
Aameri, Bahar, Chui, Carmen, Grüninger, Michael, Hahmann, Torsten, Ru, Yi, Borgo, Stefano, Hitzler, Pascal, and Shimizu, Cogan
- Subjects
ONTOLOGIES (Information retrieval) ,DIMENSIONAL analysis ,REAL numbers ,INTELLIGENT agents ,UNITS of measurement ,VECTOR spaces - Abstract
Quantities and units of measure provide an important means by which intelligent agents interact with the physical world. Although multiple ontologies for quantities and units of measure have been proposed within the Applied Ontology community, they often incorporate questionable ontological commitments. Quantities are combined using notions of dimensional analysis that often conflate the combination of units with algebraic operations on real numbers. In this paper, we present an alternative approach that shifts the focus to the connection between kinds of measurements associated with a unit and the physical objects and processes that are being measured. One of the key features of this approach is that it makes minimal ontological commitments with respect to the TUpper upper ontology – the only new classes that are introduced are the classes for kinds of measures and associated units. We propose axiomatizations of the intended semantics for combining measurements, and the correct axiomatization of the relationship between the quantities and units of measure and the existing upper ontology. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
28. Ontological challenges to cohabitation with self-taught robots.
- Author
-
Hitzler, Pascal, Janowicz, Krzysztof, and Borgo, Stefano
- Subjects
UNMARRIED couples ,ROBOTS ,HUMAN-machine relationship ,SOCIAL norms ,SOCIAL systems ,SOUND systems - Abstract
When you meet a delivery robot in a narrow street it stops to let you pass. It was built to give you precedence. What happens if you run into a robot that was not trained by or for humans? The existence in our environment of robots which do not abide by human behavioral rules and social systems might sound odd, but is a case we may encounter in the future. In this paper, self-taught robots are artificial embodied agents that, thanks for instance to AI learning techniques, manage to survive in the environment without embracing behavioral or judgment rules given and used by humans. The paper argues that our ontological systems are not suitable to understand and cope with artificial agents. The arguments are speculative rather than empirical, and the goal is to drive attention to new ontological challenges. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
29. An Ontological View of Components and Interactions in Behaviorally Adaptive Systems.
- Author
-
Borgo, Stefano
- Subjects
- *
CYBER physical systems , *SOCIOTECHNICAL systems , *ENGINEERING systems , *ENGINEERING models , *SOCIAL systems - Abstract
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]
- Published
- 2019
- Full Text
- View/download PDF
30. A unifying definition for artifact and biological functions
- Author
-
Mizoguchi, Riichiro, primary, Kitamura, Yoshinobu, additional, and Borgo, Stefano, additional
- Published
- 2016
- Full Text
- View/download PDF
31. Ricardo de Almeida Falbo (1964–2020).
- Author
-
Guizzardi, Giancarlo, Almeida, João Paulo A., Perini Barcellos, Monalessa, Silva Souza Guizzardi, Renata, Silva Souza, Vítor E., Borgo, Stefano, Hitzler, Pascal, and Shimizu, Cogan
- Subjects
SOFTWARE engineering ,SOFTWARE measurement ,ONTOLOGIES (Information retrieval) ,INDUSTRIAL engineering ,COMPUTER science ,COMPUTER software development - Published
- 2020
- Full Text
- View/download PDF
32. Technical artifacts: An integrated perspective
- Author
-
Borgo, Stefano, primary, Franssen, Maarten, additional, Garbacz, Paweł, additional, Kitamura, Yoshinobu, additional, Mizoguchi, Riichiro, additional, and Vermaas, Pieter E., additional
- Published
- 2014
- Full Text
- View/download PDF
33. A unifying definition for artifact and biological functions.
- Author
-
Riichiro Mizoguchi, Yoshinobu Kitamura, and Borgo, Stefano
- Subjects
ANTIQUITIES ,FUNCTION (Biology) ,BIOLOGICAL systems ,ONTOLOGY ,INTENTIONALITY (Philosophy) - Abstract
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]
- Published
- 2016
- Full Text
- View/download PDF
34. On the ontology of functions
- Author
-
Borgo, Stefano, primary, Mizoguchi, Riichiro, additional, and Smith, Barry, additional
- Published
- 2011
- Full Text
- View/download PDF
35. TUpper: A top level ontology within standards1.
- Author
-
Grüninger, Michael, Ru, Yi, Thai, Jona, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
- *
ONTOLOGIES (Information retrieval) , *ONTOLOGY , *STANDARDS - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
36. BFO: Basic Formal Ontology1.
- Author
-
Otte, J. Neil, Beverley, John, Ruttenberg, Alan, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
- *
ONTOLOGIES (Information retrieval) , *ONTOLOGY , *INFORMATION design - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.