Your SlideShare is downloading. ×
0
From SMW to Rules
From SMW to Rules
From SMW to Rules
From SMW to Rules
From SMW to Rules
From SMW to Rules
From SMW to Rules
From SMW to Rules
From SMW to Rules
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

From SMW to Rules

528

Published on

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
528
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
9
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. The Gap between Semantic Wiki and Deployed System Wiki DB Triple Store Online data Data Layer RPI Map & Events Wine Wiki Social Rec. Group Portal Task & Issue Tracking Ontology Repository Still many not yet mentioned … Wiki Layer App. Layer (Semantic) Wiki Scripting Semantic Template Semantic Query (PHP, Javascript) Wiki Extensions Halo Annotation Extension Parser Function … House of Social Webtop How to build applications effectively? Semantic Forms The Gap
  • 2. Semantic Wiki @ RPI
    • Applications
      • TW Group Portal – CMS for a group
      • RPI MAP – mashup RPI events, courses, Google Map, user contributed data
      • Wine Wiki – expose RDF to complement wine ontology for wine agent
      • TAMI policy test-bed – collaborative policy editing and testing environment
    • Extensions
      • TetherlessMap – Mashup GoogleMap with SMW
      • AskMany – distributed query
      • SimpleExport – Edit/Export any data (e.g. N3) in wiki
      • Semantic History - Export revision history in RDF
    • Templates
      • SMW Best Practice (SBP) Templates: encode facts; render them in list/factbox
      • OWL Meta Modeling Templates: encodes OWL ontology constructs
    • Theory
      • Formalization of SMW Modeling Language, Query language
      • Rule inference: OWL-RL modeling, LP modeling
      • Integrity checking
    • Evaluation
      • How effective a semantic wiki is in fostering collaboration?
  • 3. From SMW to Rules Jie Bao Tetherless World Constellation, RPI [email_address] , [email_address] @ Semantic Wiki Meetup at Stanford March 25, 2009
  • 4. Motivation
    • Goal:
    • Use SMW for applications that need rules
    • Use rules to improve SMW usability
    • Applications: access control policy modeling, integrity checking; use wiki as database
  • 5. Translation Rules for SMW-ML
    • Subproperty
    • Subclass
    • Class instance
    • Property instance
    • Redirection
    • P(x,y) :- Q(x,y)
    • C(x) :- D(x)
    • C(a) :-
    • P(a,b) :-
    • a=b :-
    • Implementation: wiki dump in rdf -> N-triple -> rules
      • TW Wiki: 800k triples
      • Dump time: about 20 min
      • Translation time: about 2 min
  • 6. Translation Rules for SMW-QL
    • {{#ask:
    • [[Category:Person]]
    • [[attends::AAAI09]]
    • }}
    • Result(x) :- Person(x), attends(x, AAAI09)
  • 7. Translation Rules for SMW-QL
  • 8. Translate SMW Query into Rules
    • {{#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).
  • 9. Next Steps
    • Applications: policy, IC checking
    • Extend SMW to express:
      • Negation as failure on categories and properties
      • Classic negation ?
      • Default
    • Rule Execution
      • Which rule engine?
        • Prolog solvers, ASP solvers, Rule reasoners…
      • Parallel execution?
      • Real time evaluation

×