International Provenance and Annotation Workshop

IPAW 2010: Provenance and Annotation of Data and Processes pp 274-276

Browsing Proof Markup Language Provenance: Enhancing the Experience

  • Nicholas Del Rio
  • Paulo Pinheiro da Silva
  • Hugo Porras
Conference paper

DOI: 10.1007/978-3-642-17819-1_31

Volume 6378 of the book series Lecture Notes in Computer Science (LNCS)

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.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Nicholas Del Rio
    • 1
  • Paulo Pinheiro da Silva
    • 1
  • Hugo Porras
    • 1
  1. 1.Computer ScienceThe University of Texas at El PasoEl PasoUSA