KSL-03-04 + redirect page
Combinable Proof Fragments for the Web + Has identifier
Combinable Proof Fragments for the Web + Ksl tr id
Combinable Proof Fragments for the Web + Number
| Combinable Proof Fragments for the Web |
Bibtype
techreport
Has publishing details
January,2003
Has title
Combinable Proof Fragments for the Web
Has where published
KSL-03-04
Has year
2003
Title
Combinable Proof Fragments for the Web
Year
2003
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 +
Has author
Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes +
Has identifier
Combinable Proof Fragments for the Web +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Combinable Proof Fragments for the Web +
Month
January +
Number
Combinable Proof Fragments for the Web +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
