Browse > Article

A Method for Supporting Description Logic SHIQ(D) Reasoning over Large ABoxes  

Seo, Eun-Seok (숭실대학교 컴퓨터학과)
Choi, Yong-Joon (숭실대학교 컴퓨터학과)
Park, Young-Tack (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.34, no.6, 2007 , pp. 530-538 More about this Journal
Abstract
Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.
Keywords
Ontology; Rule; datalog; SHIQ(D); Datatype; Reasoning;
Citations & Related Records
연도 인용수 순위
  • Reference
1 U. Hustadt and B. Motik and U. Sattler, 'Reasoning for Description Logics around SHIQ in a Resolution Framework,' 2005
2 Dmitry Tsarkov and Ian Horrocks. Optimised classification for taxonomic knowledge bases. In Proc. of the 2005 Description Logic Workshop
3 http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/
4 http://www.w3.org/TR/rdf-sparql-query/
5 Horrocks and U. Sattler, 'Ontology reasoning in the SHOQ(D) description logic,' In B. Nebel, editor, Proc. of IJCAI-01, pages 199？204. Morgan Kaufmann, 2001
6 http://www.w3.org/TR/owl-semantics/
7 http://www.w3.org/TR/owl-xmlsyntax/
8 V. Haarslev and R. Moller. RACER User's Guide and Reference Manual Version 1.9. http://www.racersystem. com/products/racerpro/users-guide-1-9.pdf
9 http://www.mindswap.org/2003/pellet/
10 B. Motik and U. Sattler, 'Practical DL Reasoning over Large ABoxes with KAON2. Submitted for publication,' 2005
11 G. Antoniou and F. van Harmelen, 2004, 'A Semantic Web Primer'
12 I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI 2002), pp. 277-281, 2002
13 Ian Horrocks and Ulrike Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 2005
14 F. Baader et al., 2003, 'The Description Logic Handbook: Theory, Implementation and Applications,' Cambridge University Press