Inference Web

Printer-friendly version
Research Areas: Knowledge Provenance
Principal Investigator: Deborah L. McGuinness
Co Investigator:
Concepts: Inference, Provenance
Description:
The Inference Web is a Semantic Web based knowledge provenance infrastructure that supports interoperable explanations of sources, assumptions, learned information, and answers as an enabler for trust.
  • Provenance - if users (humans and agents) are to use and integrate data from unknown, uncertain, or multiple sources, they need provenance metadata for evaluation
  • Interoperability - more systems are using varied sources and multiple information manipulation engines, thus increasing interoperability requirements
  • Explanation/Justification - if information has been manipulated (i.e., by sound deduction or by heuristic processes), information manipulation trace information should be available
  • Trust - if some sources are more trustworthy than others, trust ratings are desired
The Inference Web consists of two important components:
  • Proof Markup Language (PML) Ontology - Semantic Web based representation for exchanging explanations including
    • provenance information - annotating the sources of knowledge
    • justification information - annotating the steps for deriving the conclusions or executing workflows
    • trust information - annotating trustworthiness assertions about knowledge and sources
  • IW Toolkit - Web-based and standalone tools that facilitate human users to browse, debug, explain, and abstract the knowledge encoded in PML.

Selected Publications


Selected Presentations


Collaboration Site

http://inference-web.org contains a more exhaustive list of tools, demonstrations, meeting notes, and design notes developed during the past eleven years. Please go there for more complete listings.

inference web logo


Collaborators:

UTEP

Publications of Inference Web (partial list, see http://inference-web.org for more).

Lebo, T., Wang, P., Graves, A., and McGuinness, D.L. 2012. Towards Unified Provenance Granularities. In Proceedings of International Provenance and Annotation Workshop 2012 (June 18-22 2012, Santa Barbara, California).
Lebo, T. and McGuinness, D.L. 2012. Abstracting Granular Provenance.
McCusker, J., Lebo, T., Graves, A., DiFranzo, D., Pinheiro, P., and McGuinness, D.L. 2012. Functional Requirements for Information Resource Provenance on the Web. In Proceedings of International Provenance and Annotation Workshop 2012 (June 18-22 2012, Santa Barbara, California).
McCusker, J., Lebo, T., Chang, C., Pinheiro, P., and McGuinness, D.L. 2012. Parallel Identities for Managing Open Government Data. IEEE Intelligent Systems
McGuinness, D.L., Shaikh, A.R., Lebo, T., Ding, L., Courtney, P., McCusker, J., Moser, R., Morgan, G.D., Tatalovich, Z., Willis, G., Contractor, N., and Hesse, B.W. 2012. Towards Semantically-Enabled Next Generation Community Health Information Portals: The PopSciGrid Pilot. In Proceedings of Hawaii International Conference on System Sciences 2012 (January 4-7 2012, Grand Wailea, Maui).
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. 2011. An Ensemble Learning and Problem Solving Architecture for Airspace Management. Transactions on Intelligent Systems and Technology
Lebo, T., Erickson, J.S., Graves, A., Williams, G.T., DiFranzo, D., Li, X., Michaelis, J., Zheng, J., Flores, J., Shangguan, Z., McGuinness, D.L., and Hendler, J. 2011. Producing and Using Linked Open Government Data in the TWC LOGD Portal. In Proceedings of AAAI Fall Symposium on Open Government Knowledge: AI Opportunities and Challenges 2011 (November 4-7 2011, Arlington VA).
McCusker, J., Lebo, T., Ding, L., Chang, C., Pinheiro, P., and McGuinness, D.L. 2011. Where did you hear that? Information and the Sources They Come From. In Proceedings of International Workshop on Linked Science 2011 (October 14 2011, Bonn, Germany).
Wang, P., Zheng, J., Fu, L., Patton, E.W., Lebo, T., Ding, L., Liu, Q., Luciano, J.S., and McGuinness, D.L. 2011. A Semantic Portal for Next Generation Monitoring Systems. In Proceedings of 10th International Semantic Web Conference (October 23-27 2011, Bonn, Germany).
Sutcliffe, G., Chang, C., McGuinness, D.L., Lebo, T., Ding, L., and Pinheiro, P. 2011. Combining Proofs to form Different Proofs. In Proceedings of PxTP-2011 First Workshop on Proof eXchange for Theorem Proving at CADE – the 23rd International Conference on Automated Deduction (August 1 2011).
Wang, P., Zheng, J., Fu, L., Patton, E.W., 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).
Ding, L., Lebo, T., Erickson, J.S., 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, pages 1–11.
McGuinness, D.L., Shaikh, A.R., Moser, R., Hesse, B.W., Morgan, G.D., Jacobs, 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., 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, pages 797–805.
Halpin, H., Hayes, P.J., McCusker, J., McGuinness, D.L., and Thompson, H.S. 2010. When owl:sameAs isn’t the Same: An Analysis of Identity 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).
Ding, L., , ., Shangguan, Z., and McGuinness, D.L. 2010. 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).
Michaelis, J. and McGuinness, D.L. 2010. Towards Provenance Aware Comment Tracking for Web Applications. In Proceedings of International Provenance and Annotation Workshop 2010 (June 15-16 2010, Hefner Alumni House, Rensselaer Polytechnic Institute, Troy, NY, US).
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).
Sutcliffe, G., Chang, C., Ding, L., McGuinness, D.L., and Pinheiro, P. 2010. Different Proofs are Good Proofs. In Proceedings of EMS+QMS 2010 at IJCAR 2010 (July 20 2010, Edinburgh, UK).
Tao, J., Sirin, E., Bao, J., and McGuinness, D.L. 2010. Integrity Constraints in OWL. In Proceedings of AAAI 2010 (July 11-15 2010).
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 2010June 26-27 2010, Palo Alto, CA, USAPalo Alto, CA).
McCusker, J. and McGuinness, D.L. 2010. Provenance of High Throughput Biomedical Experiments. In Proceedings of International Provenance and Annotation Workshop 2010 (June 15-16 2010, Hefner Alumni House, Rensselaer Polytechnic Institute, Troy, NY, US).
Tao, J., Sirin, E., Bao, J., and McGuinness, D.L. 2010. Integrity Constraints in OWL.
Ding, L., Bao, J., Michaelis, J., Zhao, J., and McGuinness, D.L. 2010. Reflections on Provenance Ontology Encodings. In Proceedings of International Provenance and Annotation Workshop 2010 (June 15-16 2010, Hefner Alumni House, Rensselaer Polytechnic Institute, Troy, NY, US).
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., , ., 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., 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 at AAAI 2010 (March 22-24 2010March 22-24 2010March 22-24 2010March 22-24 2010, Palo Alto, California, USPalo Alto, California, USPalo Alto, California, USPalo Alto, California, US).
Lebo, T. and McGuinness, D.L. 2010. Creating, Interpreting, and Repurposing Visual Messages.
Li, X., Lebo, T., and McGuinness, D.L. 2010. Provenance-Based Strategies to Develop Trust in Semantic Web Applications. In Proceedings of International Provenance and Annotation Workshop 2010 (June 15-16 2010, Hefner Alumni House, Rensselaer Polytechnic Institute, Troy, NY, US), pages 182–197.
Tao, J., Tao, J., Sirin, E., and Sirin, E. 20092009. Integrity Constraints in OWL. In Proceedings of ISWC 2009, International Semantic Web Conference (October 25-29 2009, Chantilly, VA, US).
Michaelis, J., Ding, L., Shangguan, Z., Zednik, S., Huang, R., Pinheiro, 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).
Michaelis, J., Zednik, S., Ding, L., and McGuinness, D.L. 2009. A Comparison of the OPM and PML Provenance Models.
Sirin, E. and Tao, J. 2009. Towards Integrity Constraints in OWL. In Proceedings of OWLED 2009 (October 23-24 2009, Westfields Conference Center, Washington, D.C., US).
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).
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).
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).
Michaelis, J., Ding, L., and McGuinness, D.L. 2009. Towards the Explanation of Workflows. In Proceedings of Workshop on Explanation-Aware Computing 2009 (July 11-13 2009, Pasadena, CA, US).
McGuinness, D.L. 2008. Information Fusion: Moving from domain independent to domain literate approaches. In Proceedings of AGU Fall Meeting 2008 (December 15-19 2008, San Francisco, CA).
McGuinness, D.L., Fox, P., Pinheiro, 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).
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).
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).
McGuinness, D.L., Furtado, V., Pinheiro, P., Ding, L., Glass, A., and Chang, C. Explaining Semantic Web Applications. 2008.
Pinheiro, P., Rio, N., McGuinness, D.L., Ding, L., Chang, C., and Sutcliffe, G. 2008. User Interfaces for Portable Proofs. In Proceedings of 8th International Workshop on User Interfaces for Theorem Provers (August 22 2008, Montreal, Quebec, Canada).
Pinheiro, 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).
Glass, A., McGuinness, D.L., Pinheiro, P., and Wolverton, M. 2008. Trustable Task Processing Systems.
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), pages 1179–1180.
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.).
McGuinness, D.L. and Pinheiro, P. 2007. PML 2: A Modular Explanation Interlingua. In Proceedings of Workshop on Explanation-aware Computing 2007 (July 22-23 2007, Vancouver, British Columbia, Canada).
Ding, L. 2007. Provenance and Search Issues in RDF Data Warehouse. In Proceedings of SemGrail2007 (June 21-22 2007, Redmond, WA).
McGuinness, D.L., Ding, L., Glass, A., Chang, C., Zeng, H., and Furtado, V. 2006. Explanation Interfaces for the Semantic Web: Issues and Models. In Proceedings of 3rd International Semantic Web User Interaction Workshop (November 6 2006).
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).
Pinheiro, P., McGuinness, D.L., and Fikes, R. 2006. A Proof Markup Language for Semantic Web Services. Information Systems, pages 381–395.
McGuinness, D.L., Zeng, H., Pinheiro, P., Ding, L., Narayanan, D., and Bhaowal, M. 2006. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study. In Proceedings of MTW 2006 at WWW 2006 (May 22-26 2006, Edinburgh, Scotland).
Ding, L., Finin, T.W., Peng, Y., Pinheiro, P., and McGuinness, D.L. 2005. Tracking RDF Graph Provenance using RDF Molecules. In Proceedings of ISWC 2005 (November 6-10 2005, Galway, Ireland).
McGuinness, D.L. and Pinheiro, P. 2004. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics, pages 397–413.

Presentations of Inference Web (partial list, see http://inference-web.org for more).

Courtney, P., Shaikh, A., Contractor, N., McGuinness, D., Ding, L., Jacobs, M., Blake, K., Morgan, G., Moser, R., Willis, G., & Hesse, B. (November 9, 2011). Consumer Health Portal: An Informatics Tool for Translation and Visualization of Complex, Evidence-Based Population Health Data for Cancer Prevention and Control. In: APHA Annual Meeting 2010
McGuinness, D. (November 7, 2011). Emerging Trends in Provenance. In: The Second International Workshop on the role of Semantic Web in Provenance Management at ISWC 2010
Wang, P., Zheng, J., Fu, L., Patton, E., Lebo, T., Ding, L., Luciano, J., & McGuinness, D. (July 25, 2011). TWC-SWQP: A Semantically-Enabled Provenance-Aware Water Quality Portal .
Lebo, T. (March 23, 2011). A Methodological Approach to Incorporating Data-On-The-Web: Sociological and Psychological Considerations. In:
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
Lebo, T. (October 8, 2010). Developing Trust in Aggregated Government Data: Provenance, Interpretation Knowledge and URI Design for Incremental Enhancement of Tabular Data.
Ding, L., Bao, J., & McGuinness, D. (December 19, 2008). Knowledge Provenance in Semantic Wikis. In: AGU Fall Meeting 2008
McGuinness, D. (December 19, 2008). Information Fusion: Moving from Domain Independent to Doman Literate Approaches. In: AGU Fall Meeting 2008
McGuinness, D., Fox, P., Pinheiro, 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
McGuinness, D., Ding, L., Pinheiro, P., Chang, C., Michaelis, J., Tao, J., Glass, A., & Rio, N. (June 11, 2008). Inference Web: Enabling Accountable Web Applications. In: Tetherless World Constellation Launch
McGuinness, D., Glass, A., Wolverton, M., Pinheiro, P., & Chang, C. (June 11, 2008). Explainable Adaptive Assistants. In: Tetherless World Constellation Launch



Project Participants


Principal Investigator:

Deborah L. McGuinness

Dr. Deborah McGuinness is a leading expert in knowledge representation and reasoning languages and systems and has worked in ontology creation and evolution environments for over 20 years. Most recently, Deborah is best known for her leadership role in semantic web research [...]

Co Investigator:

Collaborators: