]> 2012-02-10T15:16:47-05:00 Combinable proof fragments for the web 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. techreport KSL-03-04 KSL-03-04 Combinable Proof Fragments for the Web KSL-03-04 2003 Year Tr id Title Computer science Tag Media:KSL-03-04.pdf Paper Number January Month Key Knowledge Systems, AI Laboratory, Stanford University Institution Bibtype Richard Fikes Deborah L. McGuinness Paulo Pinheiro da Silva Author Abstract KSL Technical Report Publication Technical Report