Abstract
Probe-It! is a browser that allows users to navigate through Proof Markup Language (PML) based provenance traces by interacting with a number of different perspectives or views [1]. These views provide specific renderings or presentations for the different kinds of provenance information defined in the PML ontology [2]. Throughout our three year experience with Probe-It! we have gathered requirements from users who have a need for browsing PML captured from theorem provers in the Thousands of Problems for Theorem Provers (TPTP) and Homeland Security domains as well as from scientific processes in areas such as solar astronomy, seismology, and environmental science. This paper briefly describes the enhancements made to Probe-It! to improve usability and performance with regards to visualization.
Chapter PDF
Similar content being viewed by others
References
del Rio, N., da Silva, P.P.: Probe-it! visualization support for provenance. In: Proceedings of the Second International Symposium on Visual Computing (ISVC 2), Lake Tahoe, NV, pp. 732–741. Springer, Heidelberg (2007)
McGuinness, D., Ding, L., da Silva, P.P., Chang, C.: PML2: A Modular Explanation Interlingua. In: Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 22-23 (2007)
McGuinness, D.L., da Silva, P.P.: Inference Web: Portable and Sharable Explanations for Question Answering. In: Proc. of the AAAI Spring Symposium Workshop on New Directions for Question Answering, Stanford, CA, USA, March 2003, pp. 67–71. AAAI Press, Menlo Park (2003)
Trac, S., Puzis, Y., Sutcliffe, G.: An interactive derivation viewer. In: Proceedings of the 7th Workshop on Workshop on User Interfaces for Theorem Provers, 3rd International Joint Conference on Automated Reasoning. Electronic Notes in Theoretical Computer Science, vol. 174, pp. 109–123 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Del Rio, N., da Silva, P.P., Porras, H. (2010). Browsing Proof Markup Language Provenance: Enhancing the Experience. In: McGuinness, D.L., Michaelis, J.R., Moreau, L. (eds) Provenance and Annotation of Data and Processes. IPAW 2010. Lecture Notes in Computer Science, vol 6378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17819-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-17819-1_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17818-4
Online ISBN: 978-3-642-17819-1
eBook Packages: Computer ScienceComputer Science (R0)