JIANG YunCheng1,2, TANG Yong1, WANG Ju2, ZHOU ShengMing2
1.Department of Computer Sciences, Sun YatSen University, Guangzhou 510275 2.College of Computer Science and Information Engineering, Guangxi Normal University, Guilin 541004
Abstract The relationship between the description logic SHOIQ(D) and the semantic Web, especially the equality of SHOIQ(D) and semantic Web ontology language, is analyzed. Due to the complexity of SHOIQ(D), only the syntax and the semantics are given at present. Based on the reasoning method of the description logic SHOIQ, the tableaux of SHOIQ is presented at first. Then the reasoning method of SHOIQ(D) based on tableaux of SHOIQ is studied mainly, and a SHOIQ(D)tableaux reasoning algorithm is presented. Finally, the correctness of SHOIQ(D)tableaux algorithm is proved.
[1] Berners Lee T, Hendler J, Lassila O. The Semantic Web. Scientific
American, 2001, 284(5): 34-43 3 5 1 期摇摇摇摇蒋运承摇等:面向语义Web 的描述逻辑 [2] Shi Zhongzhi, Dong Mingkai, Jiang Yuncheng, et al. A Logic
Foundation for the Semantic Web. Science in China: Series E,2004, 34(10): 1123-1138 (in Chinese)摇摇(史忠植, 董明楷, 蒋运承, 等. 语义Web 的逻辑基础. 中国科
学E 辑, 2004, 34(10): 1123-1138) [3] Horrocks I. DAML+OIL: A Reasonable Web Ontology Language / /Jensen C S, Jeffery K G, eds. Proc of the 8th International Confer-ence on Extending Database Technology. Berlin, Germany: Springer Verlag, 2002: 2-13 [4] Antoniou G, van Harmelen F. Web Ontology Language: OWL / /Staab S, Studer R, eds. Handbook on Ontologies. Berlin, Germa
ny: Springer Verlag, 2003, 67-92 [5] Horrocks I. DAML + OIL: A Description Logic for the Semantic Web. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9 [6] Horrocks I, Patel Schneider P F, van Harmelen F. From SHIQ and RDF to OWL: the Making of a Web Ontology Language. Journal of Web Semantics, 2003, 1(1): 7-26 [7] Fensel D, Horrocks I, van Harmelen F, et al. OIL: An Ontology In frastructure for the Semantic Web. IEEE Intelligent Systems, 2001,16(2): 38-45 [8] Horrocks I , Sattler U, Tobies S. Practical Reasoning for Expressive Description Logics / / Ganzinger H, McAllester D,Voronkov A, eds. Proc of the 6th International Conference on Logic for Programming and Automated Reasoning. Berlin, German:
Springer Verlag, 1999: 161-180 [9] Baader F, Sattler U. An Overview of Tableau Algorithms for De scription Logics. Studia Logica, 2001, 69(1): 5-40 [10] Hladik J, Model J. Tableau Systems for SHIO and SHIQ / / Har slev V, Moller R, eds. Proc of the International Workshop on De scription Logics. Whistler, Canada, 2004: 82-90 [11] Horrocks I, Sattler U. Ontology Reasoning in the SHOQ(D) De scription Logic / / Nebel B, ed. Proc of the 17th International Joint Conference on Artificial Intelligence. Washington, USA: Morgan Kaufmann, 2001: 199-204 [12] Pan J Z, Horrocks I. Semantic Web Ontology Reasoning in the SHOQ(Dn) Description Logic / / Proc of the International Workshop on Description Logics. Toulouse, France, 2002: 53-62 [13] Horrocks I, Sattler U. A Tableaux Decision Procedure for SHOIQ / / Kaelbling L P, ed. Proc of the 19th International Joint Confer ence on Artificial Intelligence. St Louis, USA: Morgan Kaufmann,2005: 448-453
2007, Vol. 20 
