14 found
Order:
  1.  99
    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   2 citations  
  2.  45
    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   1 citation  
  3. 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  
  4.  57
    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  
  5. 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. 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   2 citations  
  6.  46
    An Ontology of Security From a Risk Treatment Perspective.Ítalo Oliveira, Tiago Prince Sales, Riccardo Baratella, Mattia Fumagalli & Giancarlo Guizzardi - forthcoming - In 41th International Conference, ER 2022, Proceedings. Cham: Springer.
    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  
  7. 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 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  
  8.  84
    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  
  9. 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  
  10. 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  
  11. Relationships and Events: Towards a General Theory of Reification and Truthmaking.Nicola Guarino & Giancarlo Guizzardi - 2016 - In Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence. 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   5 citations  
  12. 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. Cham: 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  
  13. 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). Amsterdam: 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  
  14.  17
    Towards a Cognitive Semantics of Type.Daniele Porello & Giancarlo Guizzardi - 2017 - In 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