Methodology
First we get some standard swrl rules (Unary/Binary Datalog formulas) from the input
of our interface,and then we translate the Unary/Binary formulas into slotted formulas. Meanwhile, each unit of the rules will be split up into three parts:properties, instances
or classes.
After converting SWRL rules to the Grailog’s slotted formulas, we generate the result
of the split part into a text file , and use it to rewrite the template of the dot file, which
can be recognized by Graph-viz , an important component of OWLVIZ.So a visual
graph of the rules will be generated to show the objects and their properties and
relations . This graph is a great way to represent a rule to a human Expert. So, he
/she can be able to check and understand the rule visually.
More for visualization
In the following an example will be used to make the context.
learer and also to show how the tool works. Consider that
we have the left Eq as input SWRL rule. the output graph is
shown in the right figure which is a.png picture based on
user selection:
In the output figure, the simple red arrows show a connection
between an object its class or between to objects.The red
dotted arrows show a connection between an object. and
its property.The green arrows show the conclusion of the rule.
An oval show a class and a box show an object, instance and
or constant.
As you can see in figure , there are to objects “x” and “y”
which both has one property named “hasAge” that combines
“age1” and “age2” respectively.
learer and also to show how the tool works. Consider that
we have the left Eq as input SWRL rule. the output graph is
shown in the right figure which is a.png picture based on
user selection:
In the output figure, the simple red arrows show a connection
between an object its class or between to objects.The red
dotted arrows show a connection between an object. and
its property.The green arrows show the conclusion of the rule.
An oval show a class and a box show an object, instance and
or constant.
As you can see in figure , there are to objects “x” and “y”
which both has one property named “hasAge” that combines
“age1” and “age2” respectively.