Visualizing SWRL Rules Using Grailog Frame Formulas Team 8 : Bo Yan Juyan Zhang Ismail Akbari Instructor: Harold Boley.
Post on 14-Dec-2015
218 Views
Preview:
Transcript
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
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.
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
Step1: Convert into slotted fomulassyntax(U/B):
syntax(slotted) Person(p)^ -> p#person(
hassibling(p,c) hassibing->c)
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
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.
top related