Inference Web in Action: Lightweight Use of the Proof Markup Language

  • Paulo Pinheiro da Silva
  • Deborah McGuinness
  • Nicholas Del Rio
  • Li Ding
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5318)


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.


Directed Acyclic Graph Inference Engine Simple Object Access Protocol Provenance Information Inference Step 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Dean, M., Schreiber, G.: OWL web ontology language reference. Technical report, W3C (2004)Google Scholar
  2. 2.
    Del Rio, N., Pinheiro da Silva, P.: Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization. Technical Report UTEP-CS-07-43a, The University of Texas at El Paso (June 2007)Google Scholar
  3. 3.
    Del Rio, N., Pinheiro da Silva, 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)Google Scholar
  4. 4.
    Del Rio, N., Pinheiro da Silva, P., Gates, A.Q., Salayandia, L.: Semantic annotation of maps through knowledge provenance. In: Proceedings of the Second International Conference on Geospatial Semantics (GeoS), Mexico City, Mexico. LNCS, pp. 20–35. Springer, Heidelberg (2007)Google Scholar
  5. 5.
    Ding, L., Finin, T., Joshi, A., Pan, R., Cost, R.S., Peng, Y., Reddivari, P., Doshi, V.C., Sachs, J.: Swoogle: A search and metadata engine for the semantic web. In: Proceedings of the 13th CIKM (2004)Google Scholar
  6. 6.
    Freire, J., Silva, C.T., Callahan, S.P., Santos, E., Scheidegger, C.E., Vo, H.T.: Managing Rapidly-Evolving Scientific Workflows. In: Proceedings of the International Provenance and Annotation Workshop (IPAW) (to appear)Google Scholar
  7. 7.
    Ludas̈cher, B., et al.: Scientific Workflow Management and the Kepler System. In: Concurrency and Computation: Practice & Experience (2005); Special Issue on Scientific Workflows Google Scholar
  8. 8.
    MacEachren, A., Robinson, A., Hopper, S., Gardner, S., Murray, R., Gahegan, M., Hetzler, E.: Visualizing Geospatial Information Uncertainty: What We Know and What We Need to Know. Cartography and Geographic Information Science 32(32), 139–160 (2005)CrossRefGoogle Scholar
  9. 9.
    McGuinness, D.L., Pinheiro da Silva, P.: Infrastructure for Web Explanations. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 113–129. Springer, Heidelberg (2003)Google Scholar
  10. 10.
    McGuinness, D.L., Pinheiro da Silva, P.: Explaining Answers from the Semantic Web. Journal of Web Semantics 1(4), 397–413 (2004)CrossRefGoogle Scholar
  11. 11.
    Murdock, J.W., McGuinness, D.L., Pinheiro da Silva, P., Welty, C., Ferrucci, D.: Explaining Conclusions from Diverse Knowledge Sources. In: Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, GA, November 2006, pp. 861–872. Springer, Heidelberg (2006)Google Scholar
  12. 12.
    Pinheiro da Silva, P., McGuinness, D.L., Fikes, R.: A Proof Markup Language for Semantic Web Services. Information Systems 31(4-5), 381–395 (2006)CrossRefGoogle Scholar
  13. 13.
    Pinheiro da Silva, P., McGuinness, D.L., McCool, R.: Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin 25(2), 179–227 (2003)Google Scholar
  14. 14.
    Widom, J.: Trio: A System for Integrated Management of Data, Accuracy, and Lineage. In: Proceedings of the Second Biennial Conference on Innovative Data Systems Research, Asilomar, CA, January 2005, pp. 262–276 (2005)Google Scholar
  15. 15.
    Zhao, J., Wroe, C., Goble, C.,, R.S.: Using Semantic Web Technologies for Representing E-science Provenance. In: Proceedings of the 3rd International Semantic Web Conference, pp. 92–106 (November 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Paulo Pinheiro da Silva
    • 1
  • Deborah McGuinness
    • 2
  • Nicholas Del Rio
    • 1
  • Li Ding
    • 2
  1. 1.University of Texas at El PasoEl PasoUSA
  2. 2.Rensselaer Polytechnic InstituteTroyUSA

Personalised recommendations