• Comment: Not enough independent, significant coverage. Looks promotional. WikiOriginal-9 (talk) 14:16, 7 November 2023 (UTC)

The Unified Foundational Ontology (UFO)^[1][2] is an ontological framework developed in the early 2000s with the objective of providing foundational support for conceptual modeling. It synthesizes elements from formal ontology, cognitive science, linguistics, and philosophical logic to inform the structure and semantics of conceptual models. The ontology is utilized to articulate a variety of fundamental notions within conceptual modeling, offering a systematic approach to categorizing entities and delineating their properties.

Conceived as a response to the needs for ontological foundations in conceptual modeling, UFO consists of a series of interlinked micro-theories that collectively address a comprehensive range of conceptual modeling topics. These micro-theories cover the taxonomy of objects, the nature of part-whole relationships, the articulation of intrinsic and relational properties, and the classification of events and roles among other subjects. UFO is particularly noted for its application in the creation of OntoUML, a conceptual modeling language that embodies the ontology's theoretical constructs.

UFO emerged from an endeavor to harmonize theories from formal ontology with the requisites of ontological foundations for conceptual modeling. It incorporates a four-category ontology dealing with various fundamental conceptual modeling notions. The ontology is divided into several micro-theories covering a wide range of topics, including:

• Theory of Types and Taxonomic Structures^[3]: This theory delves into the categorization and hierarchical structuring of objects, and is closely tied to a theory concerning object identifiers. It further extends to offer a formal semantics grounded in a sortal quantified modal logic​​.
• Theory of Part-Whole Relations: This theory explores the relationships between constituent parts and their wholes, providing a structural understanding of complex entities.
• Theory of Particularized Intrinsic Properties, Attributes, and Attribute Value Spaces^[4][5]: This theory articulates the intrinsic properties unique to particular entities, alongside the attributes and the spaces these attributes value occupy. It also presents a perspective on datatypes as semantic reference structures​​.
• Theory of Particularized Relational Properties and Relations^[6][7]: This explores the properties and relations between entities, offering a profound understanding of how entities relate to one another. Additionally, it introduces a proposal for Weak Truthmaking, linking particularized properties to propositions​.
• Theory of Roles: This theory delves into the various roles entities can embody, providing a framework for understanding dynamic and contextual identities.
• Theory of Events^[8]: This theory encompasses a comprehensive examination of events, covering aspects like event mereology, temporal ordering, object participation, causation, and change. It elucidates the connection between events and endurants through dispositions​.
• Theory for Multi-level Modeling^[9]: This theory provides a framework for multi-level modeling, allowing for a nuanced representation and analysis of hierarchical and layered structures​.

Each theory forms a part of the extensive conceptual framework offered by the ontology, contributing to a deeper understanding and analysis of domain-specific models.

Initially inspired by seminal work on ontological foundations for conceptual modeling, UFO aimed to address the shortcomings of previous approaches by developing a robust ontological theory for conceptual modeling that encompasses both individuals and types. Over the years, UFO has evolved significantly, being applied in the analysis, re-engineering, and integration of various modeling languages and standards across different domains.

Notably, UFO has been used in the design of an ontology-driven conceptual modeling language known as OntoUML^[10], which reflects some of the ontological micro-theories comprising UFO.

UFO was established with the goal of supporting domain analysis in conceptual modeling, aiming at developing a "Calculus of Content" for ontological analysis, conceptual clarification, and semantic explicitation of content embedded in representation artifacts.

UFO seeks to describe reality at a mesoscopic level as accounted for by human cognition, acknowledging both cognitive and linguistic aspects in its constituting categories. It is organized into three main fragments:

• UFO-A^[10]: An ontology of endurants.
• UFO-B^[11]: An ontology of perdurants.
• UFO-C^[12]: An ontology of social and intentional entities built on the foundations provided by the other two fragments.

The ontology distinguishes between endurants and perdurants, with endurants being individuals that exist in time with all their parts, and perdurants being individuals that unfold in time accumulating temporal parts. It also accounts for both independent and dependent endurants, termed substantials and moments, respectively.

UFO further delves into the categorization of endurant types based on the Aristotelian Square, accounting for both substantials and moments, which include intrinsic moments like qualities and modes, and particularized relational properties termed relators.

UFO has garnered attention and application across various research groups globally. Prominent among them is the Ontology and Conceptual Modeling Research Group (NEMO) based at the Federal University of Espírito Santo in Brazil. NEMO focuses on developing foundational theories and applying them to complex information systems^[13]. The Semantics, Cybersecurity and Services (SCS) group at the University of Twente in the Netherlands employs UFO to address enterprise modeling and the alignment of business and IT systems^[14]. Additionally, various interdisciplinary groups, such as those within bioinformatics and healthcare informatics, leverage UFO to develop domain ontologies for more precise data representation and reasoning. These collaborative efforts underscore UFO's prominence in the field of conceptual modeling and ontology engineering.

Over the years, UFO has found extensive use in the development of core and domain ontologies across a multitude of domains, in both academic and practical contexts^[1]. Its application spans from natural sciences like agriculture and bioinformatics to purely informational domains like telecommunications and game design, as well as practical environmental management problems such as land covering and waste management simulations. Moreover, UFO has been instrumental in analyzing, reengineering, or integrating many modeling languages and standards in different domains.

One of the most influential applications of UFO has been in the design of the conceptual modeling language OntoUML and its ecosystem of methodological and computational tools. Studies highlight UFO as a rapidly adopted foundational ontology in conceptual modeling, with OntoUML being among the most used languages in ontology-driven conceptual modeling. Empirical evidence suggests that OntoUML significantly contributes to improving the quality of conceptual models without necessitating additional effort in their production.

The development of UFO-based models through OntoUML is currently facilitated by a microservice-based infrastructure known as OntoUML as a Service (OaaS). This infrastructure decouples model services developed by OntoUML researchers from the modeling tools they support, allowing for independent development and later integration into modeling tools like UML CASE tools.

Besides OntoUML, UFO has also been employed in the design of numerous ontologies in various sub-domains in Software Engineering, forming the Software Engineering Ontology Network (SEON), which addresses problems like application integration, semantic annotation of requirements, software quality assurance, and code interoperability among others.

Furthermore, UFO has made a noticeable impact in domains dealing with legal, social, and economic aspects, including financial accounting, legal relations, and contracts, as well as microeconomic sub-domains. Its robust theory of relations has found to be particularly useful in these domains, catering to the sophisticated modeling of relational aspects required therein.

While UFO has been influential in conceptual modeling, it has also faced criticism. Critics have pointed out that UFO, like other ontological frameworks, may suffer from issues of complexity and abstractness that can hinder its practical application. Some argue that the rich theoretical underpinnings, while academically rigorous, can make it difficult for practitioners to adopt without extensive training. This complexity can lead to challenges in implementation, particularly in interdisciplinary projects where stakeholders may not have a background in formal ontology.