Explaining answers from the Semantic Web: the Inference Web approach

The Semantic Web lacks support for explaining answers from web applications. When applications return answers, many users do not know what information sources were used, when they were updated, how reliable the source was, or what information was looked up versus derived. Many users also do not know how implicit answers were derived. The Inference Web (IW) aims to take opaque query answers and make the answers more transparent by providing infrastructure for presenting and managing explanations. The explanations include information concerning where answers came from (knowledge provenance) and how they were derived (or retrieved). In this article we describe an infrastructure for IW explanations. The infrastructure includes: IWBase - an extensible web-based registry containing details about information sources, reasoners, languages, and rewrite rules; PML - the Proof Markup Language specification and API used for encoding portable proofs; IW browser - a tool supporting navigation and presentations of proofs and their explanations; and a new explanation dialogue component. Source information in the IWBase is used to convey knowledge provenance. Representation and reasoning language axioms and rewrite rules in the IWBase are used to support proofs, proof combination, and Semantic Web agent interoperability. The Inference Web is in use by four Semantic Web agents, three of them using embedded reasoning engines fully registered in the IW. Inference Web also provides explanation infrastructure for a number of DARPA and ARDA projects.

[1]  Peter F. Patel-Schneider,et al.  From Description Logic Provers to Knowledge Representation Systems , 2003, Description Logic Handbook.

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

[3]  Deborah L. McGuinness,et al.  Ontologies Come of Age , 2003, Spinning the Semantic Web.

[4]  Deborah L. McGuinness,et al.  Infrastructure for Web Explanations , 2003, SEMWEB.

[5]  David A. Ferrucci,et al.  UIMA: an architectural approach to unstructured information processing in the corporate research environment , 2004, Natural Language Engineering.

[6]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[7]  Fausto Giunchiglia,et al.  Web Explanations for Semantic Heterogeneity Discovery , 2005, ESWC.

[8]  Isabel F. Cruz,et al.  The Emerging Semantic Web , 2002 .

[9]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[10]  Deborah L. McGuinness,et al.  Knowledge Provenance Infrastructure , 2003, IEEE Data Eng. Bull..

[11]  Deborah L. McGuinness,et al.  A proof markup language for Semantic Web services , 2006, Inf. Syst..

[12]  Wei Wu,et al.  Industrial Strength Ontology Management , 2001, The Emerging Semantic Web.

[13]  Robert S. Boyer,et al.  The Boyer-Moore theorem prover and its interactive enhancement , 1995 .

[14]  Thomas A. Russ,et al.  WhyNot: debugging failed queries in large knowledge bases , 2002, AAAI/IAAI.

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

[16]  Xiaorong Huang,et al.  Reconstruction Proofs at the Assertion Level , 1994, CADE.

[17]  Deborah L. McGuinness,et al.  Explaining reasoning in description logics , 1996 .

[18]  Gobinda G. Chowdhury,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2004 .

[19]  Paulo Pinheiro da Silva,et al.  Trusting Answers on the Web , 2003 .

[20]  Fausto Giunchiglia,et al.  Semantic Matching: Algorithms and Implementation , 2007, J. Data Semant..

[21]  Fausto Giunchiglia,et al.  Towards Explaining Semantic Matching , 2004, Description Logics.

[22]  Sanjeev Khanna,et al.  Why and Where: A Characterization of Data Provenance , 2001, ICDT.

[23]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.

[24]  Dale A. Miller,et al.  Proof Explanation and Revision , 1987 .

[25]  Jon R. Wright,et al.  An Industrial-Strength Description-Logics-Based Configurator Platform , 1998, IEEE Intell. Syst..

[26]  Johanna D. Moore,et al.  Explanations in knowledge systems: design for explainable expert systems , 1991, IEEE Expert.

[27]  Deborah L. McGuinness,et al.  Asking Queries about Frames , 1996, KR.

[28]  Deborah L. McGuinness,et al.  Towards A Commer-cial Ontology Development Environment , 2002 .

[29]  Ramanathan V. Guha,et al.  Semantic search , 2003, WWW '03.

[30]  Deborah L. McGuinness,et al.  Registry-Based Support for Information Integration , 2003, IIWeb.

[31]  E. Shortliffe.  Computer-based medical consultations: mycin (elsevier north holland , 1976 .

[32]  James A. Hendler,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2002 .