Semantic Wiki @ RPI

Li Ding, Jie BaoPresented by Deborah L. McGuinness

Tetherless World ConstellationRensselaer Polytechnic Institute

June 16, 2009

Wiki DB Triple Store Online dataData Layer

RPI Map& Events

Wine WikiSocial Rec.

Group Info Management

Task & IssueTracking

Ontology Repository

Still many not yet

mentioned…

Wiki Layer

App.Layer

(Semantic) Wiki Scripting

Semantic Template

Semantic Query

(PHP, Javascript) Wiki Extensions

Halo AnnotationExtension

Parser Functio

n…

How to build applications effectively?

Semantic Forms

The Gap

The Gap between Semantic Wiki and Apps

Our Position

Semantic Wiki

Applications

Best Practices: extensions and templates

Theory: formalization and models

Applications: First hand experiences

04/19/23

Tetherless World Wiki (App)

Jie Bao, Li Ding, Deborah L. McGuinness, Jim Hendler. Towards Social Webtops Using Semantic Wiki , ISWC’08 (Posters), 2008 http://tw.rpi.edu/wiki

Working CMS group portal (people, issues, publication… Data semantically annotated and organized by ontology Smart data propagation via query

Usability: lacking of effective data creation/editing UI Modeling: cannot annotate publication on person’s page Usability: hard to find data even annotated Scalability: complex templates caused slow response time

RPI Map (App)

Main Contributors: Jin Guang Zheng, Rui Huang, Jie Bao and Li Ding. http://map.rpi.edu

intended map services for RPI community (google it!) mashup external data sources (e.g. events.rpi.edu) mashup web services (e.g. GoogleMap) Semantic map layer

Usability: UI still need improvement

Policy Testbed (App)

<pmlj:NodeSet rdf:about="#uri_revision___title___FS_119_01_1_oldid_1478"> <pmlj:hasConclusion> <pmlp:InformationRdfInstance> <pmlp:hasURL rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI“ >http://tw.rpi.edu/proj/tami.wiki/index.php?title=FS_119_01_1&amp;oldid=1478</pmlp:hasURL> </pmlp:InformationRdfInstance> </pmlj:hasConclusion> <pmlj:isConsequentOf> <pmlj:InferenceStep> <pmlj:hasInferenceEngine rdf:resource="http://tw.rpi.edu/proj/tami/Special:URIResolver/User:Li" /> <pmlp:hasCreationDateTime rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime“ >2008-11-12T19:50:20Z</pmlp:hasCreationDateTime> <pmlj:hasAntecedentList> <pmlj:NodeSetList> <ds:first rdf:resource="#uri_revision___title___FS_119_01_1_oldid_1475" /> </pmlj:NodeSetList> </pmlj:hasAntecedentList> <pmlj:hasInferenceRule rdf:resource="http://tw.rpi.edu/2008/sw/semanticwiki.owl#Revision" /> </pmlj:InferenceStep> </pmlj:isConsequentOf></pmlj:NodeSet>…

<pmlj:NodeSet rdf:about="#uri_revision___title___FS_119_01_1_oldid_1478"> <pmlj:hasConclusion> <pmlp:InformationRdfInstance> <pmlp:hasURL rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI“ >http://tw.rpi.edu/proj/tami.wiki/index.php?title=FS_119_01_1&amp;oldid=1478</pmlp:hasURL> </pmlp:InformationRdfInstance> </pmlj:hasConclusion> <pmlj:isConsequentOf> <pmlj:InferenceStep> <pmlj:hasInferenceEngine rdf:resource="http://tw.rpi.edu/proj/tami/Special:URIResolver/User:Li" /> <pmlp:hasCreationDateTime rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime“ >2008-11-12T19:50:20Z</pmlp:hasCreationDateTime> <pmlj:hasAntecedentList> <pmlj:NodeSetList> <ds:first rdf:resource="#uri_revision___title___FS_119_01_1_oldid_1475" /> </pmlj:NodeSetList> </pmlj:hasAntecedentList> <pmlj:hasInferenceRule rdf:resource="http://tw.rpi.edu/2008/sw/semanticwiki.owl#Revision" /> </pmlj:InferenceStep> </pmlj:isConsequentOf></pmlj:NodeSet>…

{{Tami.event|coordinator=William Parker|datetime=2008/10/26 06:44:00 AM|description=[[Mr. Parker]] observed a glint of light in the window of a parked station wagon across the street, and then identified a male in the driver's seat apparently taking photographs of the gate and/or guard shack }}[[suspect gender::male]]

{{Tami.event|coordinator=William Parker|datetime=2008/10/26 06:44:00 AM|description=[[Mr. Parker]] observed a glint of light in the window of a parked station wagon across the street, and then identified a male in the driver's seat apparently taking photographs of the gate and/or guard shack }}[[suspect gender::male]]

Provenanceontology

Agent

Data

Event

Operation

coordinatorparticipant

input dataoutput data

operation

antecedent

Template-based Edit

Form-based Edit

SMW Browse

Tabulator-based Browse

Browse by semantic query results

Text + semanticstemplate for event & policy

Track Changes usingSemantic History

Li Ding, K. Krasnow Waterman, Jie Bao, Lalana Kagal, Deborah L. McGuinness. Towards a Semantic Web Testbed for Collaborative Policy Development, Proceedings of first Web Science Conference, 2009 http://tw.rpi.edu/tami

An collaboration environment. for distributed policy development choice of text (latent semantics) and RDF (explicit semantics) in place RDF editing with instant synchronized HTML and RDF publishing Predefined and extensible ontology with editing/query templates

Modeling: AIR policies in Notation3 are not native supported

CNL Ontology Editor (App)

Jie Bao, Paul R. Smart, Dave Braines, Gareth Jones, Nigel R. Shadbolt. A Controlled Natural Language Interface for Semantic Media Wiki , Tetherless World Constellation, TW-2009-05, 2009 http://tw.rpi.edu/proj/cnl

Template based OWL meta modeling with form support Controlled natural language rendering (Rabbit, ACE, Yayan) Limited rule inference to enhance the native RDFS inference

Modeling: not all OWL inferences (e.g. rdfs:domain) natively supported Modeling: blank node is not natively supported

SMWBP Project (Best Practices)

http://code.google.com/p/smwbp/

Quick SMW installation scripts Choice of (MW, SMW, and SMW+) Preconfigured MW/SMW extensions SVN based install/update

RPI Extension release platform ArrayExtension TetherlessMap …

http://www.mediawiki.org/wiki/Extension:ArrayExtension

AskManyExtension (Best Practices)

==Publications==<askmany querylocal="false"><site>http://tw.rpi.edu/wiki.tw/index.php</site><query>[[Category:Publication]][[has author::Li Ding]]</query><printout>?Has where published?has year</printout></askmany>

==Publications==<askmany querylocal="false"><site>http://tw.rpi.edu/wiki.tw/index.php</site><query>[[Category:Publication]][[has author::Li Ding]]</query><printout>?Has where published?has year</printout></askmany>

This Wiki Page is on http://tw.rpi.edu/portal

The result is from http://tw.rpi.edu/wiki

Main Contributors: Evan Paton http://tw.rpi.edu/Help:AskMany

Aggregates query results from other SMWs

followed by ExternalData extension (Yaron)

{{i.person|homepage=http://tw.rpi.edu/wiki/index.php/James_A._Hendler|image=Hendler2008.jpg|occupation=Professor|affiliation=Rensselaer Polytechnic Institute|residence=Troy, New York|relation=Tetherless World Constellation;}}

==facts==* He joined the Tetherless World Constellation in [[has year join::2006]].

{{f.tag |education |Yale University, Southern Methodist University, Brown University |format=ul |mode=list}}

{{#smartset:fellow of=American Association for Artificial Intelligence, British Computer Society|list}}

== blog =={{#widget:Twitter |user=jahendler |count=5}}

{{i.person.q}}

SBP Templates (Best Practices)

http://tw.rpi.edu/portal/Help:Smwbp

Template for better integration of RDF generation and HTML rendering Interchangeable Template (for portability) and parserfunction (for efficiency)

template incompatible with Halo Extension, maybe integrated by SMW syntaxspecialized content template

standard SMW syntax

generic content template

generic content parser function

specialized query template

Rule Modeling on SMW (Theory)

• “Uncle” rule

• rdfs:domain entailment rule

• Logic programs

Rules can be encoded/implemented in SMW

Formalize SMW Query (Theory)

{{#ask: [[Category:A]][[p3::category:B]] or

[[p.p1.p2::<q>[[Category:D]] or [[p1::<q>[[SomePage]]</q>]]</q>||!v||<q>[[Category:E]]</q>

]]}}

• _result(x) :- _tmp0(x).• _tmp0(x) :- A(x), p3(x,x0),

x0=category:B.• _tmp0(x) :- p(x,x2), p1(x2,x3),

p2(x3,x1), _tmp9(x1).• _tmp9(x1) :- _tmp12(x1).• _tmp12(x1) :- D(x1).• _tmp12(x1) :- p1(x1,x4),

x4=SomePage.• _tmp9(x1) :- x1!=v.• _tmp9(x1) :- E(x1).

SMW Query can be translated into rules Formal closed world semantics fits db-like usage scenarios Allow using a rule engine for SMW inference Enable some powerful extensions naturally (e.g. NAF and cardinality)

Scalability issues in LP solvers Jie Bao, Li Ding, James A. Hendler. Knowledge Representation and Query in Semantic MediaWiki: A Formal Study, In Tetherless World Constellation (RPI) Technical Report, TW-2008-42, 2008

Lessons Learned

• Lessons learned– Usability – user-friendly editing and query interface is

wanted– Scalability - complex queries and large datasets have

caused heavy load to database; wiki API is slow– SMW based applications also require non-trivial

development efforts (e.g., workflow and UI design) – Additional Web 2.0 features are needed: user/page

access control; distributed query across wikis• Questions

– What has been saved in SMW based applications?– Which criticisms are actually specific to SMW Apps

rather than conventional Web Apps ?

Conclusion

• Development– Applications: TW group website; RPI Map; TAMI Wiki;

CNL Wiki; …– Best practices: SMWBP project; ArrayExtension; …

• Research– Rule modeling on SMW– SWM based Web application model– SMW (Modeling language and query language)

formalization

• Lessons learned– SMW is useful for some light-weight web applications

Backup

Server Side Server Side

Users’ ControlUsers’ Control

Web ServerWeb Server

Database/FilesDatabase/Files

Web BrowserWeb Browser Web BrowserWeb Browser

Ajax EngineAjax Engine

Web/Data ServerWeb/Data Server

Database/FilesDatabase/Files

Conventional Model AJAX Model

Server Side

Sem

Wiki E

ngineS

emW

iki Engine

Users’ Control

Web BrowserWeb Browser

SemWiki DataSemWiki Data

Wiki Func.Wiki Func.

SemWiki-based Model

Web ServerWeb Server

Database/FilesDatabase/Files

Wiki UIWiki UI

Server SideW

iki Engine

Wiki E

ngine

Users’ Control

Web BrowserWeb Browser

Wiki Func.Wiki Func.

Wiki-based Model

Web ServerWeb Server

Database/FilesDatabase/Files

Wiki UIWiki UI

SMW-based Web App. Model (Theory)

SWM based Model can be a new Web app model for light-weight Web 2.0 social programming