Visualizing SWRL Rules Using Grailog

Frame Formulas

Team 8 : Bo Yan Juyan Zhang Ismail Akbari

Instructor: Harold Boley

IntroductionSWRL (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

Unary/Binary Datalog formulas

VS. Slotted formulas

Three RuleML SyntaxesSyntax

Visualization

RuleML/Grailog

Symbolic

Presentation Serialization

RuleML/POSL RuleML/XML

Predicates: Unary Relations (Classes)

General: Graph (class applied Logicto instance node)

inst1

class(inst1)class

HasInstance

Example: Graph Logic

Warren Buffett

Billionaire

Billionaire(Warren Buffett)

Predicates: Binary Relations

inst1

General: Graph (labeled arc) Logic

Example: Graph Logic

binrel(inst1, inst2)inst2

binrel

Warren Buffett General Electric

Trust Trust (Warren Buffett, General Electric)

Object-Centered Logic:Grouping Binary Relations Around Instance

General: Graph (Object-Centered)(inst0-centered) Logic

Example: Graph (Object-Centered)(Socrates-centered) Logic

Philosopher(Socrates) Substance(Socrates, P1) Teaching(Socrates, T1)P1

T1

Substance

inst0

inst1

instn

binrel1binrel1(inst0, inst1)

binreln(inst0, instn)

class(inst0)

Teaching

class

binreln

. . .

Philosopher

Socrates

Logic of Frames (‘Records’): AssociatingSlots 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

inst0 instn

slot1

slotn

. . .

slot1->inst1;

slotn->instn)

inst0#class(

. . .

Teaching

Socrates

inst0 class, slot1 = inst1, . . . slotn = instn

inst1

Philosopher

class

Tools

1.OWLVIZ

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.

GITHUB

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

Implementation

Step1: Convert into slotted fomulassyntax(U/B):

syntax(slotted) Person(p)^ -> p#person(

hassibling(p,c) hassibing->c)

Array:

swlrb:swrlb:greaterthan -> age1 ( (age1,ag2)

(greaterthan->age2) array:

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

Step 3 Generate graphsusing dot file as the input of

graphviz

An Example

Person(?x) ^ Man(?y) ^ hasSibling(?x,?y) ^ hasAge(?x,?agel) ^ hasAge(?y,?age2)

^ swrlb:greaterThan(?age2,?age1) -> hasOlderBrother(?x,?y)

body parts: Person x null class Man y null class hasSibling x y property hasAge x agel property hasAge y age2 property swrlb:greaterThan age2 age1 SWRL_Building head parts: hasOlderBrother x y property

ConclusionSWRL 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

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.