Introduction to Tetherless World Constellation @ RPI

by Jie Baobaojie@cs.rpi.edu

Slides will be available from: http://tw.rpi.edu/wiki/Presentation

May 4, 2009, Oracle, Nashua, NH 1

• 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

Rensselaer Polytechnic Institute (RPI)

• Established in 1824, • The oldest technological university in the English-speaking world

Troy, NY

4

Jim Hendler Deborah McGuinness

Peter Fox

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

Tetherless World Constellation• 3 professors• 6 researchers• 11 full-time graduate students • 4 affiliated graduate students• 2 undergraduate students • 5 alumni

Peop

le

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• Ankesh Khandelwal , 2009 summer intern

7

Web Science Research Initiative

http://webscience.org/ 8

Research Themes“Everything about Web Science”

as of 20099

Web 3.0

From James Hendler, Ora Lassila. Semantic Web @ 5, March 2006

“Hendler Hypothesis”

vs

10

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 )

11

Web 3.0 @ RPIAs 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

Web 3.0 <= web 2.0 + a little bit semantics + linked data

12

Semantic Wikis

http://tw.rpi.edu/wiki/Semantic_Portal_WikiPeople: 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 Maphttp://map.rpi.edu

Contributors: Jin Guang Zheng, Rui Huang, Jie Bao and Li DingRPI 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)

http://tw.rpi.edu/proj/cnl

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

http://tw.rpi.edu/wiki/TW_Wine_AgentContributors: 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)– Web search (Zhenning Shangguan)

21

Research Themes

Semantics in domain knowledge

Event: AAAI 2008 Spring Symposium on Semantic Scientific Knowledge Integration http://www.ksl.stanford.edu/people/dlm/sss08/

22

TW People: Deborah L. McGuinness, Cynthia Chang , Li Ding , James Michaelis, Jiao Tao , Alyssa Glass , Honglei 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

provenanceregistration

search enginebased publishing

Expert friendlyVisualization

End-user friendly visualization

Trust computationOWL-S/BPELSDS

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

VSTO (astronomy)

VSTO = Virtual Solar-Terrestrial Observatory

Image courtesy of Peter Fox

Goal

http://tw.rpi.edu/wiki/SPCDIS_(Project)

TW People: Deborah L. McGuinness, Peter Fox, Patrick West, Stephan Zednik 24

Other Applications

• Sensor Network• Marine Biology• Atmospheric science• Law (TAMI = Transparent Accountable Datamining Initiative, Ankesh

Khandelwal)

Service• OWL instance evaluation (Jiao Tao)

25

Research Themes

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: – BitMat: A Main Memory RDF Triple Store (started

from an Oracle internship)

• Gregory Todd Williams – “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– Speed up EL reasoning using modularization.

• Jesse Weaver– (ongoing work) Currently investigates parallel

inference (might using a cluster ) over very large RDF datasets.

28

Summaryhttp://tw.rpi.edu “Everything about Web Science”

as of 2009

actually a lot!29

30

Questions?