| Home  | About ScienceAsia  | Publication charge  | Advertise with us  | Subscription for printed version  | Contact us  
Editorial Board
Journal Policy
Instructions for Authors
Online submission
Author Login
Reviewer Login
Volume 43 Number 3
Volume 43 Number 2
Volume 43 Number 1
Volume 43S Number 1
Volume 42 Number 6
Volume 42S Number 1
Earlier issues
Volume 38 Number 4 Volume 39 Number 1 Volume 39 Number 2

previous article next article 1

Research articles

ScienceAsia 39(2013): 78-89 |doi: 10.2306/scienceasia1513-1874.2013.39.078


Finding all justifications in Snomed ct


Boontawee Suntisrivaraporn

 
ABSTRACT:     Snomed ct is a large-scale medical ontology which is developed using a variant of the inexpressive Description Logic ℰℒ, a logic-based knowledge representation formalism and a logical underpinning of OWL 2 EL Profile. Description Logic reasoning can be used to compute subsumption relationships between Snomed ct concepts and to pinpoint the reasons why a certain subsumption holds by finding justifications (sets of axioms responsible for this relationship). This helps the ontology developers to understand such a relationship and to debug it if needed. This article describes an extension of the method of finding one justification to one that finds all justifications for a given subsumption, introduces a Snomed ct-specific optimization, and presents empirical evaluation results. Our extensive experiments on Snomed ct show that (i) the proposed modularization-based approach makes it practicable to find all justifications in most cases in Snomed ct; (ii) the first ten justifications, if any, for a subsumption can be computed in an acceptable runtime, and can be displayed in an incremental manner, i.e., the ontology developers may inspect the first justification while the reasoner continues to find more; and (iii) there is a high degree of commonality among justifications for a subsumption of interest.

Download PDF

1 Download 29 View


School of Information, Computer and Communication Technology, Sirindhorn International Institute of Technology, Thammasat University, Thailand

* Corresponding author, E-mail: sun@siit.tu.ac.th

Received 24 May 2012, Accepted 16 Jan 2013