1. Introduction to Tetherless World Constellation @ RPI by Jie Bao baojie@cs.rpi.edu Slides will be available from: http://tw.rpi.edu/wiki/Presentationhttp://tw.rpi.edu/wiki/Presentation May 4, 2009, Oracle, Nashua, NH 1

2. 1998-2003: machine learning, data mining 2003-now: semantic web – Ph.D. Iowa State University, 2007. Dissertation on distributed reasoning with description logics / modeling modular ontologies Some work on semantic data integration – Joined TW@RPI in Feb 2008 Mainly worked on OWL 2 and semantic wikis since then Some work on scalable reasoning http://www.cs.rpi.edu/~baojie Some personal history 2

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

4. 4 Jim HendlerDeborah McGuinness Peter Fox

5. http://tw.rpi.edu/launch/ 5

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

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

8. Web Science Research Initiative http://webscience.org/ 8

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

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

11. Web 3.0 From James Hendler, Ora Lassila. Semantic Web @ 5, March 2006 Lighter, Faster, Easier! (http://www.cs.rpi.edu/~hendler/presentations/WWW2009-DevDay.pdf )http://www.cs.rpi.edu/~hendler/presentations/WWW2009-DevDay.pdf 11

12. Web 3.0 @ 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 http://tw.rpi.edu/sss09 http://tw.rpi.edu/sss09 Web 3.0 <= web 2.0 + a little bit semantics + linked data 12

13. Semantic Wikis Semantic Wiki Wiki Simple Annotation Simple Semantic Query http://tw.rpi.edu/wiki/Semantic_Portal_Wiki People: Li Ding, Jie Bao, Jin Guang Zheng, Rui Huang, Zhenning Shangguan, Yongmei Shi 13

14. 14 Why should I Care? Data Propagation

15. 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. 16 Semantic Wikis Semantic Wiki Applications Best Practices: Extensions and Templates Theory: Formal Semantics and Models Education: Applications and Tutorials

17. 17 Sem Wiki App: RPI Map http://map.rpi.edu 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. 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) http://tw.rpi.edu/proj/cnl Contributors: Jie Bao & Zhenning Shangguan

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

20. TW Wine Agent http://tw.rpi.edu/wiki/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

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

22. 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 http://www.ksl.stanford.e du/people/dlm/sss08/ http://www.ksl.stanford.e du/people/dlm/sss08/ 22

23. 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 http://inference-web.org

24. 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 http://tw.rpi.edu/wiki/SPCDIS_(Project) TW People: Deborah L. McGuinness, Peter Fox, Patrick West, Stephan Zednik Deborah L. McGuinnessPeter FoxPatrick WestStephan Zednik 24

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

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

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

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

29. Summary Web 3.0 Web-scale Computing Others …… Semantic E- Science http://tw.rpi.edu “Everything about Web Science” as of 2009 actually a lot! 29

30. 30 Questions?