Your SlideShare is downloading. ×
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
Concept Modeling on Semantic Wiki
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

Concept Modeling on Semantic Wiki

1,533

Published on

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

No Downloads
Views
Total Views
1,533
On Slideshare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
22
Comments
0
Likes
2
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. Concept Modeling on Semantic Wiki Presented by Jie Bao, RPI [email_address] http://baojie.org Joint work with Li Ding and Zhenning Shuangguan Nov 22, 2008 http://tw.rpi.edu/wiki/Image:2008-11-18_wikiBoston-bao.ppt
  • 2. SMW and me
    • For research
      • TW group portal wiki-master
      • Testbed for ideas: semantic history, privacy-preserving reasoning, integrity constraint, close world reasoning
    • For fun and daily life
      • Blog
      • Time management (To-do list, issue tracker, calender)
      • Document everything (emails, papers, drafts,…)
    /14
  • 3. Outline
    • 1. A formalization of SMW
      • The modeling language (SMW-ML)
      • The query language (SMW-QL)
    • 2. Template-based Rule Modeling
    • 3. OWL Meta Modeling (will be presented by Zhenning Shuangguan)
  • 4. 1. Formalization of SMW
    • Why it matters? It
    • Gives a better understanding on SMW’s
      • potentials (what it can do) and
      • limitations (what it can not do)
    • Allows evaluation of implementation, e.g., soundness and completeness
    • Promotes community-wide adoption, e.g., on multiple DB platforms.
  • 5. Modeling language (SMW-ML)
    • Syntax
  • 6. Modeling language (SMW-ML)
    • Semantics: a variation of the RDF semantics
      • Resources can only be local wiki pages
      • N-ary property supported
      • No domain, range, blank node, collection and list
      • Classes and properties are disjoint
      • Allow punning between classes and individuals
    • Details in [Bao & Ding, 2008]
  • 7. Modeling language (SMW-ML)
    • Entailment rules (sound and complete)
  • 8. Query Language (SMW-QL)
    • Syntax in BNF
  • 9. Query Language (SMW-QL)
    • Some observations
      • Subquery can allow “punning” of class & ind., e.g.,
        • [[Has topic::<q>[[Category:Wiki]]</q>]]
        • [[Has topic::Category:Wiki]]
      • Selection :
        • top level is in Conjunctive Normal Form (CNF), e.g., (A and B) or (C and D)
      • “ Concept ” pages:
        • Are wiki “views” – may be tricky, e.g., concept containment, or cyclic definition.
  • 10. Query Language (SMW-QL)
    • Semantics: by translating into logic programs (LP)
      • E.g., Husband(x) :- Man(x), marriesTo(x,y)
    • Why doing so?
      • Have a precise understanding of what a query means
        • E.g., can a “concept” page be a subclass of a “category” page?
      • Formal foundation for query answering,
        • E.g., will the answer set always be unique?
      • Better position for future extensions,
        • E.g., adding classical negation and negation-as-failure.
  • 11. Query Language (SMW-QL)
    • Semantics: by translating into logic programs (LP)
      • Minimal Herbrand model semantics
      • Closed world assumption (why?)
      • Details in [Bao & Ding, 2008]
    • Example
    {{#ask: [[Category:Graduate Student]] [[Has affiliation::RPI]] |?Hobby }} Q(x,y) :- L(x), Hobby(x,y); L(x) :- A1(x), A2(x); A1(x) :- Graduate Student(x); A2(x) :- Has affliation(x,RPI);
  • 12. 2. Rule Modeling
    • Example: Template-based “Domain” inference
      • {{#vardefine:value|{{#ask:
      • [[:{{FULLPAGENAME}}]]
      • |?{{{1}}}=
      • |mainlabel=-
      • |format=list
      • |link=none
      • }} }}
      • {{#if:{{#var:value}}|[[Category:{{{2}}}]]}}
      • Usage: {{Rule:Domain|hasAuthor|Document}}
    “ Rule:Entailment”
  • 13. 2. Rule Modeling: Example
    • http://tw.rpi.edu/wiki/Family_Rule
    /14
  • 14. 2. Rule Modeling
    • Simplicity – rule as page, easy to design, easy to use
    • Scalability
      • Each page can selectively turn on/off rule inference
      • Do not enforce completeness (which does not always matter on wiki)
    • Flexibility
      • Client-sided controllable
      • Highly extensible (rules can be added on the fly)
    • Expressivity: way beyond OWL.
      • Yet always terminates (due to incompleteness)
  • 15. Ongoing work
    • Design Patterns on SMW: relational modeling, OO -modeling, advanced rule modeling
      • Help to bridge the gap between non-SW developer and SW technologies
      • On-the-fly, client side expressivity extensions to basic semantic wikis, e.g., OWL-RL/SWRL/RIF support
      • Reusable libraries
    • Extensions on integrity constraint
    • Ontology Meta Modeling on SMW
      • OWL and OWL 2
      • First Order Logic
  • 16. Questions?
    • Reference
    • Jie Bao and Li Ding (2008) Knowledge Representation and Query in Semantic Wikis: A Formal Study. Tetherless World Constellation Technical Report. http://www.cs.rpi.edu/~baojie/x/smw-bao-tr.pdf
  • 17. Backup
  • 18. Query Language (SMW-QL) Semantics: by translating into logic programs (LP)

×