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
[email protected]
http://ontomail.semdata.org/cgi-bin/mailman/listinfo/owlim-discussion
