Knowledge Systems Laboratory
A Proof Markup Language for Semantic Web Services
Web services propose that they provide the means for remote interoperable
access of components and software systems.
However, successful inter-operation between components that do anything
more than the simplest information retrieval is dependent upon those
components having a shared understanding of the results that have passed
between them. In this paper, we address the issue of understanding and
trusting results generated by web services. We introduce a proof markup
language (PML) that provides an interlingua for capturing the information
agents need to understand results and to justify why they should believe the
results. 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. 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.
Paulo Pinheiro da Silva, Deborah L. McGuinness, and Richard Fikes.
A Proof Markup Language for Semantic Web Services.
Information Systems, Volume 31, Issues 4-5, June-July 2006, Pages 381-395.
Also KSL Tech Report KSL-04-01, January, 2004.
Information Systems Journal
is also available.
Selected Papers of Deborah L. McGuinness.
software and network services |
technical reports |
Copyright @2002 Stanford University
All Rights Reserved.