ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

A new method of finding all justifications in OWL 2 EL

หน่วยงาน สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์

รายละเอียด

ชื่อเรื่อง : A new method of finding all justifications in OWL 2 EL
นักวิจัย : Zhangquan, Zhou , Qi, Guilin , Boontawee Suntisrivaraporn
คำค้น : Description logic , Graph theory , Inference mechanisms , Multiprocessing systems , Pattern classification
หน่วยงาน : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์
ผู้ร่วมงาน : -
ปีพิมพ์ : 2556
อ้างอิง : 12th IEEE/WIC/ACM International Conference on Web Intelligence, WI (2013) Art. no. 6690017 , 978-147992902-3 , http://dspace.library.tu.ac.th/handle/3517/7383
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

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. © 2013 IEEE.

บรรณานุกรม :
Zhangquan, Zhou , Qi, Guilin , Boontawee Suntisrivaraporn . (2556). A new method of finding all justifications in OWL 2 EL.
    กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ .
Zhangquan, Zhou , Qi, Guilin , Boontawee Suntisrivaraporn . 2556. "A new method of finding all justifications in OWL 2 EL".
    กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ .
Zhangquan, Zhou , Qi, Guilin , Boontawee Suntisrivaraporn . "A new method of finding all justifications in OWL 2 EL."
    กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2556. Print.
Zhangquan, Zhou , Qi, Guilin , Boontawee Suntisrivaraporn . A new method of finding all justifications in OWL 2 EL. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2556.