216 results on '"Borgo, Stefano"'
Search Results
52. 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
53. Ontological modeling of manufacturing resources
- Author
-
Sanfilippo, Emilio M., primary, Terkaj, Walter, additional, and Borgo, Stefano, additional
- Published
- 2021
- Full Text
- View/download PDF
54. 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
55. RCC and the Theory of Simple Regions in ℝ2
- Author
-
Borgo, Stefano, primary
- Published
- 2013
- Full Text
- View/download PDF
56. Interfacing ontologies and lexical resources
- Author
-
Prévot, Laurent, primary, Borgo, Stefano, additional, and Oltramari, Alessandro, additional
- Published
- 2010
- Full Text
- View/download PDF
57. 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
58. 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
59. 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
60. 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
61. 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
62. 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
63. 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
64. Contributors
- Author
-
Alexander, Jennifer K., primary, Banse, Gerhard, additional, Bauer, Johannes M., additional, van den Belt, Henk, additional, Boon, Mieke, additional, Borgo, Stefano, additional, Brey, Philip, additional, Briggle, Adam, additional, Bucciarelli, Louis, additional, Buchanan, Richard, additional, Channell, David F., additional, Dorst, Kees, additional, Franssen, Maarten, additional, Garbacz, Pawel, additional, Grunwald, Armin, additional, Hansson, Sven Ove, additional, Herder, Paulien M., additional, Hodges, Wilfrid, additional, Houkes, Wybo, additional, Hughes, Jesse, additional, Illies, Christian, additional, Knuuttila, Tarja, additional, Kroes, Peter, additional, MacLennan, Bruce, additional, Meijers, Anthonie, additional, Mitcham, Carl, additional, Müller, Roland, additional, Nersessian, Nancy J., additional, Nightingale, Paul, additional, Nordmann, Alfred, additional, van Overveld, Kees, additional, Patton, Christopher, additional, Pitt, Joseph C., additional, Preston, Beth, additional, Pritchard, Michael S., additional, Radder, Hans, additional, Ray, Nicholas, additional, Schatzberg, Eric, additional, Scheele, Marcel, additional, Schummer, Joachim, additional, Søraker, Johnny Hartz, additional, Sørenssen, Knut Holtan, additional, Spahn, Andreas, additional, Sterrett, Susan G., additional, Suppes, Patrick, additional, Taylor, Nigel, additional, Thomasson, Amie L., additional, Thompson, Paul, additional, van de Poel, Ibo, additional, Vermaas, Pieter, additional, Vieu, Laure, additional, de Vries, Marc J., additional, Wood, William H., additional, and Zwart, Sjoerd D., additional
- Published
- 2009
- Full Text
- View/download PDF
65. Artefacts in Formal Ontology
- Author
-
Borgo, Stefano, primary and Vieu, Laure, additional
- Published
- 2009
- Full Text
- View/download PDF
66. 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
67. Ontological challenges to cohabitation with self-taught robots
- Author
-
Borgo, Stefano, primary
- Published
- 2020
- Full Text
- View/download PDF
68. An Ontological View of Components and Interactions in Behaviorally Adaptive Systems
- Author
-
Borgo, Stefano, primary
- Published
- 2020
- Full Text
- View/download PDF
69. A review and comparison of ontology-based approaches to robot autonomy – ADDENDUM
- Author
-
Olivares-Alarcos, Alberto, primary, Beßler, Daniel, additional, Khamis, Alaa, additional, Goncalves, Paulo, additional, Habib, Maki K., additional, Bermejo-Alonso, Julita, additional, Barreto, Marcos, additional, Diab, Mohammed, additional, Rosell, Jan, additional, Quintas, João, additional, Olszewska, Joanna, additional, Nakawala, Hirenkumar, additional, Pignaton, Edison, additional, Gyrard, Amelie, additional, Borgo, Stefano, additional, Alenyà, Guillem, additional, Beetz, Michael, additional, and Li, Howard, additional
- Published
- 2020
- Full Text
- View/download PDF
70. How Formal Ontology can help Civil Engineers
- Author
-
Borgo, Stefano, primary
- Published
- 2007
- Full Text
- View/download PDF
71. Trait-Based Module for Culturally-Competent Robots
- Author
-
Borgo, Stefano, primary and Blanzieri, Enrico, additional
- Published
- 2019
- Full Text
- View/download PDF
72. In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes
- Author
-
Guizzardi, Giancarlo, primary, Masolo, Claudio, additional, and Borgo, Stefano, additional
- Published
- 2006
- Full Text
- View/download PDF
73. The Role of Foundational Ontologies in Manufacturing Domain Applications
- Author
-
Borgo, Stefano, primary and Leitão, Paulo, additional
- Published
- 2004
- Full Text
- View/download PDF
74. 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
75. 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
76. 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
77. 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
78. 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
79. 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
80. 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
81. Heterogeneous knowledge for sustainable planning: Notes from ontology-based experimentations
- Author
-
Melone, Maria Rosaria Stufano, primary, Borgo, Stefano, additional, Camarda, Domenico, additional, and Borri, Dino, additional
- Published
- 2019
- Full Text
- View/download PDF
82. A review and comparison of ontology-based approaches to robot autonomy
- Author
-
Olivares-Alarcos, Alberto, primary, Beßler, Daniel, additional, Khamis, Alaa, additional, Goncalves, Paulo, additional, Habib, Maki K., additional, Bermejo-Alonso, Julita, additional, Barreto, Marcos, additional, Diab, Mohammed, additional, Rosell, Jan, additional, Quintas, João, additional, Olszewska, Joanna, additional, Nakawala, Hirenkumar, additional, Pignaton, Edison, additional, Gyrard, Amelie, additional, Borgo, Stefano, additional, Alenyà, Guillem, additional, Beetz, Michael, additional, and Li, Howard, additional
- Published
- 2019
- Full Text
- View/download PDF
83. Trait-based Culture and its Organization: Developing a Culture Enabler for Artificial Agents
- Author
-
Borgo, Stefano, primary and Blanzieri, Enrico, additional
- Published
- 2018
- Full Text
- View/download PDF
84. 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
85. 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
86. 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
87. 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
88. Rapporto scientifico primo trimestre progetto EpiCUM
- Author
-
Borgo, Stefano, Ferrario, Roberta, Masolo, Claudio, Guarino, Nicola, and Spampinato, Daria
- Subjects
EpiDoc ,Epigrafia Digitale ,Castello Ursino Catania ,Museo epigrafico - Abstract
Il rapporto scientifico primo trimestre (7 febbraio - 6 maggio 2017) del progetto EpiCUM riguarda le attività previste dal Programma di Lavoro dell'Accordo Operativo tra il Comune di Catania e l'ISTC CNR del 7 febbraio 2017. Nel primo trimestre, secondo il cronoprogramma di lavoro e di concerto con la Direzione Cultura e la responsabile del Museo civico del Comune di Catania, il contributo dell'ISTC- CT al progetto EpiCUM e? consistito principalmente nella codifica delle epigrafi. Il presente rapporto costituisce uno stato di avanzamento intermedio delle due attività di Codifica delle epigrafi secondo EpiDoc e Trasferimento di conoscenze al personale del Museo, nessuna delle quali e? stata conclusa. Le attività svolte in questo periodo di riferimento hanno portato alla realizzazione dei seguenti risultati: schedatura di 94 reperti epigrafici, di cui 35 in EpiDoc /TEI XML, in collaborazione con il liceo e il progetto I.Sicily; progettazione dell'allestimento della mostra, in collaborazione con il liceo e il personale del Museo civico.
- Published
- 2017
89. 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
90. 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
91. 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
92. 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
93. 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
94. 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
95. Knowledge-based adaptive agents for manufacturing domains
- Author
-
Borgo, Stefano, primary, Cesta, Amedeo, additional, Orlandini, Andrea, additional, and Umbrico, Alessandro, additional
- Published
- 2018
- Full Text
- View/download PDF
96. Data distribution in public veterinary service: health and safety challenges push for context-aware systems
- Author
-
Contalbrigo, Laura, primary, Borgo, Stefano, additional, Pozza, Giandomenico, additional, and Marangon, Stefano, additional
- Published
- 2017
- Full Text
- View/download PDF
97. 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
98. 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
99. 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
100. Towards integration of ontology and text-extracted data for event coreference reasoning
- Author
-
Borgo, Stefano, primary, Bozzato, Loris, additional, Aprosio, Alessio Palmero, additional, Rospocher, Marco, additional, and Serafini, Luciano, additional
- Published
- 2017
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.