Measuring Inconsistencies Propagation from Change Operation Based on Ontology Partitioning

International audienceInconsistency measure is an activity related to the ontology evolution. Being a coherent entity, an ontology must change and a modification operation in ontology could generate inconsistencies in its other parts. It is then important to measure these inconsistencies and follow the impact propagation. In this paper, we propose an inconsistency measure of an ontological change and its propagation effects on the other entities of the ontology. The measure is based on the weight of the dependencies between concepts in a community. Ontology is divided into communities which are a set of concepts that have preferential relations. To follow the impact propagation, we propose a process that uses the Change-and-Fix' approach to mark the impacted entities

Application of User Profiling on Ontology Module Extraction for Medical portals

One fit all for approach for searching and ranking discovered knowledge on the Internet does not cater for the diverse variety of users and user groups with different preferences, information needs and priorities. This is of a particular case in the National electronic Library of Infection in the UK (NeLI, www.neli.org.uk) accessed by a number of medical professionals with different preferences and medical information needs. We define personal and group profiles, based on user-specified interests, and develop an ontology module extraction service defining the key area of the infection ontology of a particular relevance to each user group. In this paper we discuss how ontology modularisation can improve the NeLI portal by providing customised alert, recommender service and specialitycustomised browsing tree structure

Automatic Partitioning of OWL Ontologies Using E-Connections

On the Semantic Web, the ability to combine, integrate and reuse ontologies is crucial. The Web Ontology Language (OWL) defines the owl:imports construct, which allows to include by reference all the axioms contained in another knowledge base (KB) on the Web. This certainly provides some syntactic modularity, but not a logical modularity. We have proposed [3] E-Connections as a suitable formalism for combining KBs and for achieving modular ontology development on the Web. E-Connections are KR languages defined as a combination of other logical formalisms. They were originally introduced in [4] mostly as a way to go beyond the expressivity of each of the component logics, while preserving the decidability of the reasoning services in the combination. We have found that E-Connections can help process, evolve, reuse, and understand OWL ontologies. In this paper, we address the problem of automatically transforming an OWL KB O into a E-Connection Σ in such a way that each of the relevant sub-domains modeled in O is represented in a different component of Σ. We present a formal definition and investigation of different variants of the problem, a polynomia