Introduction to Tetherless World RPI by Jie Bao Slides will be available from: May 4, 2009, Oracle, Nashua, NH 1

: machine learning, data mining 2003-now: semantic web – Ph.D. Iowa State University, Dissertation on distributed reasoning with description logics / modeling modular ontologies Some work on semantic data integration – Joined in Feb 2008 Mainly worked on OWL 2 and semantic wikis since then Some work on scalable reasoning Some personal history 2

3 Rensselaer Polytechnic Institute (RPI) Established in 1824, The oldest technological university in the English-speaking world Troy, NY

4 Jim HendlerDeborah McGuinness Peter Fox

5

Tetherless World Constellation 2006 Jim 3 others 2007 Deborah 10+ others 2008 Grand Opening Peter 10+ others professors 6 researchers 11 full-time graduate students 4 affiliated graduate students 2 undergraduate students 5 alumni People 6

TW and Oracle Collaboration within the OWL 2 Working Group, e.g., OWL 2 RL Zhe and Vladimir visited TW on June 2008 Medha Atre, 2008 summer intern Medha Atre Ankesh Khandelwal, 2009 summer intern Ankesh Khandelwal 7

Web Science Research Initiative 8

Research Themes Web 3.0 Web-scale Computing Others …… Semantic E- Science “Everything about Web Science” as of

Web 3.0 From James Hendler, Ora Lassila. Semantic 5, March 2006 “Hendler Hypothesis” vs 10

Web 3.0 From James Hendler, Ora Lassila. Semantic 5, March 2006 Lighter, Faster, Easier! ( ) 11

Web RPI As of 2009 Semantic Wikis (Biased in this talk) TW Wine Agent In progress Semantic Search Event: AAAI 2009 Spring Symposium on Social Semantic Web Web 3.0 <= web a little bit semantics + linked data 12

Semantic Wikis Semantic Wiki Wiki Simple Annotation Simple Semantic Query People: Li Ding, Jie Bao, Jin Guang Zheng, Rui Huang, Zhenning Shangguan, Yongmei Shi 13

14 Why should I Care? Data Propagation

15 Why should I Care? Smart Data Propagation Why smart? – Retrieve instances from subcategories. E.g. every “Sponsed Project” is a “Project” – Retrieve instances linked by equality relation. e.g. “James A. Hendler” is the same as “Jim Hendler”

16 Semantic Wikis Semantic Wiki Applications Best Practices: Extensions and Templates Theory: Formal Semantics and Models Education: Applications and Tutorials

17 Sem Wiki App: RPI Map Contributors: Jin Guang Zheng, Rui Huang, Jie Bao and Li Ding RPI shuttle data is from shuttles.rpi.edu and RPI event data is from events.rpi.edu Mash up data using Semantic MediaWiki Data rendering using semantic query and Google Map API

18 Sem Wiki App: Ontology Editor Technical Highlights  Template-based meta model for OWL representation on semantic wiki  Semantic form based editing  Several controlled natural language interfaces (Rabbit, ACE, Yayan)  Limited rule inference (on going work) Contributors: Jie Bao & Zhenning Shangguan

Sem Wiki Theory: Modeling Semantics of SMW – Modeling Language: a variation of RDF semantics – Query Language: by translating to logic programs Concept Modeling – Rule modeling (e.g., RDFS entailment & LP) – SMW-based web application model. 19

TW Wine Agent Contributors: Evan W Patton James R. Michaelis, Li Ding Semantic wiki based recommendation base With “wine” and “food” ontologies Recommendations for wine 20

Semantic Search (ongoing work) Li Ding – swoogle was his work back at UMBC Search – Semantic wiki search – Ranking RDF graph (Alvaro Graves)Alvaro Graves – Web search (Zhenning Shangguan)Zhenning Shangguan 21

Research Themes Web 3.0 Web-scale Computing Others …… Semantic E- Science Semantics in domain knowledge Event: AAAI 2008 Spring Symposium on Semantic Scientific Knowledge Integration du/people/dlm/sss08/ du/people/dlm/sss08/ 22

TW People: Deborah L. McGuinness, Cynthia Chang, Li Ding, James Michaelis, Jiao Tao, Alyssa Glass, Honglei ZengDeborah L. McGuinnessCynthia ChangLi DingJames MichaelisJiao TaoAlyssa GlassHonglei Zeng 23 WWW Toolkit Proof Markup Language (PML) CWM JTP SPARK UIMA IW Explainer/ Abstractor IWBase IWBrowser IWSearch Trust Justification Provenance N3 KIF 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 Trace of rule application Trace of task execution Trace of information extraction Trace of theorem prover Inference Web Explanation Infrastructure Semantic Web based infrastructure PML is an explanation interlingua (who, where, when…) Inference Web provides a toolkit for data management and visualization

VSTO (astronomy) VSTO = Virtual Solar-Terrestrial Observatory Image courtesy of Peter Fox Provide a unified semantic environment serving data from diverse data archives in the fields of solar, solar- terrestrial, and space physics Goal TW People: Deborah L. McGuinness, Peter Fox, Patrick West, Stephan Zednik Deborah L. McGuinnessPeter FoxPatrick WestStephan Zednik 24

Other Applications Sensor Network Marine Biology Atmospheric science Law (TAMI = Transparent Accountable Datamining Initiative, Ankesh Khandelwal)TAMIAnkesh Khandelwal Service OWL instance evaluation (Jiao Tao)Jiao Tao 25

Research Themes Web 3.0 Web-scale Computing Others …… Semantic E- Science The pursuit of constant-time computation 26

Web-scale Computing Well, still far from there yet. But there are some promising starting points: Medha Atre: Medha Atre – BitMat: A Main Memory RDF Triple Store (started from an Oracle internship) BitMat: A Main Memory RDF Triple Store Gregory Todd Williams – “Supporting Identity Reasoning in SPARQL Using Bloom Filters”Supporting Identity Reasoning in SPARQL Using Bloom Filters Needs: Scalable algorithm + scalable infrastructure 27

Web-scale Computing Jie Bao – Distributed reasoner for modular ALC ontologies Distributed reasoner – Speed up EL reasoning using modularization. Jesse Weaver – (ongoing work) Currently investigates parallel inference (might using a cluster ) over very large RDF datasets. 28

Summary Web 3.0 Web-scale Computing Others …… Semantic E- Science “Everything about Web Science” as of 2009 actually a lot! 29

30 Questions?