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
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]
