Swoogle: a search and metadata engine for the semantic web
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Scientific workflow management and the Kepler system: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
A proof markup language for Semantic Web services
Information Systems
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic annotation of maps through knowledge provenance
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Probe-it!: visualization support for provenance
ISVC'07 Proceedings of the 3rd international conference on Advances in visual computing - Volume Part II
Explaining conclusions from diverse knowledge sources
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Managing rapidly-evolving scientific workflows
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Linked provenance data: A semantic Web-based approach to interoperable workflow traces
Future Generation Computer Systems
Linking justifications in the collaborative semantic web applications
Proceedings of the 21st international conference companion on World Wide Web
Hi-index | 0.01 |
The Inference Web infrastructure for web explanations together with its underlying Proof Markup Language (PML) for encoding justification and provenance information has been used in multiple projects varying from explaining the behavior of cognitive agents to explaining how knowledge is extracted from multiple sources of information in natural language. The PML specification has increased significantly since its inception in 2002 in order to accommodate a rich set of requirements derived from multiple projects, including the ones mentioned above. In this paper, we have a very different goal than the other PML documents: to demonstrate that PML may be effectively used by simple systems (as well as complex systems) and to describe lightweight use of language and its associated Inference Web tools. We show how an exemplar scientific application can use lightweight PML descriptions within the context of an NSF-funded cyberinfrastructure project. The scientific application is used throughout the paper as a use case for the lightweight use of PML and the Inference Web and is meant to be an operational prototype for a class of cyberinfrastructure applications.