116 results on '"Borgo, Stefano"'
Search Results
2. 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
3. From form features to semantic features in existing MCAD: An ontological approach
- Author
-
Mandorli, Ferruccio, Borgo, Stefano, and Wiejak, Paulina
- Published
- 2020
- Full Text
- View/download PDF
4. Feature in product engineering with single and variant design approaches. A comparative review
- Author
-
Romero, Fernando, Sanfilippo, Emilio M., Rosado, Pedro, Borgo, Stefano, and Benavent, Sergio
- Published
- 2019
- Full Text
- View/download PDF
5. Knowledge-based adaptive agents for manufacturing domains
- Author
-
Borgo, Stefano, Cesta, Amedeo, Orlandini, Andrea, and Umbrico, Alessandro
- Published
- 2019
- Full Text
- View/download PDF
6. Towards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies.
- Author
-
Bassetti, Chiara, Blanzieri, Enrico, Borgo, Stefano, and Marangon, Sofia
- Subjects
HUMAN-robot interaction ,SOCIAL robots ,SOCIAL skills ,SOCIAL interaction ,SOCIAL norms - Abstract
The development of artificial agents for social interaction pushes to enrich robots with social skills and knowledge about (local) social norms. One possibility is to distinguish the expressive and the functional orders during a human-robot interaction. The overarching aim of this work is to set a framework to make the artificial agent socially-competent beyond dyadic interaction – interaction in varying multi-party social situations – and beyond individual-based user personalization, thereby enlarging the current conception of "culturally-adaptive". The core idea is to provide the artificial agent with the capability to handle different kinds of interactional disruptions, and associated recovery strategies, in microsociology. The result is obtained by classifying functional and social disruptions, and by investigating the requirements a robot's architecture should satisfy to exploit such knowledge. The paper also highlights how this level of competence is achieved by focusing on just three dimensions: (i) social capability, (ii) relational role, and (iii) proximity, leaving aside the further complexity of full-fledged human-human interactions. Without going into technical aspects, End-to-end Data-driven Architectures and Modular Architectures are discussed to evaluate the degree to which they can exploit this new set of social and cultural knowledge. Finally, a list of general requirements for such agents is proposed. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
7. What are features? An ontology-based review of the literature
- Author
-
Sanfilippo, Emilio M. and Borgo, Stefano
- Published
- 2016
- Full Text
- View/download PDF
8. An ontological approach for reliable data integration in the industrial domain
- Author
-
Borgo, Stefano
- Published
- 2014
- Full Text
- View/download PDF
9. The design stance and its artefacts
- Author
-
Vermaas, Pieter E., Carrara, Massimiliano, Borgo, Stefano, and Garbacz, Pawel
- Published
- 2013
10. Functional Modelling in Engineering: A First Comparison of Approaches on Two Problems
- Author
-
Compagno, Francesco and Borgo, Stefano
- Published
- 2022
11. Towards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies.
- Author
-
Bassetti, Chiara, Blanzieri, Enrico, Borgo, Stefano, and Marangon, Sofia
- Subjects
HUMAN-robot interaction ,SOCIAL robots ,SOCIAL skills ,SOCIAL interaction ,SOCIAL norms - Abstract
The development of artificial agents for social interaction pushes to enrich robots with social skills and knowledge about (local) social norms. One possibility is to distinguish the expressive and the functional orders during a human-robot interaction. The overarching aim of this work is to set a framework to make the artificial agent socially-competent beyond dyadic interaction – interaction in varying multi-party social situations – and beyond individual-based user personalization, thereby enlarging the current conception of "culturally-adaptive". The core idea is to provide the artificial agent with the capability to handle different kinds of interactional disruptions, and associated recovery strategies, in microsociology. The result is obtained by classifying functional and social disruptions, and by investigating the requirements a robot's architecture should satisfy to exploit such knowledge. The paper also highlights how this level of competence is achieved by focusing on just three dimensions: (i) social capability, (ii) relational role, and (iii) proximity, leaving aside the further complexity of full-fledged human-human interactions. Without going into technical aspects, End-to-end Data-driven Architectures and Modular Architectures are discussed to evaluate the degree to which they can exploit this new set of social and cultural knowledge. Finally, a list of general requirements for such agents is proposed. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
12. Artifact and Artifact Categorization: Comparing Humans and Capuchin Monkeys
- Author
-
Borgo, Stefano, Spagnoletti, Noemi, Vieu, Laure, and Visalberghi, Elisabetta
- Published
- 2013
- Full Text
- View/download PDF
13. FailRecOnt - An ontology-based framework for failure interpretation and recovery in planning and execution
- Author
-
Diab, Mohammed, Pomarlan, Mihai, Borgo, Stefano, Bebler, Daniel, Rosell Gratacòs, Jan, Bateman, John, Beetz, Michael, Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial, and Universitat Politècnica de Catalunya. SIR - Service and Industrial Robotics
- Subjects
Robots mòbils ,Mobile robots ,Informàtica::Robòtica [Àrees temàtiques de la UPC] - Abstract
Autonomous mobile robot manipulators have the potential to act as robot helpers at home to improve quality of life for various user populations, such as elderly or handicapped people, or to act as robot co-workers on factory floors, helping in assembly applications where collaborating with other operators may be required. However, robotic systems do not show robust performance when placed in environments that are not tightly controlled. An important cause of this is that failure handling often consists of scripted responses to foreseen complications, which leaves the robot vulnerable to new situations and ill-equipped to reason about failure and recovery strategies. Instead of libraries of hard-coded reactions that are expensive to develop and maintain, more sophisticated reasoning mechanisms are needed to handle failure. This requires an ontological characterization of what failure is, what concepts are useful to formulate causal explanations of failure, and integration with knowledge of available resources including the capabilities of the robot as well as those of other potential cooperative agents in the environment, e.g. a human user. We propose the FailRecOnt framework as a step in this direction. We have integrated an ontology for failure interpretation and recovery with a contingency-based task and motion planning framework such that a robot can deal with uncertainty, recover from failures, and deal with human-robot interactions. A motivating example has been introduced to justify this proposal. The proposal has been tested with a challenging scenario
- Published
- 2021
14. Knowledge of places: An ontological analysis of the social level in the city
- Author
-
Rossella, Stufano, Borri, Dino, Camarda, Domenico, and Borgo, Stefano
- Subjects
Spatial planning ,Cognitive modelling ,Ontological analysis ,Spatial cognition, Ontological analysis, Cognitive modelling, Spatial planning ,Spatial cognition - Published
- 2020
15. Foundational ontologies in action.
- Author
-
Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
- *
ONTOLOGIES (Information retrieval) , *ONTOLOGY - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
16. 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
17. YAMATO: Yet-another more advanced top-level ontology.
- Author
-
Mizoguchi, Riichiro, Borgo, Stefano, Galton, Antony, and Kutz, Oliver
- Subjects
- *
ONTOLOGY , *MODERN society , *ENGINEERING design , *PHILOSOPHERS - Abstract
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]
- Published
- 2022
- Full Text
- View/download PDF
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. Ontology Makes Sense − Essays in honor of Nicola Guarino
- Author
-
Borgo, Stefano, Ferrario, Roberta, Masolo, Claudio, Vieu, Laure, Laboratory for Applied Ontology (LOA), Istituto di Scienze e Tecnologie della Cognizione [Trento] (ISTC-CNR), MEthodes et ingénierie des Langues, des Ontologies et du DIscours (IRIT-MELODI), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Borgo, Stefano and Ferrario, Roberta and Masolo, Claudio and Vieu, Laure, and Grélaud, Françoise
- Subjects
knowledge representation ,conceptual modeling ,[INFO]Computer Science [cs] ,ontology ,[INFO] Computer Science [cs] ,Nicola Guarino - Abstract
International audience; Description : 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
25. Preface : Ontology Makes Sense - Essays in honor of Nicola Guarino
- Author
-
Borgo, Stefano, Ferrario, Roberta, Masolo, Claudio, Vieu, Laure, Laboratory for Applied Ontology (LOA), Istituto di Scienze e Tecnologie della Cognizione [Trento] (ISTC-CNR), MEthodes et ingénierie des Langues, des Ontologies et du DIscours (IRIT-MELODI), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Borgo, Stefano and Ferrario, Roberta and Masolo, Claudio and Vieu, Laure, and Grélaud, Françoise
- Subjects
[INFO]Computer Science [cs] ,[INFO] Computer Science [cs] ,ComputingMilieux_MISCELLANEOUS - Abstract
International audience
- Published
- 2019
26. SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems
- Author
-
Moreira, Joao, Ferreira Pires, Luis, van Sinderen, Marten, Daniele, Laura, Borgo, Stefano, Hitzler, Pascal, and Kutz, Oliver
- Published
- 2018
27. 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
28. Asymmetry along the way. Applications and conceptualizations for the morphology of urban fabrics
- Author
-
Fusco, Giovanni, Araldi, Alessandro, Borgo, Stefano, Stufano, Rossella, Études des Structures, des Processus d’Adaptation et des Changements de l’Espace (ESPACE), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Avignon Université (AU)-Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Istituto di Scienze e Tecnologie della Cognizione [Trento] (ISTC-CNR), Politecnico di Bari, and Université Nice Sophia Antipolis (... - 2019) (UNS)
- Subjects
[SHS.ARCHI]Humanities and Social Sciences/Architecture, space management ,[SHS.GEO]Humanities and Social Sciences/Geography ,ComputingMilieux_MISCELLANEOUS - Abstract
International audience
- Published
- 2018
29. Towards an ontology-based framework to store and recover memories for creative architectural projects
- Author
-
Melone, Maria Rosaria Stufano, Borgo, Stefano, Ferrario, Roberta, and Masolo, Claudio
- Subjects
memory ,architecture ,ontology ,pattern - Abstract
Background: Memories have a fundamental role in the creation of architectural projects. Remembrances of childhood, travel, and working experiences filtered by reflections and training paths--e.g., the following of rules typical of a discipline or of a style (with its language protocols), embraced by an architectural school--all con- tribute to the development of new ideas as described in cognitive studies, interviews with architects, critical writings on architecture, etc. (Rossi 1990; Zumthor 2003). Aims: We aim to help the architect to re-contextualize her memories when captured via external supports like photos, sketches etc., by mimicking the way image schemas are used for the resolution of metaphors in cognitive science (Lakoff 1990). Note that the approach applies also to sound, taste, smell, texture etc. Method: We use techniques of applied ontology to analyse the formal notions required to encode suitable schemas as well as their application to specific kinds of object features. Focusing on spatial/ temporal patterns, we associate and transfer aspects of recorded scenes (e.g., topological or geometrical structures that identify spatial distributions of features of objects) to imagined project solutions. For instance, the alternation of empty and full spaces perceived while looking at the rows of a vineyard on a hill may be creatively transferred to a pattern of colors, textures, or materials for a facade. Conclusions: Our framework supports architects in annotating (recorded) memories with spatial patterns and helps them to retrieve and reinterpret these patterns for the development of creative project solutions.
- Published
- 2018
30. Some open issues after twenty years of formal ontology
- Author
-
Borgo, Stefano and Hitzler, Pascal
- Subjects
Formal Ontology - Abstract
Twenty years ago, the first conference on Formal Ontology in Information Systems (FOIS 1998) made clear the state of the art and the problems that research on ontology needed to face to have an impact on applications. It is time to take stock and evaluate what remains to be done.
- Published
- 2018
- Full Text
- View/download PDF
31. 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
32. Ontological modeling of manufacturing resources.
- Author
-
Sanfilippo, Emilio M., Terkaj, Walter, and Borgo, Stefano
- Subjects
INFORMATION sharing ,KNOWLEDGE representation (Information theory) ,LITERATURE reviews ,GOAL (Psychology) ,SYSTEMS design ,DATA integration - Abstract
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. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
33. BPMN 2.0 Choreography Language: interface or business contract?
- Author
-
Adamo, Greta, Borgo, Stefano, Di Francescomarino, Chiara, Ghidini, Chiara, and Rospocher, Marco
- Subjects
message ,BPMN ,modeling ,participant ,scenario - Abstract
Business process modelling (BPM) notations describe processes using a graphical representation of process-relevant entities and their interplay. Despite the wide literature on the comparison between different modelling languages, the BPM community still lacks an ontological characterisation of process constructs. Purpose of Choreography diagrams have been introduced in the Business Process Model and Notation language 2.0 (BPMN 2.0), one among the most used languages for modelling and analyzing business processes in industry, in order to provide a view on the interaction between participants. Besides the intuitive definition of choreographies as interfaces among participants, the BPMN 2.0 specifications also define choreographies as business contracts among the parties. However, the adop- tion and the diffusion of the business contract nature of choreography diagrams seem to be hindered by the underspecification of the notation, which does not allow to model and formalize constraints and relationships among choreography entities, which would need to be specified in a business contract. In this paper we provide a preliminary investigation of some of the open issues characterizing BPMN 2.0 choreography diagrams when looking at the business contract nature of the nota- tion, by focusing on those related to messages and participants.
- Published
- 2017
34. Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices
- Author
-
Calafiore, Alessia, Boella, Guido, Borgo, Stefano, and Guarino, Nicola
- Subjects
000 Computer science, knowledge, general works ,Ontology ,Social practice ,Urban planning ,Computer Science ,Urban artefact ,Software - Abstract
Cities can be seen as systems of urban artefacts interacting with human activities. Since cit- ies in this sense need to be organized and coordinated, convergences and divergences between the "planned" and the "lived" city have always been of paramount interest in urban planning. The increasing amount of geo big data and the growing impact of Internet of Things (IoT) in contemporary smart city is pushing toward a re-conceptualization of urban systems taking into consideration the complexity of human behaviors. This work contributes to this view by pro- posing an ontological analysis of urban artefacts and their roles, focusing in particular on the difference between social roles and functional roles through the prism of social practices.
- Published
- 2017
- Full Text
- View/download PDF
35. Knowledge of places: An ontological analysis of places and their semantic stratifications
- Author
-
Stufano Melone, Rossella, Borri, Dino, Camarda, Domenico, and Borgo, Stefano
- Subjects
Cognitive modelling ,Ontological analysis ,Spatial cognition - Abstract
Talking about place, we make a sort of addition to physical space, as a place is an interpreted space. This paper tries to interpret places through place perception, by looking at the work of artists and other spatial agents. Geographical places offer a good stance in dealing with complex spatial environments using different paradigms. Ontologies seem to be useful in this sense, to look at place cognition with an analytical and organizational aim in complex spatial environments, for decision-support purposes. The final rationale of this paper is twofold. On one hand, ontological levels are useful for complexity modelling aims: yet they are still informative, and our understanding of space cannot be reduced to these ontological elements per se. Therefore, deeper studies and research are needed to develop formal frameworks for modelling purposes.
- Published
- 2017
36. Financial reporting by a shared ledger
- Author
-
Blums, Ivar, Weigand, Hans, Borgo, Stefano, Kutz, Oliver, Loebe, Frank, Neuhaus, Fabian, Department of Management, and Research Group: Information & Supply Chain Management
- Subjects
UFO ,REA ,IFRS ,IASB ,Shared ledger ,COFRIS - Abstract
Among models and information about economic phenomena which help to understand how enterprises produce value, Accounting and Financial Reporting still play a leading and regulative role. The regulative role is established by enforceable International Financial Reporting Standards (IFRS). Ontology engineering methods, which have proven to cope with difficult standardization issues, are seldom used in developing the abovementioned standards. Furthermore, the standard setting should more increasingly account for the influence of advanced information technologies for capturing and reporting financial information, such as [blockchain-based] shared ledgers and data analytics. This paper proposes an initial version of the Core Ontology of Financial Reporting Information Systems for a Shared Ledger Environment (COFRIS) grounded on the Unified Foundational Ontology (UFO) network, and a preliminary analysis of the IFRS.
- Published
- 2017
37. On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning
- Author
-
Borgo, Stefano, Bozzato, Loris, Aprosio, Alessio Palmero, Rospocher, Marco, and Serafini, Luciano
- Subjects
FOS: Computer and information sciences ,Artificial Intelligence (cs.AI) ,Computer Science - Computation and Language ,I.2.4 ,Computer Science - Artificial Intelligence ,Computation and Language (cs.CL) - Abstract
Systems for automatic extraction of semantic information about events from large textual resources are now available: these tools are capable to generate RDF datasets about text extracted events and this knowledge can be used to reason over the recognized events. On the other hand, text based tasks for event recognition, as for example event coreference (i.e. recognizing whether two textual descriptions refer to the same event), do not take into account ontological information of the extracted events in their process. In this paper, we propose a method to derive event coreference on text extracted event data using semantic based rule reasoning. We demonstrate our method considering a limited (yet representative) set of event types: we introduce a formal analysis on their ontological properties and, on the base of this, we define a set of coreference criteria. We then implement these criteria as RDF-based reasoning rules to be applied on text extracted event data. We evaluate the effectiveness of our approach over a standard coreference benchmark dataset.
- Published
- 2016
38. 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
39. Time is ripe to embrace the scientific approach in Applied Ontology.
- Author
-
Borgo, Stefano, Hitzler, Pascal, and Shimizu, Cogan
- Subjects
- *
ONTOLOGIES (Information retrieval) , *SEMANTIC Web - Published
- 2020
- Full Text
- View/download PDF
40. 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
41. 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
42. 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
43. 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
44. Trait-Based Module for Culturally-Competent Robots.
- Author
-
Borgo, Stefano and Blanzieri, Enrico
- Subjects
HUMAN-robot interaction ,ROBOTS ,AUTONOMOUS robots ,ARCHITECTURE ,BUILDING permits - Abstract
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]
- Published
- 2019
- Full Text
- View/download PDF
45. Knowledge Organization for Community Revitalization: An Ontological Approach in Taranto Industrial City
- Author
-
Stufano Melone, Maria Rosaria, Borri, Dino, Camarda, Domenico, and Borgo, Stefano
- Subjects
places ,Key-words: organization ,design ,Key-words: organization, design, places, ontological analysis ,ontological analysis - Published
- 2016
46. Formalizing and adapting a general function module for foundational ontologies
- Author
-
Borgo, Stefano, Mizoguchi, Riichiro, and Kitamura, Yoshinobu
- Subjects
System ,Behavior ,Process ,Foundational ontology ,BFO ,DOLCE ,Function ,YAMATO - Abstract
We introduce and formalize the key elements of a recent approach [25] to function definition that covers both biological and artefact functions. The paper concentrates on the steps from informal definitions to formal expressions and aims to show how to develop an ontological module for generic function representation. This part is done assuming the YAMATO ontology as background system. The second goal of the paper discusses how the module could be adapted to other foundational ontologies. In this part, we first point out the ontological assumptions on which the module relies and then discuss problems in reformulating them in other systems. This step is needed to verify whether and how the function module can be meaningfully used in other ontologies. We exemplify this case by discussing BFO and DOLCE, and by formalizing the module in the latter ontology.
- Published
- 2016
47. Proceedings of JOWO-2015. The Joint Ontology Workshops at IJCAI 2015
- Author
-
Papini, Odile, Benferhat, Salem, Garcia, Laurent, Mugnier, Marie-Laure, Fermè, Eduaurdo, Meyer, Tommie, Wassermann, Renata, Hahmann, Torsten, Baclawski, Ken, Krisnadhi, Adila, Klinov, Pavel, Borgo, Stefano, Kutz, Oliver, Porello, Daniele, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA), Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universidade da Madeira (UMA), Council for Scientific and Industrial Research [Pretoria] (CSIR), Institute of Mathematics ans Statistics [Sao Paulo], University of São Paulo (USP), University of Maine, Northeastern University [Boston], University of Indonesia (UI), Universität Ulm - Ulm University [Ulm, Allemagne], Laboratory for Applied Ontology [Trento] (LOA), Consiglio Nazionale delle Ricerche [Roma] (CNR), University of Bremen, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Universidade de São Paulo = University of São Paulo (USP), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), and Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering ,[INFO]Computer Science [cs] ,[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing - Abstract
Four Workshops held at the 24th International Joint Conferenceon Artificial Intelligence (IJCAI 2015 July 25-27, 2015 Buenos Aires, Argentinahttp://iaoa.org/jowo/); National audience; The aim of this workshop is to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning with lightweight ontologies. Particular topics include query answering while taking ontologies into account and non-monotonic reasoning for inconsistency handling and exception handling and expressing default negations in ontologies, with a special interest in logic programming for implementations.
- Published
- 2015
48. Understanding architectural types
- Author
-
Borgo, Stefano and Melone, Maria Rosaria Stufano
- Subjects
architecture ,ontology - Abstract
Background: Traditionally, architecture blends knowledge, doing and context in ways that largely anticipated the situated cognition movement. Within this area, the notion of architectural type has been proposed to help organize and communicate interesting patterns across the variety of spatial entities. Types have been isolated looking at different aspects like the relationship between architectural entities and the surrounding space, the form and/or functionality of the entities, and the interactions among entities and users. This led to different understandings of what types are with arguments often driven by the architects' background perspective and their historical motivations. Aims: To collect and review notions of architectural type that have been particularly influential to highlight how they have been motivated, to show their similarities and dissimilarities, and to discuss the elements that can be taken as unifying across the different views. Method: We apply techniques of applied ontology to develop a cognitive framework for the understanding of architectural types and in particular their cognitive elements. We then use this framework to analyse the different notions in the literature. We also discuss advantages and limitations of our approach. Results: The analysis is ongoing, and we have partial results at the moment. We can show that some types are constant across time and cultures and that over time new types are introduced as merging/transformations of previous types. The comparison of the different definitions in the literature allows also to clarify how the notion has been understood in different historical periods.
- Published
- 2015
49. 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
50. A first-order formalization of event, object, process and role in YAMATO
- Author
-
Borgo, Stefano and Mizoguchi, Riichiro
- Subjects
Event ,Yamato ,Process ,Object ,Role ,Formal ontology - Abstract
Upper ontologies are sophisticated systems that require an expressive language to be properly formalized and correctly implemented. This paper provides a formal study of one of these ontologies, called YAMATO, by providing an axiomatization in first-order logic of part of the main system. YAMATO, which has been available in OWL for some years and is used in research projects as well as in applications, is quite rich in terms of categories and relations. The system is also interesting from its ontological perspective as it presents a different combination of ontological choices with respects to todays popular upper ontologies. Here we isolate a fairly compact fragment of this system that covers important categories, such as Process and Role, and relations, such as Enacting and CausallyContributing. The axiomatization is a first step towards the full exploitation of YAMATO in information and computational systems.
- Published
- 2014
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.