1. Visualizing SWRL Rules Using Grailog Frame Formulas Team 8 : Bo Yan Juyan Zhang Ismail Akbari Instructor: Harold Boley

2. Introduction SWRL (Semantic Web Rule Language) is an implemented Semantic Web rule language, combining the sublanguages Web Ontology Language, Description logic (OWL DL) and Rule Markup Language (Unary/Binary Datalog). Graph inscribed logic (Grailog) invokes imagery for logic proposed cognitively motivated systematic graph standard for visual-logic knowledge. Visualizing SWRL’s Slotted Formulas in Grailog

3. Unary/Binary Datalog formulas VS. Slotted formulas Three RuleML Syntaxes Syntax Visualization RuleML/Grailog Symbolic PresentationSerialization RuleML/POSLRuleML/XML

4. Predicates: Unary Relations (Classes) General:Graph (class appliedLogic to instance node) inst 1 class(inst 1 ) class HasInstance Example:Graph Logic Warren Buffett Billionaire Billionaire(Warren Buffett)

5. Predicates: Binary Relations inst 1 General:Graph (labeled arc) Logic Example:Graph Logic binrel(inst 1, inst 2 ) inst 2 binrel Warren Buffett General Electric Trust (Warren Buffett, General Electric)

6. Object-Centered Logic: Grouping Binary Relations Around Instance General:Graph (Object-Centered) (inst 0 -centered) Logic Example:Graph (Object-Centered) (Socrates-centered) Logic Philosopher(Socrates)  Substance(Socrates, P1)  Teaching(Socrates, T1) P1 T1 Substance inst 0 inst 1 inst n binrel 1 binrel 1 (inst 0, inst 1 )  binrel n (inst 0, inst n ) class(inst 0 )  Teaching class binrel n... Philosopher Socrates

7. Logic of Frames ( ‘Records’ ): Associating Slots with OID-Distinguished Instance 7 General:Graph (PSOA-like Frame) (bulleted arcs) Logic Example:Graph (PSOA-like Frame) Logic Socrates#Philosopher( Substance->P1 ; Teaching->T1) P1 T1 Substance inst 0 inst n slot 1 slot n... slot 1 ->inst 1 ; slot n ->inst n ) inst 0 #class(... Teaching Socrates inst 0  class, slot 1 = inst 1,... slot n = inst n inst 1 Philosopher class

8. Tools 1.OWLVIZ

9. Be designed to be used with the Protege OWL plugin. allowing comparison of the asserted class hierarchy and the inferred class hierarchy has the facility to save to various concrete graphics formats including png, jpeg and svg.

10. GITHUB

11. A web-based hosting service for software development projects that use the Git revision control system. GitHub offers both paid plans for private repositories, and free accounts for open source projects. Our projectrepository: https://github.com/boliuy/SWRL-RULES- VISUALIZER https://github.com/boliuy/SWRL-RULES- VISUALIZER

12. Implementation

13. Step1: Convert into slotted fomulas syntax(U/B): syntax(slotted) Person(p)^ -> p#person( hassibling(p,c) hassibing->c) Array:

14. swlrb: swrlb:greaterthan -> age1 ( (age1,ag2) (greaterthan->age2) array:

15. Step2. Convert into dot template color&shape for simple nodes special shape for classes add dots to the arrows which connects nodes belongs to different class

16. Step 3 Generate graphs using dot file as the input of graphviz

17. An Example

18. Person(?x) ^ Man(?y) ^ hasSibling(?x,?y) ^ hasAge(?x,?agel) ^ hasAge(?y,?age2) ^ swrlb:greaterThan(?age2,?age1) -> hasOlderBrother(?x,?y)

19. body parts: Person xnullclass Man ynullclass hasSiblingxyproperty hasAgexagelproperty hasAgeyage2property swrlb:greaterThanage2age1SWRL_Building head parts: hasOlderBrotherxyproperty

23. Conclusion SWRL can be representd on Unary/Binary Datalog fomulars or Slotted formulars, and both of them have their own characters on graphs and logics. Visulizing the slotted fomulars lets people easily to understand the logic of rules Welcome to our projectrepository at the website of Githup to see and comment our project: https://github.com/boliuy/SWRL-RULES-VISUALIZER

24. References [1] http://en.wikipedia.org/wiki/Semantic_Web_Rule_Language. [2] The Grailog Systematics for Visual-Logic Knowledge Representation with Generalized Graphs. Boley Harold, http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf. [3] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab. [4] http://thechiselgroup.org/2004/07/06/jambalaya. [5] http://www.co-ode.org/downloads/owlviz. [6] Saeed Hassanpour, Martin J. O'Connor, Amar K. Das, “Axiomé: a Tool for the Elicitation and Management of SWRL Rules”, OWL: Experiences and Directions (OWLED), Chantilly, VA, 2009. [7] http://protegewiki.stanford.edu/wiki/Axiom%C3%A9.