A Proof Markup Language for Semantic Web Services
Authors
Pinheiro, Paulo
McGuinness, Deborah L.
Fikes, Richard
ORCID
No Thumbnail Available
Other Contributors
Issue Date
2006-07-01
Keywords
Inference Web
Degree
Terms of Use
Full Citation
Abstract
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 ser- vices. 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 founda- tion for hybrid reasoning where results are produced cooperatively by multiple reasoners. Our contributions in this paper focus on technologi- cal foundations for capturing formal representations of term meaning and justification descriptions thereby facilitating trust and reuse of answers from web agents.
Description
pages 381 - 395
Department
Publisher
Information Systems
Relationships
https://tw.rpi.edu/project/InferenceWeb