Hi Christos,
You could not do that with the rule engine of Owlim - you may use rules
to describe pattens in the RDF graph that, if found, lead to the
assertion of a particular statement, not as a way to restrict what kind
of statements one may assert in the storage.
What could be done is to state that if such statements are asserted with
both X and Z as objects then they are should be considered one and the
same, e,g ... if that makes sense to you.
So you may add such a rule to the ruleset or even just state that the
from your rule is of type owl:InverseFunctionalProperty.
That would trigger the same kind of inference.
HTH,
Damyan Ognyanov
Ontotext
On 5.7.2011 г. 14:47 ч., Christos Strubulis wrote:
Hello to all,
I am trying to make a constraint rule in SwiftOwlim 3.5 but I cannot.
I would like to tell the reasoner that when there is an already
inferred statement in the KB: x y I do not want another
one with same y.
One example of my rule is the following:
Id: r1
x y [Constraint x != z]
z y [Constraint z != x]
---
x y
I had read in the thread "rule format & Cut, again" that I can have
the above behavior using [Cut]:
Id: r1
x y [Constraint x != z] [Cut]
z y [Constraint z != x]
---
x y
Any help on this plz...
___
OWLIM-discussion mailing list
OWLIM-discussion@ontotext.com
http://ontotext.com/mailman/listinfo/owlim-discussion
___
OWLIM-discussion mailing list
OWLIM-discussion@ontotext.com
http://ontotext.com/mailman/listinfo/owlim-discussion
