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 <rdfs:range> c
-----------------
y <rdf:type> c
Marek
________________________________
From: Krzysztof Sielski <siel...@man.poznan.pl>
To: Owlim discussion <owlim-discussion@ontotext.com>
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 <rdfs:range> c
-----------------
y <rdf:type> 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
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
