Hello Krzysztof and Marek,
Actually, there are two 'styles' of consistency checks in OWLIM, those
with heads and those without. The headless kind is the more natural, but
the ones with heads allow for the checking of incoming data (which might
not correspond to the current rule-set).
However, as Krzysztof rightly spotted, there seems to be a problem with
the consistency checks with heads in version 4.3.
We have raised an issue on our bug tracker and will fix this as soon as
possible.
Thanks for pointing it out.
barry
Barry Bishop
OWLIM Product Manager
Ontotext AD
Tel: +43 650 2000 237
email: barry.bis...@ontotext.com
www.ontotext.com
On 29/02/12 16:50, Marek Šurek wrote:
Hi,
I think the problem is with your understanding what you should expect
from consistency checks.
Consistency checks are here to reveal inconsistency in
repository/ontology. Therefore they don't produce any consequence
(corollary) they just alert in case of inconsistency. If you want to
create consequence you should create rule. In you case it should look
like this :
Id: yourRangeRule
x p y
p c
-
y c
Marek
*From:* Krzysztof Sielski
*To:* Owlim discussion
*Sent:* Wednesday, 29 February 2012, 16:29
*Subject:* [Owlim-discussion] Consistency checks with corollaries not
implemented
Hello,
I added a consistency check to the rule definition file as specified
in the user guide:
Consistency: range
x p y
p c
-
y c
Unfortunatelly, when the .pie file is compiled, an Exception is thrown:
java.lang.RuntimeException: Consistency checks with corollaries not
implemented
I am using Owlim SE 4.3.4423. Is it a functionality that will be
implemented in future releases?
-- Regards,
Krzysztof Sielski
Poznan Supercomputing and Networking Center
___
Owlim-discussion mailing list
Owlim-discussion@ontotext.com <mailto:Owlim-discussion@ontotext.com>
http://ontomail.semdata.org/cgi-bin/mailman/listinfo/owlim-discussion
___
Owlim-discussion mailing list
Owlim-discussion@ontotext.com
http://ontomail.semdata.org/cgi-bin/mailman/listinfo/owlim-discussion
___
Owlim-discussion mailing list
Owlim-discussion@ontotext.com
http://ontomail.semdata.org/cgi-bin/mailman/listinfo/owlim-discussion
