Publications

From Inference Web

Contents 1 Selected References 2 Refereed Publications 2.1 Journal Articles 2.2 Conference Publications and Book Chapters 2.3 Refereed Workshop Publications 3 Other Publications 3.1 Technical Reports 3.2 Posters 3.3 Presentations

Selected References

This is a selection of PML-related publications highlighting key PML features and applications.

PML Theory and Infrastructure

• Inference Web (infrastructure in support of PML)
  • 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. 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 Proof Markup Language, In International Semantic Web Conference, pp. 847-860, 2008. PDF

• PML (v1 - proof theory foundations; v2 - modular ontologies)
  • 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. 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. 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
  • 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. PDF

• PML encoding of provenance for agent behavior
  • 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. PDF

• PML encoding of spatial information provenance
  • 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. PDF

• PML-based trust computation
  • 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. PDF

• PML visualization
  • 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. PDF

• • 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. PDF

• PML and TPTP
  • Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness,Paulo Pinheiro da Silva, Different Proofs are Good Proofs, ESM-QMS workshop, 2010. PDF

Refereed Publications

Journal Articles

• Ding, L., Lebo, T., Erickson, J., DiFranzo, D., Williams, G.T., Li, X., Michaelis, J., Graves, A., Zheng, J., Shangguan, Z., Flores, J., McGuinness, D.L., and Hendler, J. 2011. TWC LOGD: A Portal for Linked Open Government Data Ecosystems. Journal of Web Semantics, Volume 9, Number 3, Pages 1-11.

• Ding, L., Michaelis, J., McCusker, J., and McGuinness, D.L. 2011. Linked provenance data: A semantic Web-based approach to interoperable workflow traces. Future Generation Computer Systems, Volume 27, Issue 6, June 2011, Pages 797-805.

• 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. (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. (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)
• Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro da Silva, and Michael Wolverton. Trustable Task Processing Systems. In Roth-Berghofer, T., and Richter, M.M., editors, KI Journal, Special Issue on Explanation, Kunstliche Intelligenz, 2008. (PDF)
• Paulo Pinheiro da Silva, Leonardo Salayandia, Aida Gandara, Ann Q. Gates. CI-Miner: Semantically Enhancing Scientific Processes. In Earth Science Informatics, 2(4): 249-269, 2009. (PDF)

Conference Publications and Book Chapters

• Sutcliffe, G., Chang, C., McGuinness, D.L., Lebo, T., Ding, L., and Pinheiro da Silva, P. 2011. Combining Proofs to form Different Proofs. In Proceedings of PxTP-2011 First Workshop on Proof eXchange for Theorem Proving of the CADE – the 23rd International Conference on Automated Deduction (August 1 2011).

• McGuinness, D.L., Shaikh, A.R., Moser, R., Hesse, B.W., Morgan, G.D., Augustson, E.M., Hunt, Y., Tatalovich, Z., Willis, G., Blake, K., Courtney, P., Finney, L., Sanders, A., Ding, L., Lebo, T., McCusker, J., Contractor, N., Huang, Y., and Devlin, H. 2011. A Semantically-enabled Community Health Portal for Cancer Prevention and Control. In Proceedings of Web Science Conference 2011 (June 15-17 2011, Koblenz, Germany).

• Ding, L., Shinavier, J., Shangguan, Z., and McGuinness, D.L. 2010. Networks and Beyond: Analyzing Deployment Status and Implications of owl:sameAs in Linked Data SameAs Networks and Beyond: Analyzing Deployment Status and Implications of owl:sameAs in Linked Data. In Proceedings of ISWC 2010 (November 7-11 2010, Shanghai, China).

• Tao, J. 2010. Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation. In Proceedings of ISWC 2010 (November 7-11 2010, Shanghai, China).

• Tao, J., Sirin, E., Bao, J., and McGuinness, D.L. 2010. Integrity Constraints in OWL. In Proceedings of AAAI 2010 (July 11-15 2010).

• Zhangy, X., Yoon, S., DiBona, P., Appling, D., Ding, L., Doppa, J., Greenyy, D., Guo, J., Kuter, U., Levine, G., MacTavish, R., McFarlane, D., Michaelis, J., Mostafa, H., Ontanon, S., Parker, C., Radhakrishnan, J., Rebgunsyy, A., Shresthay, B., Song, Z., Trewhitt, E., Zafar, H., Zhang, C., Corkill, D., DeJong, G., Dietterich, T., Kambhampati, S., Lesser, V., McGuinness, D.L., Ram, A., Spearsyy, D., Tadepalli, P., Whitaker, E., Wong, W., Hendler, J., Hofmann, M., and Whitebread, K. 2009. An Ensemble Learning and Problem Solving Architecture for Airspace Management. In Proceedings of Twenty-First Innovative Applications of Artificial Intelligence Conference (July 14-16 2009).

• Tao, J., Ding, L., Bao, J., and McGuinness, D.L. 2009. Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems. In Proceedings of 42nd Hawaii International Conference on Systems Science (January 5-8 2009).

• Michaelis, J., Ding, L., and McGuinness, D.L. 2008. The TW Wine Agent: A Social Semantic Web Demo. In Proceedings of ISWC 2008 (October 26-30 2008, Karlsruhe, Germany).

• Fox, P., McGuinness, D.L., Garcia, J., Zednik, S., and Ding, L. 2008. Semantic Provenance for Image Data Processing. In Proceedings of Geoinformatics 2008 (June 11-13 2008).

• Ding, L., Tao, J., and McGuinness, D.L. 2008. An Initial Investigation on Evaluating Semantic Web Instance Data. In Proceedings of WWW 2008 (April 21-25 2008, Beijing, China), pp. 1179-1180.

• 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. (PDF)
• 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. (PDF)

• Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro, & Cynthia Chang. Abstracting Web Agent Proofs into Human-Level Justifications, the 20th International FLAIRS Conference (FLAIRS-20), Key West, Florida, USA, May 7th - 9th, 2007. (PDF)(DOC)

• 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)
• Zeng, H., Alhossaini, M., Ding, L., Fikes, R., and McGuinness, D.L. 2006. Computing Trust from Revision History. In Proceedings of PST 2006 (October 30-November 1 2006, Markham, Ontario, Canada).

• 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.

• Ding, L., Finin, T.W., Peng, Y., Pinheiro da Silva, P., and McGuinness, D.L. 2005. Tracking RDF Graph Provenance using RDF Molecules. In Proceedings of ISWC 2005 (November 6-10 2005, Galway, Ireland).

• 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

• Sutcliffe, G. and Chang, C. and McGuinness, D. and Ding, L. and Lebo, T. and Pinheiro da Silva, P. Combining Proofs to form Different Proofs, in Proceedings of the 1st Workshop on Proof eXchange for Theorem Proving. eds. Fontaine, P. and Stump, A. 2011 PDF

• Bao, J., Ding, L., and McGuinness, D.L. 2010. Contextualized RDF Importing. In Proceedings of W3C Workshop on RDF Next Steps (June 26-27 2010June 26-27 2010, Palo Alto, CA).

• Sutcliffe, G., Chang, C., Ding, L., McGuinness, D.L., and Pinheiro da Silva, P. 2010. Different Proofs are Good Proofs. In Proceedings of EMS+QMS 2010 of the IJCAR 2010 (July 20 2010, Edinburgh, UK).

• Stephan Zednik, Peter Fox, and Deborah McGuinness, System Transparency, Or How I Learned to Worry about Meaning and Love Provenance!, in Proceedings of the Third International Provenance and Annotation Workshop (IPAW) at Troy, NY 2010 PDF
• Xian Li, Timothy Lebo, and Deborah McGuinness, Provenance-Based Strategies to Develop Trust in Semantic Web Applications, in Provenance and Annotation of Data and Processes, vol. 6378, Lecture Notes in Computer Science (Springer Berlin / Heidelberg, 2010), 182-197, http://dx.doi.org/10.1007/978-3-642-17819-1_21.
• Michaelis, J. and McGuinness, D.L. 2010. Towards Provenance Aware Comment Tracking for Web Applications. In Proceedings of 3rd International Provenance and Annotation Workshop (June 15-16 2010, ).

• McCusker, J. and McGuinness, D.L. 2010. Provenance of High Throughput Biomedical Experiments. In Proceedings of 3rd International Provenance and Annotation Workshop (June 15-16 2010, ).

• Ding, L., Bao, J., Michaelis, J., Zhao, J., and McGuinness, D.L. 2010. Reflections on Provenance Ontology Encodings. In Proceedings of 3rd International Provenance and Annotation Workshop (June 15-16 2010, ).

• Li, X., Lebo, T., and McGuinness, D.L. 2010. Provenance-Based Strategies to Develop Trust in Semantic Web Applications. In Proceedings of 3rd International Provenance and Annotation Workshop (June 15-16 2010, ), pp. 182-197.

• Tao, J., Sirin, E., Bao, J., and McGuinness, D.L. 2010. Extending OWL with Integrity Constraints. In Proceedings of Description Logics Workshop 2010 (May 4-7 2010, Waterloo, Canada).

• Ding, L., Shinavier, J., Finin, T.W., and McGuinness, D.L. 2010. owl:sameAs and Linked Data: An Empirical Study. In Proceedings of Web Science Conference 2010 (April 26-27 2010, Raleigh, North Carolina).

• Ding, L., Michaelis, J., McGuinness, D.L., and Hendler, J. 2010. Making Sense of Open Government Data. In Proceedings of Web Science Conference 2010 (April 26-27 2010, Raleigh, North Carolina).

• Ding, L., Waterman, K.K., Bao, J., Kagal, L., and McGuinness, D.L. 2009. Towards a Semantic Web Testbed for Collaborative Policy Development. In Proceedings of Web Science Conference 2010 (April 26-27 2010, Raleigh, North Carolina).

• Ding, L., DiFranzo, D., Graves, A., Michaelis, J., Li, X., McGuinness, D.L., and Hendler, J. 2010. Data-govWiki: Towards Linking Government Data. In Proceedings of AAAI 2010 Spring Symposium of the AAAI 2010 (March 22-24 2010March 22-24 2010March 22-24 2010March 22-24 2010, Palo Alto, California, US).

• Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, and Ann Q. Gates. On the Use of Abstract Workflows to Capture Scientific Process Provenance, In The 2nd Workshop on the Theory and Pratice of Provenance (TaPP'10) at USENIX, San Jose, CA, February 2010.

• Michaelis, J., Ding, L., Shangguan, Z., Zednik, S., Huang, R., Pinheiro da Silva, P., Rio, N., and McGuinness, D.L. 2009. Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies Using PML. In Proceedings of First International Workshop on the role of Semantic Web in Provenance Management (October 25 2009).

• Sirin, E. and Tao, J. 2009. Towards Integrity Constraints in OWL. In Proceedings of OWLED 2009 (October 23-24 2009, ).

• Nicholas Del Rio, Paulo Pinheiro da Silva, Raed Aldouri. Identifying and Explaining Map Quality Through Provenance: A User Study. In Proceedings of IJCAI 2009 Workshop on Explanation-Aware Computing (ExACT 2009), Pasadena, CA, USA, July 11-13, 2009.
• 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) (<script src='http://www.google-analytics.com/ga.js' type='text/javascript'></script>wiki/File:Exact2009_JamesMichaelis.ppt PPT)

• Bao, J., Ding, L., and McGuinness, D.L. 2010. Semantic History: Towards Modeling and Publishing Changes of Online Semantic Data. In Proceedings of 2nd Annual Social Data on the Web Workshop (October 25 2009, Washington, DC).

• McGuinness, D.L., Fox, P., Pinheiro da Silva, P., Zednik, S., Rio, N., Ding, L., West, P., and Chang, C. 2008. Annotating and embedding provenance in science data repositories to enable next generation science applications. In Proceedings of AGU Fall Meeting 2008 (December 15-19 2008, San Francisco, CA).

• Paulo Pinheiro da Silva, Vladik Kreinovich, and Christian Servin. Maximum Entropy in Support of Semantically Annotated Datasets. In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'08), 2008, Karlsruhe, Germany. (PDF)
• Paulo Pinheiro da Silva, Nicholas Del Rio, Vladik Kreinovich, and Alejandro Castaneda. TrustMap: Towards Trust Recommendations for Maps. In Proceedings of the Terra Cognita 2008 Workshop, October 26, 2008, Karlsruhe, Germany. (PDF)

• Tao, J., Ding, L., Bao, J., and McGuinness, D.L. 2008. Characterizing and Detecting Integrity Issues in OWL Instance Data. In Proceedings of OWLED EU 2008 (October 26-27 2008, Karlsruhe, Germany).

• Pinheiro da Silva, P., Sutcliffe, G., Chang, C., Ding, L., Rio, N., and McGuinness, D.L. 2008. Presenting TSTP Proofs with Inference Web Tools. In Proceedings of Workshop on Practical Aspects of Automated Reasoning (August 10-11 2008).

• Ding, L., Tao, J., and McGuinness, D.L. 2008. OWL Instance Data Evaluation. In Proceedings of OWLED DC 2008 (April 1-2 2008, Washington, D.C.).

• 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)

• Ding, L. 2007. Provenance and Search Issues in RDF Data Warehouse. In Proceedings of SemGrail2007 (June 21-22 2007, Redmond, WA).

• 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)
• Gilbert Ornelas, Paulo Pinheiro da Silva. Towards Believing Answers from Cyber-Infrastructure-based Applications. In Proceedings of the 4th Annual Conference on Privacy, Security and Trust (PST2006), Ontario, Canada, October 2006. (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

• Wang, P., Zheng, J., Fu, L., Patton, E., Lebo, T., Ding, L., Liu, Q., Luciano, J.S., and McGuinness, D.L. 2011. TWC-SWQP: A Semantic Portal for Next Generation Environmental Monitoring (Technical Report).

• Tao, J., Sirin, E., Bao, J., and McGuinness, D.L. 2010. Integrity Constraints in OWL.

• Michaelis, J., Zednik, S., Ding, L., and McGuinness, D.L. 2009. A Comparison of the OPM and PML Provenance Models.

• McGuinness, D.L., Furtado, V., Pinheiro da Silva, P., Ding, L., Glass, A., and Chang, C. 2008. Explaining Semantic Web Applications.

• Nicholas Del Rio and Paulo Pinheiro da Silva. Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization. Technical Report UTEP-CS-07-43, The University of Texas at El Paso, 2007. (PDF)
• 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

• Tao, J., Tao, J., Sirin, E., and Sirin, E. 20092009. Integrity Constraints in OWL. In Proceedings of ISWC 2009 (October 25-29 2009, Chantilly, VA, US).

• 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

• McGuinness, D. (October 24, 2011). Ontologies Come of Age: The Next Generation. In: OCAS: Ontologies come of Age in the Semantic Web

• Lebo, T. (March 23, 2011). A Methodological Approach to Incorporating Data-On-The-Web: Sociological and Psychological Considerations.

• McGuinness, D. (March 18, 2011). Linked Data and the Provenance Explosion. In: Second International Colloquium on Data Provenance and Data Management for eScience (DPDM'11)

• Zednik, S., Lynnes, C., Fox, P., Leptoukh, G., & Pan, J. (December 13, 2010). A Semantic Provenance-aware Expert Advisory System in a Web-based Science Data Analysis Tool. In: AGU Fall Meeting 2010

• McGuinness, D. (November 7, 2010). Emerging Trends in Provenance. In: The Second International Workshop on the role of Semantic Web in Provenance Management of the ISWC 2010

• Lebo, T. (October 8, 2010). Developing Trust in Aggregated Government Data: Provenance, Interpretation Knowledge and URI Design for Incremental Enhancement of Tabular Data.

• James Michaelis, Li Ding, Deborah McGuinness. Towards the Explanation of Workflows. Presented at ExaCt 2009, Pasadena, CA, July 11, 2009. (PPT)
• McGuinness, D. (December 19, 2008). Information Fusion: Moving from Domain Independent to Doman Literate Approaches. In: AGU Fall Meeting 2008

• Ding, L., Bao, J., & McGuinness, D. (December 19, 2008). Knowledge Provenance in Semantic Wikis. In: AGU Fall Meeting 2008

• McGuinness, D., Fox, P., Pinheiro da Silva, P., Zednik, S., Rio, N., Ding, L., West, P., & Chang, C. (December 15, 2008). Annotating and embedding provenance in science data repositories to enable next generation science applications. In: AGU Fall Meeting 2008

• Fox, P., McGuinness, D., Garcia, J., Zednik, S., & Ding, L. (June 11, 2008). Semantic Provenance for Image Data Processing. In: Geoinformatics 2008
• 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)