面向语义Web的描述逻辑<sup>*</sup>

Abstract
Figure/Table
References
Related Citation (7)

Download: PDF (345 KB) HTML (1 KB)
Export: BibTeX | EndNote (RIS)

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.

Key words： Semantic Web Description Logic SHOIQ(D) Tableaux Algorithm

Received: 16 May 2005

ZTFLH:

TP181

	Service

	E-mail this article
	Add to my bookshelf
	Add to citation manager
	E-mail Alert
	RSS
	Articles by authors
	JIANG YunCheng
	TANG Yong
	WANG Ju
	ZHOU ShengMing

Cite this article:

JIANG YunCheng,TANG Yong,WANG Ju等. Semantic Web Oriented Description Logic[J]. , 2007, 20(1): 48-54.

URL:

http://manu46.magtech.com.cn/Jweb_prai/EN/ OR http://manu46.magtech.com.cn/Jweb_prai/EN/Y2007/V20/I1/48

[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