Combinable Proof Fragments for the Web

From Tetherless World Wiki

Jump to: navigation, search

Citation: Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes. (2003) Combinable Proof Fragments for the Web. In KSL-03-04, January,2003.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes
title Combinable Proof Fragments for the Web
number KSL-03-04
institution Knowledge Systems, AI Laboratory
year 2003
month January
Bibtex more
Access Paper
abstract Web applications must deal with a rapidly evolving, distributed, heterogeneous environment of information and reasoning services. Many applications obtain information from multiple sources and thus need to determine how, why, and when to use answers. Currently few if any web-based reasoning services make explanations available and, if they do, the supporting proofs of these explanations are rarely portable across applications. Thus, proofs, if available, are difficult to understand and more difficult to combine. This paper describes the properties of Inference Web (IW) portable proof fragments. These proof fragments can be combined and thus can be used to specify distributed proofs for web-based reasoning tasks. Moreover, the proof fragment can be used for merging proofs generated by distinct applications. We introduce the portable proof fragment specification used to enable Inference Web applications by example. Our examples are chosen from real world configuration-driven examples.

KSL Technical Report ID: KSL-03-04
Facts about Combinable Proof Fragments for the WebRDF feed
Abstract Web applications must deal with a rapidly … Web applications must deal with a rapidly evolving, distributed, heterogeneous environment of information and reasoning services. Many applications obtain information from multiple sources and thus need to determine how, why, and when to use answers. Currently few if any web-based reasoning services make explanations available and, if they do, the supporting proofs of these explanations are rarely portable across applications. Thus, proofs, if available, are difficult to understand and more difficult to combine. This paper describes the properties of Inference Web (IW) portable proof fragments. These proof fragments can be combined and thus can be used to specify distributed proofs for web-based reasoning tasks. Moreover, the proof fragment can be used for merging proofs generated by distinct applications. We introduce the portable proof fragment specification used to enable Inference Web applications by example. Our examples are chosen from real world configuration-driven examples. real world configuration-driven examples.
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-03-04  +
Has publishing details January,2003  +
Has title Combinable Proof Fragments for the Web  +
Has where published KSL-03-04  +
Has year 2003  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-03-04  +
Month January  +
Number KSL-03-04  +
Process note NO  +
Title Combinable Proof Fragments for the Web  +
Year 2003  +
Retrieved from "http://tw.rpi.edu/wiki/Combinable_Proof_Fragments_for_the_Web"
Personal tools