Berners Lee T, Hendler J, Lassila O. The Semantic Web. Scientific
[2]
American, 2001, 284(5): 34-43 3 5 1 期摇摇摇摇蒋运承摇等:面向语义Web 的描述逻辑 Shi Zhongzhi, Dong Mingkai, Jiang Yuncheng, et al. A Logic
[3]
Foundation for the Semantic Web. Science in China: Series E,2004, 34(10): 1123-1138 (in Chinese)摇摇(史忠植, 董明楷, 蒋运承, 等. 语义Web 的逻辑基础. 中国科
[4]
学E 辑, 2004, 34(10): 1123-1138) 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
[5]
ny: Springer Verlag, 2003, 67- 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:
[6]
Springer Verlag, 1999: 161- 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
