McGuinness – Microsoft eScience – December 8, Semantically-Enabled Science Informatics: With Supporting Knowledge Provenance and Evolution Infrastructure Highlights Deborah L. McGuinness Tetherless World Senior Constellation Chair and Professor of Computer Science and Cognitive Science (previously Acting Director of the Knowledge Systems Laboratory at Stanford University) Joint work with Peter Fox and James Hendler Tetherless World Constellation Rensselaer Polytechnic Institute

McGuinness – Microsoft eScience – December 8, Selected Examples and Foundations Semantic Technologies used in eScience (currently funded)  Virtual Solar Terrestrial Observatory (vsto.org)  Semantic Provenance Capture for Data Ingest Systems (SPCDIS)  Semantically-Enabled Scientific Data Integration (SESDI)  A Community-Driven Scientific Observations Network to Achieve Interoperability of Environmental and Ecological Data Semantic Foundations  Inference Web – Environment for Explanation, Transparency, and Trust  PML – Knowledge Provenance Interlingua (Proof Markup Language)  Ontology Environments: Ontology Repositories, Ontology Editing, Semantic Wiki (Semantic History), …  Scalable Web Science – New Web Science Center – part of Web Science Research Initiative, …

McGuinness – Microsoft eScience – December 8, Virtual Solar Terrestrial Observatory (vsto.org) Interdisciplinary Virtual Observatory for searching, integrating, and analyzing observational, experimental, and model databases. Subject matter: solar, solar-terrestrial and space physics Provides virtual access to specific data, model, tool and material archives containing items from a variety of space- and ground-based instruments and experiments, as well as individual and community modeling and software efforts bridging research and educational use 3 year NSF project; initial deployment in year 1, multiple deployments by year 2; year 3 outreach and broadening While aimed at one interdisciplinary area, it also serves as a replicable prototype for interdisciplinary virtual observatories Current NSF follow on for provenance extension (Semantic Provenance Capture in Data Ingest Systems)

McGuinness – Microsoft eScience – December 8, Partial exposure of Instrument class hierarchy Semantic filtering by domain or instrument hierarchy

McGuinness – Microsoft eScience – December 8, Fox VSTO et al. 5 Quick look browse

McGuinness – Microsoft eScience – December 8, WWW Toolkit Proof Markup Language (PML) Learners JTP/CWM SPARK UIMA IW Explainer/ Abstractor IWBase IWBrowser IWSearch Trust Justification Provenance * KIF/N3 SPARK-L Text Analytics IWTrust provenance registration search engine based publishing Expert friendly Visualization End-user friendly visualization Trust computation OWL-S/BPEL SDS Trace of web service discovery Learning Conclusions Trace of task execution Trace of information extraction Theorem prover/Rules Inference Web Explanation Architecture Semantic Web based infrastructure PML is an explanation interlingua  Represent knowledge provenance (who, where, when…)  Represent justifications and workflow traces across system boundaries Inference Web provides a toolkit for data management and visualization

McGuinness – Microsoft eScience – December 8, Global View and More Explanation as a graph Customizable browser options  Proof style  Sentence format  Lens magnitude  Lens width More information  Provenance metadata  Source PML  Proof statistics  Variable bindings  Link to tabulator  … Views of Explanation Explanation (in PML) filteredfocusedglobal abstraction discourse provenance trust

McGuinness – Microsoft eScience – December 8, Provenance View Source metadata: name, description, … Source-Usage metadata: which fragment of a source has been used when Views of Explanation Explanation (in PML) filteredfocusedglobal abstraction discourse provenance trust

McGuinness – Microsoft eScience – December 8, Conclusion and Links Knowledge Provenance is growing in criticality as applications become more distributed, hybrid, and collaborative Inference Web and PML provide an open infrastructure and starting point that is being used more in a wide set of applications. inference-web.orginference-web.org Semantic eScience class link (with book to follow) Sample of implemented eScience applications using semantic technologies:  Interdisciplinary Virtual Observatory (VSTO): vsto.orgvsto.org  Semantic Provenance: (SPCDIS): tw.rpi.edu/wiki/SPCDIStw.rpi.edu/wiki/SPCDIS  Volcano/Atmosphere/Plate tectonics (SESDI): sesdi.hao.ucar.edu/ sesdi.hao.ucar.edu/

McGuinness – Microsoft eScience – December 8, Extra

McGuinnessNSF/NCAR May 6,