MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Reconstruction Proofs at the Assertion Level
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Explaining reasoning in description logics
Explaining reasoning in description logics
Natural Language Engineering
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Inference Web in Action: Lightweight Use of the Proof Markup Language
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Explanation in the DL-Lite Family of Description Logics
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Probe-it!: visualization support for provenance
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part II
On the use of abstract workflows to capture scientific process provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
W3P: Building an OPM based provenance model for the Web
Future Generation Computer Systems
Mapping attribution metadata to the Open Provenance Model
Future Generation Computer Systems
Towards knowledge acquisition from information extraction
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Explaining conclusions from diverse knowledge sources
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Formal verification of data provenance records
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
A provenance-based approach to evaluate data quality in eScience
International Journal of Metadata, Semantics and Ontologies
Hi-index | 0.00 |
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept and trust a result produced by perhaps an unfamiliar Web service, the result needs to be accompanied by a justification that is understandable and usable by the client. In this paper, we describe the proof markup language (PML), an interlingua representation for justifications of results produced by Semantic Web services. 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 where results are produced cooperatively by multiple reasoners. 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.