Fuzzy Description Logic for Semantics Representation of the Semantic Web

The current research progresses and the existing problems of smantics representation of the semantic Web are analyzed. A kind of new fuzzy description logic FSHOIQ (fuzzy SHOIQ) for semantics representation of the semantic Web is presented, and the syntax and semantics of FSHOIQ are given. The fuzzy Tableaux of FSHOIQ is presented, then the ABox satisfiability reasoning algorithm of FSHOIQ based on the fuzzy Tableaux is presented, and the correctness of the satisfiability reasoning algorithm is proved. The TBox expansion and elimination methods are presented. It is proved that TBox subsumption reasoning problem may be translated into a satisfiability reasoning problem in FSHOIQ. Theoretical foundation for fuzzy knowledge representation and reasoning of the semantic Web is provided through FSHOIQ.

[1]  Petr Hájek,et al.  Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[2]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[3]  Yun-Cheng Jiang Fuzzy ER Modeling with Description Logics , 2006 .

[4]  Ian Horrocks,et al.  The Fuzzy Description Logic f-SHIN , 2005, ISWC-URSW.

[5]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[6]  Zhongzhi Shi,et al.  A logical foundation for the semantic Web , 2007, Science in China Series F: Information Sciences.

[7]  Ian Horrocks,et al.  Fuzzy OWL: Uncertainty and the Semantic Web , 2005, OWLED.

[8]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[9]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[10]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[11]  Umberto Straccia,et al.  A fuzzy description logic for the semantic web , 2006, Fuzzy Logic and the Semantic Web.

[12]  Xu Baowen,et al.  On Computational Complexity of the Extended Fuzzy Description Logic with Numerical Restriction , 2006 .

[13]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[14]  Jeff Z. Pan,et al.  Handling Imprecise Knowledge with Fuzzy Description Logic , 2006, Description Logics.

[15]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..