1 / 1

Query-based Rule Modeling

Annual Conference of ITA ACITA 2009. Rule Modeling Using Semantic MediaWiki. Jie Bao (RPI), Li Ding (RPI), Paul R. Smart (U. Southampton), Dave Braines (IBM UK), Gareth Jones (IBM UK). Background. Query-based Rule Modeling.

zyta
Download Presentation

Query-based Rule Modeling

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Annual Conference of ITA ACITA 2009 Rule Modeling Using Semantic MediaWiki Jie Bao (RPI), Li Ding (RPI), Paul R. Smart (U. Southampton), Dave Braines (IBM UK), Gareth Jones (IBM UK) Background Query-based Rule Modeling Semantic Mediawiki (SMW) is a popular Semantic Web platform that supports semantic annotations and a simple query language. • Use SMW queries to model rule antecedents • Use conditional parser functions (“#if”) or loop functions (e.g., #arraymap) to model rule consequents • Use templates to store rules H←B “ Example ” rdfs:domain inference rule: “Template:Domain” {{#if: {{#ask:[[:{{PAGENAME}}]]|?{{{1}}}= |mainlabel=- |link=none }} |[[Category:{{{2}}}]] }} Usage example: {{Domain|hasAuthor|Document}} However, SMW lacks native modeling of rules, therefore offers only limited support for inference. antecedent consequent Concrete Modeling Scenarios OWL Entailment Logic Programs Integrity Constraints Similar to rdfs:domain, many other OWL entailment rules can be modeled Rules in logic programs: H :- B1,…Bn Integrity constraints describes errors in a dataset Example: every person is by default right-handed, unless that person is known to be left-handed, i.e.,RightHanded(x):-Person(x), not LeftHanded(x). Example: notOK :- Person(x), not HasGender (x,y) Example: eq-sym (symmetry of owl:sameAs) {{#vardefine:same |{{#ask: [[owl:sameAs::{{{1}}}]] |format=list|link=none}} }} {{#if: {{#var:same}} |{{#arraymap:{{#var:same}}|,|__x| [[owl:sameAs::__x]] }} {{LP Rule |body= 1::Person; 1:not:LeftHanded |head= RightHanded }} See details at: http://tw.rpi.edu/proj/cnl/Template:LP_Rule See details at: http://tw.rpi.edu/dev/cnl/Integrity_Constraint Pros and Cons Future work No external reasoner required Not always complete • Encoding OWL 2 RL entailment rules in SMW • Supportive user interfaces for rule authoring Supports expressive rules Limited real-time updating Easy to extend Pay as you go: local rule invo-cation by template embedding

More Related