A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite

OCRA – An ontology for collaborative robotics and adaptation

Industrial collaborative robots will be used in unstructured scenarios and a large variety of tasks in the near future. These robots shall collaborate with humans, who will add uncertainty and safety constraints to the execution of industrial robotic tasks. Hence, trustworthy collaborative robots must be able to reason about their collaboration’s requirements (e.g., safety), as well as the adaptation of their plans due to unexpected situations. A common approach to reasoning is to represent the knowledge of interest using logic-based formalisms, such as ontologies. However, there is not an established ontology defining notions such as collaboration or adaptation yet. In this article, we propose an Ontology for Collaborative Robotics and Adaptation (OCRA), which is built around two main notions: collaboration, and plan adaptation. OCRA ensures a reliable human-robot collaboration, since robots can formalize, and reason about their plan adaptations and collaborations in unstructured collaborative robotic scenarios. Furthermore, our ontology enhances the reusability of the domain’s terminology, allowing robots to represent their knowledge about different collaborative and adaptive situations. We validate our formal model, first, by demonstrating that a robot may answer a set of competency questions using OCRA. Second, by studying the formalization’s performance in limit cases that include instances with incongruent and incomplete axioms. For both validations, the example use case consists in a human and a robot collaborating on the filling of a tray.Peer ReviewedPostprint (published version

Is a top level ontology based digital twin the solution to human-machine interoperability?

Over the last decade, life cycle management has made leaps and bounds not just enhancing but also creating newer interactivity with the modelling world. A digital twin (DT) monitors the condition of the mirrored entity through life, providing a holistic overview of both its functionality and operability. Whilst DTs are gaining interest, the current challenge in their efficient utilisation is the interoperability between those different DTs. Today, DTs are being created for domain-specific functionalities (closed architectures), often using proprietary solutions, limiting their interoperability. This paper aims to present a high-level DT framework based on a standard top-level ontology called the Basic Formal Ontology (BFO) as a solution to the integration of twins. BFO is a well-established top-level ontology in the biomedical sector, as it is the core of the Open Biological Ontologies (OBO) Foundry. This paper contains a review of the state-of-the-art DTs based on top-level ontologies and highlights the value of implementing this framework, especially in the maintenance phase. The proposed open framework enables and improves the interoperability of DTs, creating the fundamental infrastructure where DTs can work together in a federation of twins. This research is an attempt to identify the applicability of this fundamental, interdisciplinary, cross-sectoral linkage for digitally enhanced eMaintenance platforms and their effective deployment. The paper thus presents an overview of how a typical BFO based DT would work in the context of a network of twins that targets human-in-the-loop (HITL) and their interoperability establishing a future towards the next industrial revolution: Industry 5.0

A validation process for a legal formalization method

peer reviewedThis volume contains the papers presented at LN2FR 2022: The International Workshop on Methodologies for Translating Legal Norms into Formal Representations, held on December 14, 2022 in a hybrid form (in person workshop was held in Saarland University, Saarbrucken) in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022). Using symbolic logic or similar methods of knowledge representation to formalise legal norms is one of the most traditional goals of legal informatics as a scientific discipline. More than mere theoretical value, this approach is also connected to promising real-world applications involving, e.g., the observance of legal norms by highly automated machines or even the (partial) automatisation of legal reasoning, leading to new automated legal services. Albeit the long research tradition on the use of logic to formalise legal norms-be it by using classic logic systems (e.g., first-order logic), be it by attempting to construct a specific system of logic of norms (e.g., deontic logic)-, many challenges involved in the development of an adequate methodology for the formalisation of concrete legal regulations remain unsolved. This includes not only the choice of a sufficiently expressive formal language or model, but also the concrete way through which a legal text formulated in natural language is to be translated into the formal representation. The workshop LN2FR seeked to explore the various challenges connected with the task of using formal languages and models to represent legal norms in a machine-readable manner. We had 13 submissions, which were reviewed by 2 or 3 reviewers. Among these, we selected 11 papers (seven long papers, three short papers, one published paper) for presentation and discussion

Reasoning-Supported Quality Assurance for Knowledge Bases

The increasing application of ontology reuse and automated knowledge acquisition tools in ontology engineering brings about a shift of development efforts from knowledge modeling towards quality assurance. Despite the high practical importance, there has been a substantial lack of support for ensuring semantic accuracy and conciseness. In this thesis, we make a significant step forward in ontology engineering by developing a support for two such essential quality assurance activities

Improving interoperability on industrial standards through ontologies

Interoperability refers to the effective exchange of information and understanding to collectively pursue common objectives. System developers commonly use ontologies to enhance semantic and syntactic interoperability within this context. This work aims to evaluate the contribution of ontology in making explicit the meaning of the entities described in a Piping and Instrumentation Diagram (P&ID) model and to provide an architecture that allows the representation of a P&ID in ontological knowledge bases. To understand the semantics of the P&ID entities and relations, we map each class of the P&ID to the corresponding entity of the Offshore Petroleum Production Plant Ontology (O3PO). The ontology describes the definition of each vocable associated with the axioms that clarify and regulate the meaning and utilization of this vocabulary. We intend to guarantee that the integration of P&ID with other models respects the original semantics and avoids unintended data exchanges. We follow this ontological analysis with a case study of a model that conforms to the Data Exchange in the Process Industry (DEXPI) specification, intended to provide homogeneous data interchange between CAD systems from diverse vendors. The ontological analysis of the DEXPI P&ID specification, to build a relation with a well-founded ontology, raises a set of desirable properties for a model intended for use in interoperability. While achieving technical interoperability between DEXPI P&IDs and ontologies represented in OWL is evident, we identified several challenges within the realm of semantic interoperability, specifically concerning clarity/intelligibility, conciseness, extendibility, consistency, and essence. These issues present significant hurdles to achieving seamless systems integration. Moreover, if the DEXPI standard were to evolve into a de facto standard for representing P&IDs across a broader range of domains than initially intended, these highlighted issues could potentially bottleneck its adoption and hinder its integration into different systems.Interoperabilidade se refere à troca efetiva de informação e entendimento na busca por objetivos comuns. Neste contexto, desenvolvedores de sistemas comumente utilizam ontologias para aprimorar a interoperabilidade semântica e sintática. O objetivo deste trabalho é avaliar a contribuição da ontologia para tornar explícito o significado das entidades descritas em um modelo de Diagrama de Tubulação e Instrumentação (DTI) e fornecer uma arquitetura que permita a representação de um DTI em bases de conhecimento ontológicas. Para entender a semântica das entidades e relações do DTI, mapeamos cada classe do DTI para a entidade correspondente da Ontologia de Planta de Produção de Petróleo Offshore (O3PO). A ontologia descreve a definição de cada vocábulo associado com os axiomas que esclarecem e regulam o significado e a utilização desse vocabulário. Pretendemos garantir que a integração do DTI com outros modelos respeite a semântica original e, assim, evite trocas de dados não intencionais. Seguimos essa análise ontológica com um estudo de caso de um modelo que se conforma à especificação "Data Exchange in the Process Industry" (DEXPI), destinada a fornecer uma troca de dados homogênea entre sistemas CAD de diversos fabricantes. A análise ontológica da especificação DEXPI DTI, para construir uma relação com uma ontologia bem fundamentada, levanta um conjunto de propriedades desejáveis para um modelo destinado a ser usado na interoperabilidade. Embora a conquista da interoperabilidade técnica entre DTIs DEXPI e ontologias representadas em OWL seja evidente, diversos desafios foram identificados no âmbito da interoperabilidade semântica, especificamente em relação à clareza/inteligibilidade, concisão, extensibilidade, consistência e essência. Essas questões representam obstáculos significativos para alcançar uma integração de sistemas perfeita. Além disso, se o padrão DEXPI evoluir para um padrão de facto para a representação de DTIs em um conjunto mais amplo de domínios do que inicialmente pretendido, essas questões destacadas poderiam potencialmente atrasar sua adoção e dificultar sua integração em sistemas diferentes

Proceedings of the 1st Standardized Knowledge Representation and Ontologies for Robotics and Automation Workshop

Welcome to IEEE-ORA (Ontologies for Robotics and Automation) IROS workshop. This is the 1st edition of the workshop on! Standardized Knowledge Representation and Ontologies for Robotics and Automation. The IEEE-ORA 2014 workshop was held on the 18th September, 2014 in Chicago, Illinois, USA. In!the IEEE-ORA IROS workshop, 10 contributions were presented from 7 countries in North and South America, Asia and Europe. The presentations took place in the afternoon, from 1:30 PM to 5:00 PM. The first session was dedicated to “Standards for Knowledge Representation in Robotics”, where presentations were made from the IEEE working group standards for robotics and automation, and also from the ISO TC 184/SC2/WH7. The second session was dedicated to “Core and Application Ontologies”, where presentations were made for core robotics ontologies, and also for industrial and robot assisted surgery ontologies. Three posters were presented in emergent applications of ontologies in robotics. We would like to express our thanks to all participants. First of all to the authors, whose quality work is the essence of this workshop. Next, to all the members of the international program committee, who helped us with their expertise and valuable time. We would also like to deeply thank the IEEE-IROS 2014 organizers for hosting this workshop. Our deep gratitude goes to the IEEE Robotics and Automation Society, that sponsors! the IEEE-ORA group activities, and also to the scientific organizations that kindly agreed to sponsor all the workshop authors work

A semantic framework for ontology usage analysis

The Semantic Web envisions a Web where information is accessible and processable by computers as well as humans. Ontologies are the cornerstones for realizing this vision of the Semantic Web by capturing domain knowledge by defining the terms and the relationship between these terms to provide a formal representation of the domain with machine-understandable semantics. Ontologies are used for semantic annotation, data interoperability and knowledge assimilation and dissemination.In the literature, different approaches have been proposed to build and evolve ontologies, but in addition to these, one more important concept needs to be considered in the ontology lifecycle, that is, its usage. Measuring the “usage” of ontologies will help us to effectively and efficiently make use of semantically annotated structured data published on the Web (formalized knowledge published on the Web), improve the state of ontology adoption and reusability, provide a usage-based feedback loop to the ontology maintenance process for a pragmatic conceptual model update, and source information accurately and automatically which can then be utilized in the other different areas of the ontology lifecycle. Ontology Usage Analysis is the area which evaluates, measures and analyses the use of ontologies on the Web. However, in spite of its importance, no formal approach is present in the literature which focuses on measuring the use of ontologies on the Web. This is in contrast to the approaches proposed in the literature on the other concepts of the ontology lifecycle, such as ontology development, ontology evaluation and ontology evolution. So, to address this gap, this thesis is an effort in such a direction to assess, analyse and represent the use of ontologies on the Web.In order to address the problem and realize the abovementioned benefits, an Ontology Usage Analysis Framework (OUSAF) is presented. The OUSAF Framework implements a methodological approach which is comprised of identification, investigation, representation and utilization phases. These phases provide a complete solution for usage analysis by allowing users to identify the key ontologies, and investigate, represent and utilize usage analysis results. Various computation components with several methods, techniques, and metrics for each phase are presented and evaluated using the Semantic Web data crawled from the Web. For the dissemination of ontology-usage-related information accessible to machines and humans, The U Ontology is presented to formalize the conceptual model of the ontology usage domain. The evaluation of the framework, solution components, methods, and a formalized conceptual model is presented, indicating the usefulness of the overall proposed solution