19 found
Order:
  1. UFO: Unified Foundational Ontology.Giancarlo Guizzardi, Alessander Bottes Benevides, Claudemir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales & Daniele Porello - 2022 - Applied ontology 1 (17):167-210.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Events, their names, and their synchronic structure.Nicola Guarino, Riccardo Baratella & Giancarlo Guizzardi - 2022 - Applied ontology 17 (2):249-283.
    We present in this paper a novel ontological theory of events whose central tenet is the Aristotelian distinction between the object that changes and the actual subject of change, which is what we call an individual quality. While in the Kimian tradition events are individuated by a triple ⟨ o, P, t ⟩, where o is an object, P a property, and t an interval of time, for us the simplest events are qualitative changes, individuated by a triple ⟨ o, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Relationships and events: towards a general theory of reification and truthmaking.Nicola Guarino & Giancarlo Guizzardi - 2016 - In G. Adorni, S. Cagnoni, M. Gori & M. Maratea (eds.), Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Associa- tion for Artificial Intelligence. Springer. pp. 237-249.
    We propose a novel ontological analysis of relations and relationships based on a re-visitation of a classic problem in the practice of knowledge repre- sentation and conceptual modeling, namely relationship reification. Our idea is that a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations. In this paper we present a general theory or reification and truthmaking, and discuss the interplay between events and rela- tionships, suggesting that relationships are the focus of events, which emerge (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Ontological Analysis and Redesign of Security Modeling in ArchiMate.Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi - 2022 - In Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi (eds.), The Practice of Enterprise Modeling - 15th IFIP WG 8.1 Working Conference, PoEM 2022. Springer. pp. 82-98.
    Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Processes as variable embodiments.Nicola Guarino & Giancarlo Guizzardi - 2024 - Synthese 203 (4):1-27.
    In a number of papers, Kit Fine introduced a theory of embodiment which distinguishes between rigid and variable embodiments, and has been successfully applied to clarify the ontological nature of entities whose parts may or may not vary in time. In particular, he has applied this theory to describe a process such as the erosion of a cliff, which would be a variable embodiment whose manifestations are the different states of erosion of the cliff. We find this theory very powerful, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Towards an Ontological Modelling of Preference Relations.Daniele Porello & Giancarlo Guizzardi - 2018 - In C. Ghidini, B. Magnini, A. Passerini & P. Traverso (eds.), AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings. Springer. pp. 152--165.
    Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Ontology-based security modeling in ArchiMate.Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi - forthcoming - Software and Systems Modeling.
    Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. A Core Ontology for Economic Exchanges.Daniele Porello, Giancarlo Guizzardi, Tiago Prince Sales & Glenda C. M. Amaral - 2020 - In Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle & Heinrich C. Mayr (eds.), Conceptual Modeling - 39th International Conference, {ER} 2020, Vienna, Austria, November 3-6, 2020, Proceedings. Lecture Notes in Computer Science 12400. pp. 364-374.
    In recent years, there has been an increasing interest in the development of well-founded conceptual models for Service Management, Accounting Information Systems and Financial Reporting. Economic ex- changes are a central notion in these areas and they occupy a prominent position in frameworks such as the Resource-Event Action (REA) ISO Standard, service core ontologies (e.g., UFO-S) as well as financial stan- dards (e.g. OMG’s Financial Industry Business Ontology - FIBO). We present a core ontology for economic exchanges inspired by a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. An Ontological Account of the Action Theory of Economic Exchanges.Daniele Porello, Giancarlo Guizzardi, Tiago Prince Sales, Glenda C. M. Amaral & Nicola Guarino - 2020 - In Daniele Porello, Giancarlo Guizzardi, Tiago Prince Sales, Glenda C. M. Amaral & Nicola Guarino (eds.), Proceedings of 14th International Workshop on Value Modelling and Business Ontologies, Brussels, Belgium, January 16-17, 2020. pp. 157-169.
    In recent years, there has been an increasing interest in thedevelopment of ontologically well-founded conceptual models for Information Systems in areas such as Service Management, Accounting Information Systems and Financial Reporting. Economic exchanges are central phenomena in these areas. For this reason, they occupy a prominent position in modelling frameworks such as the REA (Resource-EventAction) ISO Standard as well as the FIBO (Financial Industry BusinessOntology). In this paper, we begin a well-founded ontological analysisof economic exchanges inspired by a recent ontological (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca, Daniele Porello, Joao Paulo Almeida & Nicola Guarino - 2018 - In J. C. Trujillo, K. C. Davis, X. Du, Z. Li, T. W. Ling, G. Li & M. L. Lee (eds.), Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings. Springer. pp. 136--150.
    For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. On weak truthmaking.Nicola Guarino, Daniele Porello & Giancarlo Guizzardi - 2019 - In Adrien Barton, Selja Seppälä & Daniele Porello (eds.), Proceedings of the Joint Ontology Workshops 2019. CEUR Workshop Proceedings.
    Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. On the Semantics of Risk Propagation.Mattia Fumagalli, Gal Engelberg, Tiago Prince Sales, Ítalo Oliveira, Dan Klein, Pnina Soffer, Riccardo Baratella & Giancarlo Guizzardi - forthcoming - In Mattia Fumagalli, Gal Engelberg, Tiago Prince Sales, Ítalo Oliveira, Dan Klein, Pnina Soffer, Riccardo Baratella & Giancarlo Guizzardi (eds.), Research Challenges in Information Science - 16th International Conference, RCIS 2023. Springer.
    Risk propagation encompasses a plethora of techniques for analyzing how risk “spreads” in a given system. Albeit commonly used in technical literature, the very notion of risk propagation turns out to be a conceptually imprecise and overloaded one. This might also explain the multitude of modeling solutions that have been proposed in the lit- erature. Having a clear understanding of what exactly risk is, how it be quantified, and in what sense it can be propagated is fundamental for devising high-quality (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. An Ontology of Security from a Risk Treatment Perspective.Ítalo Oliveira, Tiago Prince Sales, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi - 2022 - In Ítalo Oliveira, Tiago Prince Sales, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi (eds.), 41th International Conference, ER 2022, Proceedings. Cham: Springer. pp. 365-379.
    In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the corresponding scenarios, so that proper security countermeasures can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. The Many Facets of Trust.Riccardo Baratella, Glenda Amaral, Tiago Prince Sales, Renata Guizzardi & Giancarlo Guizzardi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press.
    Trust is an attitude that an agent (the trustor) has toward an entity (the trustee), such that the trustor counts upon the trustee to act in a way that is benefi- cial w.r.t. to the trustor’s goals. The notion of trust is relevantly discussed both in in- formation science and philosophy. Unfortunately, we still lack a satisfying account for this concept. The goal of this article is to contribute to filling this gap. First, we take issue with some central tenets (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. On the adequacy of requirements for foundational ontologies.Giancarlo Guizzardi & Riccardo Baratella - 2022 - Journal of Knowledge Structures and Systems 3 (1):76-81.
    In this very issue, Augusto (2022) formulates two requirements upon which to evaluate the adequacy of a foundational ontology. Specifically, the ontological categories: (i) should be understood as the most general kinds of things and (ii) are organized in a non-overlapping finite hierarchy. On the basis of such constraints, he claims that most existing foundational ontologies engineered in the context of Applied Ontology, including the UFO-B ontology, are inadequate. In this article, first we show that his objection against UFO-B can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Towards a Cognitive Semantics of Type.Daniele Porello & Giancarlo Guizzardi - 2017 - In Daniele Porello & Giancarlo Guizzardi (eds.), AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Lecture Notes in Computer Science 10640. pp. 428-440.
    Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Reification and Truthmaking Patterns.Nicola Guarino, Giancarlo Guizzardi & Tiago Prince Sales - 2018 - In J. Trujillo (ed.), Proceedings of 37th International Conference on Conceptual Modeling, ER 2018, Xi'an, China, October 22-25, 2018. Springer. pp. 151-165.
    Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Ontological Foundations of Competition.Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi & John Mylopoulos - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018). IOS Press. pp. 96-112.
    It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...)
    Download  
     
    Export citation  
     
    Bookmark