Visualizing SWRL Rules
Using Grailog Frame
Formulas
Team 8 :
Instructor:
Bo Yan
Juyan Zhang
Ismail Akbari
Harold Boley
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

Unary/Binary Datalog formulas
VS.
Slotted formulas
Three RuleML Syntaxes
Syntax
Visualization
RuleML/Grailog
Symbolic
Presentation
Serialization
RuleML/POSL
RuleML/XML
Predicates: Unary Relations (Classes)
General:
Graph (class applied
to instance node)
Logic
class
class(inst1)
HasInstance
inst1
Example: Graph
Logic
Billionaire
Warren Buffett
Billionaire(Warren Buffett)
Predicates: Binary Relations
General:
inst1
Graph (labeled arc)
binrel
inst2
Example: Graph
Warren
Buffett
Trust
General Electric
Logic
binrel(inst1, inst2)
Logic
Trust
(Warren Buffett,
General Electric)
Object-Centered Logic:
Grouping Binary Relations Around Instance
General:
Graph
(Object-Centered)
(inst0-centered)
Logic
class
class(inst0) 
binrel1(inst0, inst1) 
binrel1
inst0
...
inst1
binreln instn
Example:
binreln(inst0, instn)
Graph
(Object-Centered)
(Socrates-centered) Logic
Philosopher
Substance
Philosopher(Socrates) 
Substance(Socrates, P1) 
P1
Socrates
Teaching
T1
Teaching(Socrates, T1)
Logic of Frames (‘Records’): Associating
Slots with OID-Distinguished Instance
General:
Graph
(bulleted arcs)
class
slot1
inst0
...
inst1
slotn
Example:
inst0#class(
slot1->inst1;
...
instn slotn->instn)
Graph
Socrates
Socrates#Philosopher(
Substance->P1;
P1
Teaching
inst0  class,
slot1 = inst1,
...
slotn = instn
(PSOA-like Frame)
Logic
Philosopher
Substance
(PSOA-like Frame)
Logic
T1
Teaching->T1)
7
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-RULESVISUALIZER

Implementation
Step1: Convert into slotted
fomulas
syntax(U/B):
Person(p)^
hassibling(p,c)
Array:
->
syntax(slotted)
p#person(
hassibing->c)
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 graphs

using 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

Man y
null
class

hasSibling
x
y
property

hasAge
x
agel
property

hasAge
y
age2
property

swrlb:greaterThan
age2
age1

head parts:

hasOlderBrother x
y
property
class
SWRL_Building
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
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.



