Uncertainty Representation and Reasoning in the Semantic Web

This chapter is about uncertainty representation and reasoning for the Semantic Web (SW). We address the importance, key issues, state-of-the-art approaches, and current efforts of both the academic and business communities in their search for a practical, standard way of representing and reasoning with incomplete information in the Semantic Web. The focus is on why uncertainty representation and reasoning are necessary, its importance to the SW vision, and the major issues and obstacles to addressing uncertainty in a principled and standardized way. Although some would argue that uncertainty belongs in the “rule layer” of the SW, we concentrate especially on uncertain extensions of ontology languages for the Semantic Web.

[1]  C. Peirce On the Algebra of Logic: A Contribution to the Philosophy of Notation , 1885 .

[2]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[3]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[4]  Eugene Charniak,et al.  Bayesian Networks without Tears , 1991, AI Mag..

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

[6]  Walter R. Gilks,et al.  A Language and Program for Complex Bayesian Modelling , 1994 .

[7]  Didier Dubois,et al.  Can We Enforce Full Compositionality in Uncertainty Calculi? , 1994, AAAI.

[8]  Michael P. Wellman,et al.  Real-world applications of Bayesian networks , 1995, CACM.

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

[10]  Thomas Lukasiewicz,et al.  Probabilistic Default Reasoning with Conditional Constraints , 2000, Annals of Mathematics and Artificial Intelligence.

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

[12]  Manfred Jaeger,et al.  Probabilistic Role Models and the Guarded Fragment , 2006, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[13]  Kathryn B. Laskey MEBN: A language for first-order Bayesian knowledge bases , 2008, Artif. Intell..

[14]  Thomas Lukasiewicz,et al.  Expressive probabilistic description logics , 2008, Artif. Intell..