A proof markup language for Semantic Web services

The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept and trust a result produced by perhaps an unfamiliar Web service, the result needs to be accompanied by a justification that is understandable and usable by the client. In this paper, we describe the proof markup language (PML), an interlingua representation for justifications of results produced by Semantic Web services. We also introduce our Inference Web infrastructure that uses PML as the foundation for providing explanations of Web services to end users. We additionally show how PML is critical for and provides the foundation for hybrid reasoning where results are produced cooperatively by multiple reasoners. Our contributions in this paper focus on technological foundations for capturing formal representations of term meaning and justification descriptions thereby facilitating trust and reuse of answers from web agents.

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

[2]  Volker Sorge,et al.  PDS — A Three-Dimensional Data Structure for Proof Plans , 2007 .

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

[4]  Geoffrey Norman Watson.  Proof representations in Theorem Provers , 1998 .

[5]  Deborah L. McGuinness,et al.  Explaining answers from the Semantic Web: the Inference Web approach , 2004, J. Web Semant..

[6]  Michael Kohlhase,et al.  MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems , 2001, J. Symb. Comput..

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

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

[9]  R. Fikes,et al.  JTP : A System Architecture and Component Library for Hybrid Reasoning , 2003 .

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

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

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

[13]  Lawrence C. Paulson,et al.  Isabelle: The Next 700 Theorem Provers , 2000, ArXiv.

[14]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[15]  Geoffrey Norman Watson,et al.  A generic proof checker , 2001 .