A Proof Markup Language for Semantic Web Services

From Tetherless World Wiki

(Redirected from KSL-04-01)
Jump to: navigation, search

Citation: Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes. (2004) A Proof Markup Language for Semantic Web Services. In KSL-04-01, 2004.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes
title A Proof Markup Language for Semantic Web Services
number KSL-04-01
institution Knowledge Systems, AI Laboratory
year 2004
Bibtex more
note Technical Report
Access Paper
abstract 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.

KSL Technical Report ID: KSL-04-01
Facts about A Proof Markup Language for Semantic Web ServicesRDF feed
Abstract Web services propose that they provide the … 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. rust and reuse of answers from web agents.
Author Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes  +
Bibtype techreport  +
Has author Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes  +
Has identifier KSL-04-01  +
Has publishing details 2004  +
Has title A Proof Markup Language for Semantic Web Services  +
Has where published KSL-04-01  +
Has year 2004  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-04-01  +
Note Technical Report
Number KSL-04-01  +
Process note NO  +
Title A Proof Markup Language for Semantic Web Services  +
Year 2004  +
Retrieved from "http://tw.rpi.edu/wiki/A_Proof_Markup_Language_for_Semantic_Web_Services"
Personal tools