Inference web

From Semantic Portal Wiki

{{#vardefine:category|Thing}}{{#vardefine:templatename|o.thing}}{{#vardefine:package|smwbp_ontology_templates}}

({{#vardefine:ns| }}{{#vardefine:p|type }}{{#vardefine:v|Project }}) [ Edit ] {{#vardefine:ns| }}{{#vardefine:p|homepage }}{{#vardefine:v|http://inference-web.org/ }} {{#vardefine:ns| }}{{#vardefine:p|description }}{{#vardefine:v|Semantic Web based provenance infrastructure }} {{#vardefine:ns| }}{{#vardefine:p|location }}{{#vardefine:v| }} {{#vardefine:ns| }}{{#vardefine:p|relation }}{{#vardefine:v| }} {{#vardefine:ns| }}{{#vardefine:p|tag }}{{#vardefine:v|Provenance }} {{#vardefine:ns| }}{{#vardefine:p|alias }}{{#vardefine:v| }} {{#vardefine:ns| }}{{#vardefine:p|equal_to }}{{#vardefine:v| }}

[[Category:]]

people

• Deborah L. McGuinness
• Li Ding
• Paulo Pinheiro da Silva
• Cynthia Chang

publications

Featured publications {{#vardefine:pagename|explaining answers from the semantic web: the inference web approach }}

1. [[]]{{#vardefine:pagename|inference web in action: lightweight use of the proof markup language }}
2. [[]]{{#vardefine:pagename|a proof markup language for semantic web services }}
3. [[]]{{#vardefine:pagename|pml 2: a modular explanation interlingua }}
4. [[]]

Journal Paper {{#vardefine:pagename|Trustable task processing systems }}{{#vardefine:pages|pp.12-18 }}# Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro da Silva, Michael Wolverton. [[ | Trustable Task Processing Systems]] , Kunstliche Intelligenz (2),January 2008 [TW-2008-12, KSL-2008-01] {{#vardefine:pagename|A proof markup language for semantic web services }}{{#vardefine:pages|pp.381-395 }}# Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. [[ | A Proof Markup Language for Semantic Web Services]] , Information Systems 31 (4-5), 2006 [KSL-04-01] {{#vardefine:pagename|Explaining answers from the semantic web: the inference web approach }}{{#vardefine:pages|pp.397-413 }}# Deborah L. McGuinness, Paulo Pinheiro da Silva. [[ | Explaining answers from the Semantic Web: the Inference Web approach]] , Journal of Web Semantics 1 (4),October 2004 [KSL-04-03] {{#vardefine:pagename|Knowledge provenance infrastructure }}{{#vardefine:pages|pp.26-32 }}# Paulo Pinheiro da Silva, Deborah L. McGuinness, Rob McCool. [[ | Knowledge Provenance Infrastructure]] , IEEE Data Engineering Bulletin 26 (4),December 2003

Book Chapter {{#vardefine:pagename|Trusting answers from web applications }}{{#vardefine:pages|pp.275-286 }}# Deborah L. McGuinness, Paulo Pinheiro da Silva. [[ | Trusting Answers from Web Applications]] , New Directions in Question Answering AAAI/MIT Press,November 2004

Conference Paper {{#vardefine:pagename|Instance data evaluation for semantic web-based knowledge management systems }}{{#vardefine:pages| }}# Jiao Tao, Li Ding, Deborah L. McGuinness. [[ | Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems]] , Proceedings of the 42nd Hawaii International Conference on System Sciences, 2009 [TW-2009-01] {{#vardefine:pagename|Towards the generation of explanations for semantic web services in owl-s }}{{#vardefine:pages|pp.2350-2351 }}# Carlos G. Fernandes, Vasco Furtado, Alyssa Glass, Deborah L. McGuinness. [[ | Towards the generation of explanations for semantic web services in OWL-S]] , SAC, 2008 [TW-2008-32] {{#vardefine:pagename|Inference web in action: lightweight use of the proof markup language }}{{#vardefine:pages|pp.847-860 }}# Paulo Pinheiro da Silva, Deborah L. McGuinness, Nicholas Del Rio, Li Ding. [[ | Inference Web in Action: Lightweight Use of the Proof Markup Language]] , Proceedings of the 7th International Semantic Web Conference (ISWC'08),October 2008 [TW-2008-13] {{#vardefine:pagename|Semantic provenance for image data processing }}{{#vardefine:pages| }}# Peter Fox, Deborah L. McGuinness, Jose M. Garcia, Stephan Zednik, Li Ding. [[ | Semantic Provenance for Image Data Processing]] , Proceedings of Geoinformatics 2008,June 2008 [TW-2008-11] {{#vardefine:pagename|Presenting tstp proofs with inference web tools }}{{#vardefine:pages| }}# Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness. [[ | Presenting TSTP Proofs with Inference Web Tools]] , PAAR/ESHOL, 2008 [TW-2008-10] {{#vardefine:pagename|Toward establishing trust in adaptive agents }}{{#vardefine:pages|pp.227-236 }}# Alyssa Glass, Deborah L. McGuinness, Michael Wolverton. [[ | Toward Establishing Trust in Adaptive Agents]] , Proceedings of the 2008 International Conference on Intelligent User Interfaces (IUI2008),January 2008 [KSL-07-04, TW-2008-14] {{#vardefine:pagename|Explaining task processing in cognitive assistants that learn }}{{#vardefine:pages|pp.284-289 }}# Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. [[ | Explaining Task Processing in Cognitive Assistants that Learn]] , Proceedings of the 20th International FLAIRS Conference (FLAIRS-20),May 2007 [KSL-07-03] {{#vardefine:pagename|Abstracting web agent proofs into human-level justifications }}{{#vardefine:pages|pp.80-85 }}# 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]] , Proceedings of the 20th International FLAIRS Conference (FLAIRS-20),May 2007 [KSL-07-06] {{#vardefine:pagename|Explaining conclusions from diverse knowledge sources }}{{#vardefine:pages|pp.861-872 }}# J. William Murdock, Deborah L. McGuinness, Paulo Pinheiro da Silva, Christopher A. Welty, David A. Ferrucci. [[ | Explaining Conclusions from Diverse Knowledge Sources]] , Proceedings of the 5th International Semantic Web Conference (ISWC2006),November 2006 [KSL-06-17] {{#vardefine:pagename|Computing trust from revision history }}{{#vardefine:pages| }}# Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness. [[ | Computing Trust from Revision History]] , Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (PST 2006),October 2006 [KSL-06-12] {{#vardefine:pagename|Webexplain: a upml extension to support the development of explanations on the web for knowledge-based systems }}{{#vardefine:pages| }}# Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness. [[ | WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-based Systems]] , Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering, 2006 [KSL-06-13] {{#vardefine:pagename|Web explanations for semantic heterogeneity discovery }}{{#vardefine:pages|pp.303-317 }}# Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness. [[ | Web Explanations for Semantic Heterogeneity Discovery]] , Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), 2005 [KSL-04-02] {{#vardefine:pagename|Iwtrust: improving user trust in answers from the web }}{{#vardefine:pages|pp.384-392 }}# Ilya Zaihrayeu, Paulo Pinheiro da Silva, Deborah L. McGuinness. [[ | IWTrust: Improving User Trust in Answers from the Web]] , Proceedings of the 3rd International Conference on Trust Management (iTrust2005), 2005 [KSL-04-08] {{#vardefine:pagename|Tracking information extraction from intelligence documents }}{{#vardefine:pages| }}# Christopher A. Welty, J. William Murdock, Paulo Pinheiro da Silva, Deborah L. McGuinness, David A. Ferrucci, Richard Fikes. [[ | Tracking Information Extraction from Intelligence Documents]] , Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005),May 2005 [KSL-05-05] {{#vardefine:pagename|Infrastructure for web explanations }}{{#vardefine:pages|pp.113-129 }}# Deborah L. McGuinness, Paulo Pinheiro da Silva. [[ | Infrastructure for Web Explanations]] , Proceeding of the Second International Semantic Web Conference, 2003

Workshop Paper {{#vardefine:pagename|Semantic history towards modeling and publishing changes of online semantic data }}{{#vardefine:pages| }}# Jie Bao, Li Ding, Deborah L. McGuinness. [[ | Semantic History: Towards Modeling and Publishing Changes of Online Semantic Data]] , Proceedings of the 2nd Workshop on Social Data on the Web (SDoW2009), 2009 [TW-2009-17] {{#vardefine:pagename|Towards the explanation of workflows }}{{#vardefine:pages| }}# James Michaelis, Li Ding, Deborah L. McGuinness. [[ | Towards the Explanation of Workflows]] , Proceedings of the IJCAI'09 Workshop on Explanation-Aware Computing, July, 2009, 2009 [TW-2009-19] {{#vardefine:pagename|Towards usable and interoperable workflow provenance empirical case studies using pml }}{{#vardefine:pages| }}# James Michaelis, Li Ding, Zhenning Shangguan, Stephan Zednik, Rui Huang, Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah L. McGuinness. [[ | Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies Using PML]] , Proceedings of the First International Workshop on the role of Semantic Web in Provenance Management (SWPM 2009), 2009 [TW-2009-20] {{#vardefine:pagename|Semantic scientific knowledge integration }}{{#vardefine:pages| }}# Deborah L. McGuinness, Peter Fox, Boyan Brodaric. [[ | Semantic Scientific Knowledge Integration]] , Proceedings of the Association for Advancement of Artificial Intelligence Spring Symposium Series Workshop on Semantic Scientific Knowledge Integration,March 2008 {{#vardefine:pagename|User interfaces for portable proofs }}{{#vardefine:pages| }}# Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah L. McGuinness, Li Ding, Cynthia Chang, Geoff Sutcliffe. [[ | User Interfaces for Portable Proofs]] , Proceedings of the 8th International Workshop On User Interfaces for Theorem Provers (UITP'08),August 2008 [TW-2008-09] {{#vardefine:pagename|Explaining complex systems }}{{#vardefine:pages| }}# Deborah L. McGuinness. [[ | Explaining Complex Systems]] , Semantic e-Science Workshop co-located with the Association for the Advancement of Artificial Intelligence Conference,July 2007 {{#vardefine:pagename|Pml 2: a modular explanation interlingua }}{{#vardefine:pages| }}# Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Cynthia Chang. [[ | PML 2: A Modular Explanation Interlingua]] , Proceedings of the 2007 Workshop on Explanation-aware Computing (ExaCt-2007),July 2007 [KSL-07-07] {{#vardefine:pagename|Investigations into trust for collaborative information repositories: a wikipedia case study }}{{#vardefine:pages| }}# Deborah L. McGuinness, Honglei Zeng, Paulo Pinheiro da Silva, Li Ding, Dhyanesh Narayanan, Mayukh Bhaowal. [[ | Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study]] , Proceedings of the WWW'06 Workshop on Models of Trust for the Web (MTW'06),May 2006 [KSL-06-05] {{#vardefine:pagename|Explanation interfaces for the semantic web: issues and models }}{{#vardefine:pages| }}# Deborah L. McGuinness, Li Ding, Alyssa Glass, Cynthia Chang, Honglei Zeng, Vasco Furtado. [[ | Explanation Interfaces for the Semantic Web: Issues and Models]] , Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI'06),November 2006 [KSL-06-14] {{#vardefine:pagename|Knowledge-worker requirements for next generation query answering and explanation systems }}{{#vardefine:pages| }}# Andrew J. Cowell, Deborah L. McGuinness, Carrie F. Varley, David A. Thurman. [[ | Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems]] , Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), 2006 [KSL-06-02] {{#vardefine:pagename|Transparent accountable data mining: new strategies for privacy protection }}{{#vardefine:pages| }}# Daniel J. Weitzner, Harold Abelson, Tim Berners-Lee, Chris Hanson, James A. Hendler, Lalana Kagal, Deborah L. McGuinness, Gerald J. Sussman, K. Krasnow Waterman. [[ | Transparent Accountable Data Mining: New Strategies for Privacy Protection]] , Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment, 2006 [KSL-06-03] {{#vardefine:pagename|Encoding extraction as inferences }}{{#vardefine:pages| }}# J. William Murdock, Paulo Pinheiro da Silva, David A. Ferrucci, Christopher A. Welty, Deborah L. McGuinness. [[ | Encoding Extraction as Inferences]] , Proceedings of AAAI Spring Symposium on Metacognition in Computation, 2005 [KSL-04-06] {{#vardefine:pagename|Towards explaining semantic matching }}{{#vardefine:pages| }}# Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva. [[ | Towards Explaining Semantic Matching]] , Proceedings of the International Workshop on Description Logics,June 2004 {{#vardefine:pagename|Inference web: portable and shareable explanations for question answering }}{{#vardefine:pages| }}# Deborah L. McGuinness, Paulo Pinheiro da Silva. [[ | Inference Web: Portable and Shareable Explanations for Question Answering]] , Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering,March 2003 [KSL-03-10] {{#vardefine:pagename|Registry-based support for information integration }}{{#vardefine:pages|pp.117-122 }}# Deborah L. McGuinness, Paulo Pinheiro da Silva. [[ | Registry-Based Support for Information Integration]] , Proceedings of IJCAI Workshop on Information Integration on the Web (IIWeb-03),August 2003 [KSL-03-03] {{#vardefine:pagename|Knowledge representation for question answering }}{{#vardefine:pages| }}# Deborah L. McGuinness. [[ | Knowledge Representation for Question Answering]] , Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering,March 2003 [KSL-03-09]