Abstract
The Semantic Web lacks support for explaining knowledge provenance. When web 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. The Semantic Web also lacks support for explaining reasoning paths used to derive answers. The Inference Web (IW) aims to take opaque query answers and make the answers more transparent by providing explanations. The explanations include information concerning where answers came from and how they were derived (or retrieved). In this paper we describe an infrastructure for IW explanations. The infrastructure includes: an extensible web-based registry containing details on information sources, reasoners, languages, and rewrite rules; a portable proof specification; and a proof and explanation browser. Source information in the IW registry is used to convey knowledge provenance. Representation and reasoning language axioms and rewrite rules in the IW registry are used to support proofs, proof combination, and semantic web agent interoperability. The IW browser is used to support navigation and presentations of proofs and their explanations. The Inference Web is in use by two Semantic Web agents using an embedded reasoning engine fully registered in the IW. Additional reasoning engine registration is underway in order to help provide input for evaluation of the adequacy, breadth, and scalability of our approach.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Borgida, A., Franconi, E., Horrocks, I.: Explaining ACL Subsumption. In: Proc. of the 14th European Conf. on Artificial Intelligence (ECAI 2000), pp. 209–213. IOS Press, Amsterdam (2000)
Borgida, A., Franconi, E., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F.: Explaining ALC Subsumption. In: Proc. of the International Workshop on Description Logics (DL 1999), Linköping, Sweden, July 1999, pp. 33–36 (1999)
Borgida, A., McGuinness, D.L.: Asking Queries about Frames. In: Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasiong, Cambridge, Massacusetts, November 1996, Morgan Kaufmann, San Fransico (1996)
Boyer, R., Kaufmann, M., Moore, J.: The Boyer-Moore Theorem Prover and Its Interactive Enhancements. Computers and Mathematics with Applications 29(2), 27–62 (1995)
Buneman, P., Khanna, S., Tan, W.-C.: Why and Where: A Characterization of Data Provenance. In: Proceedings of 8th International Conference on Database Theory, January 2001, pp. 316–330 (2001)
Chalupsky, H., Russ, T.: WhyNot: Debugging Failed Queries in Large Knowledge Bases. In: Proc. of the 14th Innovative Applications of Artificial Intelligence Conference (IAAI 2002), pp. 870–877 (2002)
Connolly, D., van. Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: DAML+OIL (March 2001), Reference Description. Technical Report Note 18, World Wide Web Committee (W3C) (December 2001)
Das, A., Wu, W., McGuinness, D.L.: Industrial Strength Ontology Management. In: Cruz, I., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) The Emerging Semantic Web, IOS Press, Amsterdam (2002)
Felty, A., Miller, D.: Proof Explanation and Revision. Technical Report MSCIS8817, University of Pennsylvania (1987)
Fikes, R., Hayes, P., Horrocks, I.: DAML Query Language (DQL) Abstract Specification. Technical report, W3C (2002)
Fikes, R., McGuinness, D.L.: An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL (March 2001), Technical Report Note 18, W3C (December 2001)
Huang, X.: Reconstructing Proofs at the Assertion Level. In: Bundy, A. (ed.) CADE 1994. LNCS, vol. 814, pp. 738–752. Springer, Heidelberg (1994)
McGuinness, D.L.: Explaining Reasoning in Description Logics. PhD thesis, Rutgers University (1996)
McGuinness, D.L., Borgida, A.: Explaining Subsumption in Description Logics. In: Proc. of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, August 1995, pp. 816–821. Morgan Kaufmann, San Francisco (1995)
McGuinness, D.L., Patel-Schneider, P.: From Description Logic Provers to Knowledge Representation Systems. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 265–281. Cambridge University Press, Cambridge (2003)
McGuinness, D.L., da Silva, P.P.: Trusting Answers on the Web. In: Maybury, M.T. (ed.) New Directions in Question Answering, AAAI/MIT Press (to appear)
McGuinness, D.L., da Silva, P.P.: Registry-Based Support for Information Integration. In: Proceedings of IJCAI 2003 Workshop on Information Integration on the Web (IIWeb 2003), Acapulco, Mexico, August 2003, pp. 117–122 (2003)
Shortliffe, E.H.: Computer-Based Medical Consultations: MYCIN. Elsevier/North Holland, New York/ NY/USA (1976)
Smith, M., McGuinness, D.L., Volz, R., Welty, C.: Web Ontology Language (OWL) Guide Version 1.0. Technical Report Working Draft, World Wide Web Committee (W3C) (2003)
Swartout, W., Paris, C., Moore, J.: Explanations in Knowledge Systems: Design for Explainable Expert Systems. IEEE Intelligent Systems (June 1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McGuinness, D.L., da Silva, P.P. (2003). Infrastructure for Web Explanations. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds) The Semantic Web - ISWC 2003. ISWC 2003. Lecture Notes in Computer Science, vol 2870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39718-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-39718-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20362-9
Online ISBN: 978-3-540-39718-2
eBook Packages: Springer Book Archive