- From: Paulo Pinheiro da Silva <paulo@utep.edu>
- Date: Thu, 15 Apr 2010 11:39:19 -0600
- To: "public-xg-prov@w3.org" <public-xg-prov@w3.org>
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