Foundational Ontologies meet Ontology Matching: A Survey

Ontology matching is a research area aimed at finding ways to make different ontologies interoperable. Solutions to the problem have been proposed from different disciplines, including databases, natural language processing, and machine learning. The role of foundational ontologies for ontology matching is an important one. It is multifaceted and with room for development. This paper presents an overview of the different tasks involved in ontology matching that consider foundational ontologies. We discuss the strengths and weaknesses of existing proposals and highlight the challenges to be addressed in the future

Boosting D3FEND: Ontological Analysis and Recommendations

Formal Ontology is a discipline whose business is to develop formal theories about general aspects of reality such as identity, dependence, parthood, truthmaking, causality, etc. A foundational ontology is a specific consistent set of these ontological theories that support activities such as domain analysis, conceptual clarification, and meaning negotiation. A (well-founded) core ontology specifies, under a foundational ontology, the central concepts and relations of a given domain. Foundational and core ontologies can be seen as ontology engineering frameworks to systematically address the laborious task of building large (more specific) domain ontologies. However, both in research and industry, it is common that ontologies as computational artifacts are built without the aid of any framework of this kind, favoring the occurrence of numerous modeling mistakes and gaps. Through a case study, here we show an exemplar of such a case in the domain of cybersecurity by providing an ontological analysis of D3FEND, an OWL knowledge graph of cybersecurity countermeasure techniques proposed by the MITRE Corporation. Based on the Reference Ontology for Security Engineering (ROSE), a core ontology of the security domain founded in the Unified Foundational Ontology (UFO), our investigation reveals a number of semantic deficiencies in D3FEND, including missing concepts, semantic overload of terms, and a systematic lack of constraints that renders that model under-specified. As a result of our ontological analysis, we propose several suggestions for the appropriate redesign of D3FEND to overcome those issues.</p

LawV : towards an ontology-based visual modeling language in the legal domain

There has been an increase use of Domain-Specific Visual Modeling Language (DSVML) as a means of improving models’ comprehensibility and, consequently, stakeholders’ productivity. Combining the benefits of DSVMLs and of an ontological approach for designing and evaluating DSVMLs, we present, in this paper, the first-steps towards an ontology-based DSVML in the legal domain called LawV. The main purpose of LawV is to provide for a visual symbolic representation for legal statements. LawV has been built by applying an ontology-based language engineering method called PoNTO-S and UFO-L, a legal core ontology. To evaluate LawV, we instantiate a judicial case selected from the database of Appeal Court of the Esp ́ırito Santo State in Brazil

The many facets of trust

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 shared by the main philosophical accounts, such as that there is just one relation of trust, that this relation has three argument places, and that trust is reliance plus some extra factor. Second, we provide a novel account of trust, also discussing different levels of trust. According to the account we put forth here, the logical form of trust sentences is expressed by a four-place relation. Further, we distinguish and characterize four kinds of trust relations and their connections. We also argue that trust and reliance are different phenomena. Third, on the basis of the proposed account, we extend the Reference Ontology of Trust (ROT). We call the new version of ROT that includes this extension ”ROT 3.0”. Finally, we discuss the implications of the new ontological definitions in the applications we have done of the concept of trust in other works, also pointing out future applications made possible by these novel accounts of trust

FORT: a minimal Foundational Ontological Relations Theory for Conceptual Modeling Tasks

Foundational relations play an important role in the ontological foundations of conceptual modeling. Their investigation has been theoretically addressed in philosophical/ontological theories, and empirically offered in foundational ontologies (FOs). FOs are comprehensive theories that model the world as top-level entities and relations. Empirically, for modelers aiming to use foundational relations without an urge for entity types, FOs seem to be complex to comprehend, comply with, and integrate in practice. And since the practice of these relations is critical for conceptual modeling tasks, we present an approach that builds a well-founded entity-type free relations theory within a first-order-logic formalization, besides large complex FOs. The theory contributes to a minimal set of foundational ontological relations (FORT) by importing extant theories (mereotopology and location) and (re-)formalizing other relations (dependence, membership, constitution, and entity-location), while no FO has compromised this set

O4OA Specification

This document is the reference ontology specification for the Ontology for Ontological Analysis (O4OA) version 2.6.This work has been developed under the project Digital Knowledge Graph – Adaptable Analytics API with the financial support of Accenture LTD, the Generalitat Valenciana through the CoMoDiD project (CIPROM/2021/023), the Spanish State Research Agency through the DELFOS (PDC2021-121243-I00) and SREC (PID2021-123824OB-I00) projects, MICIN/AEI/10.13039/501 100011033 and co-financed with ERDF and the European Union Next Generation EU/PRTR.Franco Martins Souza, B.; Guizzardi, R.; Pastor López, O. (2023). O4OA Specification. http://hdl.handle.net/10251/19672

Web application for reliability analysis within civil aviation domain

Analýzy spolehlivosti jsou klíčovými složkami při hodnocení posouzení rizik během fáze návrhu v leteckém průmyslu. Analýza stromu poruch (FTA) a analýza poruchových režimů a efektů (FMEA) se běžně kombinují při analýze systému a vyhodnocování možných poruch. Kombinování metodik vyžaduje sjednocení struktury dat tak, aby byla použitelná pro všechny analytické metody zároveň. Existující aplikace poskytují nástroje samostatně, což vede k nekonzistenci dat, duplikátům a překlepům při migraci napříč aplikacemi. Tato práce si klade za cíl vytvořit rozšiřitelné řešení, které by poskytlo nástroje k provedení jedné z technik FTA a FMEA a přitom se spoléhalo na ontologický model použitelný pro obě techniky zároveň. Diplomová práce analyzuje existující řešení a ontologie a na základě těchto vstupů navrhuje nezbytné požadavky, které jsou ve spolupráci se zúčastněnými doménovými odborníky prioritizovány. Výsledné řešení implementuje aplikaci zaměřenou primárně na FTA, která nabízí definování partonomie systému, konstrukci FTA a automatický převod stromů do FMEA vzhledem k jednotnému ontologickému modelu. Aplikace je na závěr otestována doménovými odborníky na základě skutečných leteckých dat.Reliability analyses are key components in a risk assessment evaluation during the design phase in an aviation industry. Fault Tree Analysis (FTA) and Failure Modes and Effects Analysis (FMEA) are commonly combined together to review the system and to evaluate possible failures. The combination of methodologies requires a unified data usable for all the analyses. Existing applications provide the tools separately which introduces inconsistencies, duplicates and typos when the data are migrated across the applications. This thesis thus aims to create an extensible solution that would provide tools to perform one of FTA and FMEA techniques and yet rely on an ontological model usable for both. The thesis analyses existing solutions and ontologies and given these inputs proposes necessary requirements that are prioritized in cooperation with involved domain experts. The resulting solution implements an application focusing primarily on FTA which offers possibilities for system partonomy definition, FTA construction and an automatic conversion of the trees to FMEA tables given the unified ontological model. The application is finally reviewed by the domain experts on real aviation data

An ontology-based approach to engineering ethicality requirements

In a world where Artificial Intelligence (AI) is pervasive, humans may feel threatened or at risk by giving up control to machines. In this context, ethicality becomes a major concern to prevent AI systems from being biased, making mistakes, or going rogue. Requirements Engineering (RE) is the research area that can exert a great impact in the development of ethical systems by design. However, proposing concepts, tools and techniques that support the incorporation of ethicality into the software development processes as explicit requirements remains a great challenge in the RE field. In this paper, we rely on Ontology-based Requirements Engineering (ObRE) as a method to elicit and analyze ethicality requirements (‘Ethicality requirements’ is adopted as a name for the class of requirements studied in this paper by analogy to other quality requirements studied in software engineering, such as usability, reliability, and portability, etc. The use of this term (as opposed to ‘ethical requirements’) highlights that they represent requirements for ethical systems, analogous to how ‘trustworthiness requirements’ represent requirements for trustworthy systems. To put simply: the predicates ‘ethical’ or ‘trustworthy’ are not meant to be predicated over the requirements themselves). ObRE applies ontological analysis to ontologically unpack terms and notions that are referred to in requirements elicitation. Moreover, this method instantiates the adopted ontology and uses it to guide the requirements analysis activity. In a previous paper, we presented a solution concerning two ethical principles, namely Beneficence and Non-maleficence. The present paper extends the previous work by targeting two other important ethicality principles, those of Explicability and Autonomy. For each of these new principles, we do ontological unpacking of the relevant concepts, and we present requirements elicitation and analysis guidelines, as well as examples in the context of a driverless car case. Furthermore, we validate our approach by analysing the requirements elicitation made for the driverless car case in contrast with a similar case, and by assessing our method’s coverage w.r.t European Union guidelines for Trustworthy AI.</p