Title :
A New Method of Finding All Justifications in OWL 2 EL
Author :
Zhangquan Zhou ; Guilin Qi ; Suntisrivaraporn, Boontawee
Author_Institution :
Key Lab. of Comput. Network & Inf. Integration of State Educ. Minist., Southeast Univ., Nanjing, China
Abstract :
Finding justifications for an entailment in an OWL ontology is an important reasoning service in the development and maintenance of OWL ontologies. In this paper, we consider the problem of finding all the justifications of an entailment in description logic EL+, which underpins OWL 2 EL. Our method for computing all the justifications utilizes the classification result of an EL+ ontology by an OWL EL reasoner. We first give an algorithm for finding all the justifications of an entailment by constructing an explanation dependency graph from the entailment and the classification result. We then propose some pruning strategies to optimize this algorithm. We implement a prototype system by using the multi-core technology. The experimental results show that in many cases, our optimized algorithm outperforms an existing algorithm for finding all the justifications for an entailment in EL+ that is optimized with the module extraction technology.
Keywords :
description logic; graph theory; inference mechanisms; knowledge representation languages; multiprocessing systems; ontologies (artificial intelligence); pattern classification; EL+; OWL 2 EL; OWL EL reasoner; OWL ontology; classification result; description logic; explanation dependency graph; module extraction technology; multicore technology; pruning strategies; reasoning service; Cognition; Educational institutions; Maintenance engineering; OWL; Ontologies; Semantics; Syntactics;
Conference_Titel :
Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013 IEEE/WIC/ACM International Joint Conferences on
Conference_Location :
Atlanta, GA
Print_ISBN :
978-1-4799-2902-3
DOI :
10.1109/WI-IAT.2013.31
