Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies

Thierry Louge,Mohamed Hedi Karray,Bernard Archimède

doi:10.3390/info13030139

Abstract

Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge. Many ontologies exist, expressing various domains of knowledge with different abstraction levels (domain ontologies, top-level ontologies, and task ontologies are the usual categories). The conceptualization of the knowledge contained in an ontology is subject to change, whether because the context of its use changes, because the domain evolves, or because an ontology needs to interoperate with other elements using other ontologies. Change in logical theories is a form of defeasible reasoning, in which some formulas need to be added or removed from a knowledge base. Adaptive Logics (AL) is a logic managing defeasible reasoning that we investigate in this paper for managing change in ontologies expressed with Description Logics (DL). The adaptation of AL for DL will help express the context in which formulas remain valid or can be added to a DL knowledge base, and ease the interoperability between ontologies.

Highlights

Ontologies are at the core of the Semantic Web (SW), which is an ongoing evolution of the existing web architecture proposed by Berneers-Lee et al [1]
“magnitude”, which should be considered as a member of two different concepts: SeismCharacteristic and StellarParameters following the abnormalities defined in an ontology
We presented algorithms and XML tags for expressing Adaptive Logics elements into ontologies expressed in Description Logics (DL)

Summary

Introduction

As an expression of a conceptualization, ontologies are subject to change (e.g., to include new elements from the domain that they conceptualize). They are subject to change in order to provide interoperability with other ontologies, as one way of obtaining interoperabillity between two or more ontologies is to merge those ontologies into a new one. In such a case, the resulting ontology is an enrichment of one of the input ontologies with rules from the other input ontologies. In this paper, we will discuss ontology interoperabillity as a special case of change in ontologies

Methods

Results

Conclusion