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
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
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
