Upload
hope-taylor
View
229
Download
0
Tags:
Embed Size (px)
Citation preview
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&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&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