Publications
From Inference Web
Contents |
Selected References
Inference Web
- 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. (Abstract) (PDF)
- 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. (PDF)
- 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.
PML
- 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. (Abstract) (PDF)
- 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. (Abstract) (PDF) -- PML2
For a complete collection of referred inference web publications, please follow this link
Journal Articles
- Paulo Pinheiro da Silva, 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. Previous version, technical report, Knowledge Systems Laboratory, Stanford University. (Abstract) (PDF)
- 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. (Abstract) (PDF)
- 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. (PDF)
Conference Publications and Book Chapters
- Li Ding and Tim Finin, Characterizing the Semantic Web on the Web, The 5th International Semantic Web Conference(ISWC2006), Athens, Georgia, USA, November 5th - 9th, 2006. (PDF) (PPT)
- J. William Murdock, Deborah L. McGuinness, Paulo Pinheiro da Silva, Christopher Welty and David Ferrucci. Explaining Conclusions from Diverse Knowledge Sources. The 5th International Semantic Web Conference(ISWC2006), Athens, Georgia, USA, November 5th - 9th, 2006. (Abstract) (PDF) (PPT)
- Vasco Furtado, Paulo Pinheiro da Silva, and Deborah L. McGuinness. WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering. San Francisco, CA, July 5-7, 2006. SEKE2006.
- Christopher Welty, J. William Murdock, Paulo Pinheiro da Silva, Deborah L. McGuinness, David Ferrucci, Richard Fikes. Tracking Information Extraction from Intelligence Documents. In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), McLean, VA, USA, 2-6 May, 2005. (DOC)
- Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Heraklion, Greece, May 29 to June 1, 2005 Springer, 2005. (Abstract) (PDF)
- Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, 2005. (Abstract) (PDF)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Trusting Answers from Web Applications. In Mark T. Maybury, editor, New Directions in Question Answering. Chapter 21, AAAI/MIT Press, October 2004. (PDF) (PS)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Infrastructure for Web Explanations. In Proceedings of 2nd International Semantic Web Conference (ISWC2003), D. Fensel, K. Sycara and J. Mylopoulos (Eds.), LNCS 2870, Sanibel Is., FL, USA. Springer, pages 113-129, October 2003. (Abstract) (PDF) (PS)
Refereed Workshop Publications
- Deborah L. McGuinness. Ontologies are Everywhere - Now What?. Keynote presentation for ARCOE 2009 - Automated Reasoning, Context and Ontology Evolution - co-located with IJCAI 2009, Pasadena, CA, July 12, 2009.
- James R. Michaelis, Li Ding, Deborah L. McGuinness. Towards the Explanation of Workflows. In proceedings of ExaCt 2009, Pasadena, CA, July 11, 2009. (PDF) (PPT)
- Deborah L. McGuinness. Explaining Complex Systems. Semantic e-Science Workshop co-located with the Association for the Advancement of Artificial Intelligence Conference, Vancouver, British Columbia, Canada, July 23, 2007. (PPT)
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro da Silva. A Categorization of Explanation Questions for Task Processing Systems. AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 2007. (Abstract) (PPT)
- Deborah L. McGuinness, Li Ding, Paulo Pinheiro da silva, Cynthia Chang. PML 2: A Modular Explanation Interlingua. AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 2007. (Abstract) (PPT)
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn. Proceedings of the AAAI 2007 Spring Symposium on Interaction Challenges for Intelligent Assistants, March 2007. (Abstract) (PDF)
- Deborah L. McGuinness, Li Ding, Alyssa Glass, Cynthia Chang, Honglei Zeng and Vasco Furtado. Explanation Interfaces for the Semantic Web: Issues and Models. Presented in the 3rd International Semantic Web User Interaction Workshop(SWUI'06), Co-located with the International Semantic Web Conference, Athens, Georgia, USA, November 6, 2006. (Abstract) (PDF) (PPT) (Poster)
- Deborah L. McGuinness, Honglei Zeng, Paulo Pinheiro da Silva, Li Ding, Dhyanesh Narayanan, and Mayukh Bhaowal. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study. WWW2006 Workshop on the Models of Trust for the Web (MTW'06), Edinburgh, Scotland, May 22, 2006. (Abstract) (PDF) (PPT)
- Daniel J. Weitzner, Hal Abelson, Tim Berners-Lee, Chris P. Hanson, Jim Hendler, Lalana Kagal, Deborah L. McGuinness, Gerald J. Sussman, K. Krasnow Waterman. Transparent Accountable Inferencing for Privacy Risk Management. Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment. AAAI Press, Stanford University, USA 2006. Also available as MIT CSAIL Technical Report-2006-007 and Stanford KSL Technical Report KSL-06-03. (Abstract) (PDF)
- Andrew. J. Cowell, Deborah L. McGuinness, Carrie F. Varley, and David A. Thurman. Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems. In the Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), Sydney, Australia. (Abstract) (PDF)
- J. William Murdock, Paulo Pinheiro da Silva, David Ferrucci, Christopher Welty and Deborah L. McGuinness. Encoding Extraction as Inferences. In Proceedings of AAAI Spring Symposium on Metacognition on Computation, AAAI Press, Stanford University, USA, pages 92-97, 2005. (Abstract) (PDF)
- Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro da Silva. Towards Explaining Semantic Matching. In 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, CEUR Workshop Proceedings Vol. 104, 2004. (PDF)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Registry-Based Support for Information Integration. In Proceedings of IJCAI-2003's Workshop on Information Integration on the Web (IIWeb-03), S. Kambhampati and C. Knoblock (Eds.), Acapulco, Mexico, pages 117-122 August 2003. (Abstract) (PDF)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Shareable Explanations for Question Answering. In Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA. pages 67-71, AAAI Press, March 2003. (Abstract)
- Deborah L. McGuinness. Knowledge Representation for Question Answering. In Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA. pages 75-77, AAAI Press, March 2003. (Abstract)
Other Publications
Technical Reports
- Deborah L. McGuinness, Paulo Pinheiro da Silva, J. William Murdock and David Ferrucci. Exposing Extracted Knowledge Supporting Answers. Technical Report KSL-05-03, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract)
- Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, and Deborah L. McGuinness. Explaining Problem Solver Answers. Technical Report KSL-05-02, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract)
- Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness, Richard Fikes and Priyendra Deshwal. Towards Checking Hybrid Proofs. Technical Report KSL-05-01, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Cynthia Chang. IWBase: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract)
- Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness and Richard Fikes. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract)Â
- Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract)Â
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable Explanations for the Web. Technical Report KSL-03-02, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract)Â
Posters
- Deborah L. McGuinness, Alyssa Glass, and Michael Wolverton. Toward Establishing Trust in CALO. DARPA CALO PI Meeting, Menlo Park, CA, USA, February 2008. (PPT)
- Deborah L. McGuinness, Alyssa Glass, and Michael Wolverton. Explaining Cognitive Assistants that Learn: CALO Year 3 ICEE Advances DARPA CALO PI Meeting, Menlo Park, CA, USA, January 2007. (PDF)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Alyssa Glass, and Michael Wolverton. Explainable Cognitive Assistants. DARPA CALO PI Meeting, Menlo Park, CA, USA, October 2005. (PPT) (PDF)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes et al. Inference Web: OWL-Based Support for Proofs. DARPA DAML PI Meeting, San Antonio, TX, USA, November 2004. (PPT)
- Daniel J. Mandell, Sheila McIlraith, Deborah L. McGuinness and Paulo Pinheiro da Silva. BPEL4WS : An Explainable Dynamic Discovery and Translation Service. DARPA DAML PI Meeting, San Antonio, TX, USA, November 2004. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Priyendra Deshwal Towards Explaining CALO-QM Answers. DARPA CALO PI Meeting, SRI International, Menlo Park, CA, USA, May 2004. (PPT)
- Deborah McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Cynthia Chang, Priyendra Deshwal, Baloglu Kaan, Jessica Jenkins. Inference Web: OWL-Based Support for Proofs. DARPA DAML PI Meeting, New York, NY, USA, May 2004. (PPT)
- Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness. Explanations for Semantic Heterogeneity Discovery. In International Semantic Web Conference 2004, Hiroshima, Japan, November 2004. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins, Bill MacCartney, Rob McCool and Natasha Noy. Scaling Answer Explanations for the Semantic Web. DARPA DAML PI Meeting, Oct 2003, Captiva Island, FL, USA. (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva Registry-Based Support for Information Integration. Proceedings of IJCAI-2003's Workshop on Information Integration on the Web (IIWeb-03), Acapulco, Mexico, August 2003. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins, Bill MacCartney, Gleb Frank and Rob McCool. Inference Web: Portable and Sharable Proofs for Hybrid Systems. DARPA RKF PI Meeting, May 2003, San Diego, CA, USA. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins and Gleb Frank. Inference Web: Portable and Sharable Explanations for Question Answering. AAAI Spring Symposium Workshop on New Directions for Question Answering, March 2003. Stanford University, Stanford, CA, USA. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins and Gleb Frank. Inference Web: Explanations on the Semantic Web. DARPA DAML PI Meeting, October 2002, Portland, OR, USA. (PPT)
Presentations
- James Michaelis, Li Ding, Deborah McGuinness. Towards the Explanation of Workflows. Presented at ExaCt 2009, Pasadena, CA, July 11, 2009. (PPT)
- Deborah McGuinness, Li Ding. Explanation in GILA Phase II. Presented at the DARPA Integrated Learning PI Meeting, Washington DC., January 15, 2008. (PPT)
- Deborah McGuinness, Alyssa Glass, Michael Woverton. Explaining Cognitive Assistants that Learn. Presented at the DARPA PAL Cognitive Assistant that Learns PI Meeting in the Process Execution Assistant Meeting. SRI International, Menlo Park, CA., January 22, 2007. (PPT)
- Li Ding, Enhancing Web-scale Semantic Web Data Access, logic group meeting, Stanford, CA, Nov 15, 2006. (PPT)
- Li Ding, Deborah L. McGuinness, Tim Finin, Anupam Joshi. Semantic Web Technologies: A Tutorial. Kodak Research Laboratories, Rochester, NY, July 18, 2006. (Abstract) (PPT)
- Deborah L. McGuinness, Li Ding, Cynthia Chang, Vasco Furtado. Explanation Infrastructure Supporting Transparency and Accountability. *Portia*/*Tami* Workshop on Privacy and Accountability, MIT, Cambridge Mass., June 28, 2006. (PPT)
- Alyssa Glass. Explaining Task Processing in Cognitive Agents. Presented to Stanford Logic Lunch, March 22, 2006. (PPT)
- Deborah McGuinness, Paulo Pinheiro da Silva, Cynthia Chang, Bill Millar, Li Ding, Dhyanesh Narayanan, Honglei Zeng, Mayukh Bhaoval, Selene Makarios, Richard Fikes, Andrew Cowell, Dave Thurman, Alan Chappell, Liam McGrath, Bill Murdock, Chris Welty, Dave Ferrucci. Towards Trustable, Explainable Answers from Intelligence Tools. Final NIMD Site Visit, Seattle Washington, March 15, 2006. (PPT)
- Deborah McGuinness, Paulo Pinheiro da Silva, Cynthia Chang, Bill Murdock. Recording Provenance for UIMA Components. UIMA Working Group Meeting, IBM Watson Research Center in Hawthorne, NY., Nov 10, 2005. (PPT)
- Deborah McGuinness, Paulo Pinheiro da Silva, Cynthia Chang, Bill Millar, Li Ding, Dhyanesh Narayanan, Selene Makarios, Richard Fikes, Alan Chappell, Liam McGrath, Bill Murdock. Explaining KANI Answers. NIMD Site Visit, Stanford California, Nov 1, 2005. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Li Ding, Cynthia Chang. Enabling Explanations: The Inference Web and PML Approach. MIT Notions and Notations Invited Presenation, Cambridge, Mass. October 26, 2005. (PPT)
- Deborah L. McGuinness. Next Generation Knowledge Systems. Research Topics Seminar, Stanford, CA. October 19, 2005. (PPT)
- Deborah L. McGuinness. Increasing Trust in Answers from Intelligence Applicaions: The Inference Web Approach. Invited Talk, Pacific Northwest Research Center, Richland, Washington, August 5, 2005. (PPT)
- Deborah L. McGuinness. Increasing Trust in Answers from Intelligence Applicaions: The Inference Web Approach. Transparent Accountable Data Mining Kickoff Meeting, Cambridge Mass, August, 2005. (PPT)
- Paulo Pinheiro da Silva. Explainable Systems: The Inference Web Approach. Invited Talk, Knowledge Media Institute, Open University, Milton Keynes, UK, 2005. (PPT)
- Deborah L. McGuinness. Why Should You Trust Answers from the Web. Invited talk for the Joint Conference on Information Sciences,Web Intelligence and Security Track, Salt Lake City, Utah, July 23, 2005. A paper accompanies this talk. (PPT)
- Deborah L. McGuinness. Next Generation Scientific Digital Libraries: (or The Semantic Web and Digital Libraries as Knowledge Systems). Invited talk for Digital Libraries: Cyberinfrastructure for Research and Education (JCDL2005). International Scientific Data, Standards, and Digital Libraries Track. Denver, Colorado, June 11, 2005. (PPT)
- Deborah L. McGuinness. Semantically-Enabled Explanations of Text Analysis Results. Invited talk for the Department of Homeland Security Advanced Scientific Computing Program Text Analysis Workshop, Alexandria, Virginia, May 25, 2005. (PPT)
- Deborah L. McGuinness. The Substance of the Semantic Web. Invited talk for the Semantic Web Applications for National Security. Washington, DC, April 7, 2005.
- Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, 2005. (PPT)
- Deborah L. McGuinness, Dan Mandell, Sheila Mcllraith, Paulo Pinheiro da Silva. Explainable Semantic Discovery Services. Stanford Networking Research Center Project Review, February 17, 2005, Stanford, CA (PPT)
- Deborah McGuinness, Richard Fikes, Sheila Mcllraith, Paulo Pinheiro da Silva. Tools for DAML-Based Service, Document Templates, and Query Answering, DARPA DAML PI Meeting, San Antonio, TX, November 30, 2004. (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. OWL-Based Proofs and Explanations for Answers from Semantic Web Applications & Services, DARPA DAML PI Meeting, San Antonio, TX, November, 2004. (PPT)
- Daniel J. Mandell, Deborah L. McGuinness, Sheila Mcllraith and Paulo Pinheiro da Silva. Explainable Semantic Discovery Services, DARPA DAML PI Meeting, San Antonio, TX, November, 2004. (PPT)
- Deborah McGuinness. Explaining Information. New Paradigms in Using Computers , Amaden, CA. August 4, 2004. (PPT)
- Paulo Pinheiro da Silva and Deborah L. McGuinness. Inference Web: Infrastructure for Web Explanations. UFMG, Belo Horizonte, MG, Brazil, August 2004. (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Increasing Trust of Text Analytics Results (or Explanation of UIMA using Inference Web) DARPA Unstructured Information Management Architecture workshop. Palisades NY June 17-18, 2004 (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Explanation Infrastructure for KANI ARDA NIMD, IBM Site Visit, Hawthorn, NY, USA. February 2004. (PPT) (Demo)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Explanation Infrastructure for KANI ARDA NIMD, Stanford University Site Visit, Stanford, CA, USA. February 2004. (PPT)
- Deborah L. McGuinness and Richard Fikes. DAML Query. DARPA DAML PI Meeting, Capitiva Island, FL, USA. October 2003. (PPT)
- Deborah L. McGuinness, Paulo Pinheiro da Silva and Bill MacCartney. Inference Web: Portable and Sharable Proofs for Hybrid Systems. DARPA RKF PI Meeting, May 2003, San Diego, CA, USA. (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Explanations in Support of NIMD: Inference Web. ARDA NIMD Site Visit, April 16 2003, Stanford, CA, USA. (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Sharable Explanations for Question Answering. AAAI Spring Symposium Workshop on New Directions for Question Answering, March 2003. Stanford University, Stanford, CA, USA. (PPT)
- Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: A Path to Interperable, Trustable, and Understandable Reasoning Systems. DARPA RKF PI Meeting, November 13-15 2002, Hilton Head, NC, USA. (PPT)
- Deborah L. McGuinness. Explanation for Query Answering. American Association for Artificial Intelligence Spring Symposium Series Meeting on Mining Answers from Texts and Knowledge Bases. March 26, 2002. (PPT)
- Deborah L. McGuinness. Explanation for Query Answering. DARPA RKF PI Meeting, February 27 - March 1, 2002, USA. (PPT)

