A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web

The necessity of dealing with uncertain knowledge has arisen from Semantic Web applications in different areas. Handling uncertainty thus becomes one of the key research directions in the Semantic Web community. This paper introduces a fuzzy logic based approach which extends the classic Description Logic with Zadeh semantics to deal with uncertain knowledge about concepts and roles as well as instances of concepts and roles. Uncertain knowledge representation and the reasoning algorithm for consistency checking of a fuzzy knowledge base are addressed in detail. This paper also discusses complexity issues of the reasoning problem.

[1]  Java Binding,et al.  GNU Linear Programming Kit , 2011 .

[2]  David Robertson,et al.  Proceedings of the ISWC 2005 Workshop on Uncertainty Reasoning for the Semantic Web , 2005 .

[3]  David A. McAllester,et al.  Automated Deduction - CADE-17 , 2000, Lecture Notes in Computer Science.

[4]  Bernard De Baets,et al.  General results on the decomposition of transitive fuzzy relations , 2010, Fuzzy Optim. Decis. Mak..

[5]  Thomas Lukasiewicz.  Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[6]  Alon Y. Halevy,et al.  P-CLASSIC: A Tractable Probablistic Description Logic , 1997, AAAI/IAAI.

[7]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[8]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[9]  John Yen,et al.  Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

[10]  Johanna Völker,et al.  Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency , 2005, ISWC-URSW.

[11]  Manfred Jaeger,et al.  Probabilistic Reasoning in Terminological Logics , 1994, KR.

[12]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[13]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[14]  Bernd Gärtner,et al.  Understanding and using linear programming , 2007, Universitext.

[15]  Eiji Oki,et al.  GLPK (GNU Linear Programming Kit) , 2012 .

[16]  Jidi Zhao,et al.  Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics , 2010 .

[17]  Robert Stevens,et al.  Using OWL to model biological knowledge , 2007, Int. J. Hum. Comput. Stud..

[18]  Hendrik W. Lenstra,et al.  Integer Programming with a Fixed Number of Variables , 1983, Math. Oper. Res..

[19]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

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

[21]  Dave Robertson,et al.  Discovery and Uncertainty in Semantic Web Services , 2008, URSW.

[22]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[23]  Jeff Z. Pan,et al.  Multimedia annotations on the semantic Web , 2006, IEEE Multimedia.

[24]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.