Readings on PML

Dear All,

As you know, we are going to present PML during our provenance meeting 
tomorrow (April 16th). We have a long list of provenance-related 
publications available at http://inference-web.org/wiki/Publications 
(PML has been around since 2003).

Please find below a categorized list of selected PML publications. We 
hope this categorization may facilitate the reading of PML publications 
that are of your interest.

PML Theory and Infrastructure
-----------------------------

* Inference Web (infrastructure in support of PML)
    o Deborah L. McGuinness and Paulo Pinheiro da Silva. Explaining
      Answers from the Semantic Web: The Inference Web Approach. Journal
      of Web Semantics. Vol.1 No.4., pages 397-413, October 2004.
      ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-04-03.pdf

    o Paulo Pinheiro da Silva, Deborah L. McGuinness and Rob McCool.
      Knowledge Provenance Infrastructure. IEEE Data Engineering
      Bulletin Vol.26 No.4, pages 26-32, December 2003.
 
http://inference-web.org/publications/debullPinheirodaSilvaMcGuinnessMcCool.pdf

    o Paulo Pinheiro da Silva and Deborah L. McGuinness and Nicholas Del
      Rio and Li Ding. Inference Web in Action: Lightweight Use of the
      Proof Markup Language, In International Semantic Web Conference,
      pp. 847-860, 2008.
      http://www.cs.utep.edu/paulo/papers/PinheirodaSilva_ISWC_2008.pdf

* PML (v1 - proof theory foundations; v2 - modular ontologies)
    o Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard
      Fikes. A Proof Markup Language for Semantic Web Services.
      Information Systems. Volume 31, Issues 4-5, June-July 2006, Pages
      381-395.
      ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-04-01.pdf

    o Deborah L. McGuinness and Li Ding and Paulo Pinheiro da silva and
      Cynthia Chang. PML 2: A Modular Explanation Interlingua. In
      Proceedings of the AAAI'07 Workshop on Explanation-Aware
      Computing, July, 2007.
      ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-07-07.pdf

* PML Primer, http://inference-web.org/2007/primer/
   (an updated version of this document is going to be published soon)

PML Applications
----------------

* PML encoding of provenance for extracted information/knowledge
    o J. William Murdock, Deborah McGuinness, Paulo Pinheiro da Silva,
      Chris Welty, and David Ferrucci. Explaining Conclusions from
      Diverse Knowledge Sources. In Proceedings of the 5th International
      Semantic Web Conference (ISWC2006), Athens, GA, USA, p. 861-872,
      November 2006.
      ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-07-07.pdf

* PML encoding of provenance for agent behavior
    o Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo
      Pinheiro da Silva. Explaining Task Processing in Cognitive
      Assistants That Learn. In Proceedings of AAAI 2007 Spring
      Symposium Interaction Challenges for Intelligent Assistants, 26-28
      March 2007, Stanford University, CA, USA.
      http://www.cs.utep.edu/paulo/papers/McGuinness_SSS_2007.pdf

* PML encoding of spatial information provenance
    o Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo
      Salayandia. Semantic Annotation of Maps Through Knowledge
      Provenance. In Proceedings of the Second International Conference
      on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November
      29-30, 2007.
      http://www.cs.utep.edu/paulo/papers/DelRio_GEOS_2007.pdf

* PML-based trust computation
    o Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness.
      IWTrust: Improving User Trust in Answers from the Web. In
      Proceedings of 3rd International Conference on Trust Management
      (iTrust2005), Springer, Rocquencourt, France, pages 384-392,
      2005.
      http://www.cs.utep.edu/paulo/papers/Zaihrayeu_iTrust_2005.pdf

* PML visualization and user interfaces
    o Nicholas Del Rio and Paulo Pinheiro da Silva. Probe-It!
      Visualization Support for Provenance. In Proceedings of the Third
      International Symposium on Visual Computing (ISVC 2007), Lake
      Tahoe, NV/CA, November 26-28, 2007.
      http://www.cs.utep.edu/paulo/papers/DelRio_ISVC_2007.pdf

    o Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah McGuinness, Li
      Ding, Cynthia Chang and Geoff Sutcliffe. User Interfaces for
      Portable Proofs. In Proceedings of 8th International Workshop On
      User Interfaces for Theorem Provers (UITP'08), Friday, 22nd August
      2008, Montreal, Quebec, Canada.
 
http://www.ags.uni-sb.de/%7Eomega/workshops/UITP08/UITP08-proceedings.pdf

Many thanks,
Paulo Pinheiro da Silva (on behalf of the Inference Web team).
http://inference-web.org/

Received on Friday, 16 April 2010 07:30:22 UTC