Hi Marta, the straight answer is NO - the support of complementOf requires negation which is not supported by our rule engine. It will made the inference process non-monotonic - e.g. a valid inference could be made invalid after asserting a statement later on.
HTH, Damyan ----- Original Message ----- From: Marta de Francisco To: owlim-discussion@ontotext.com Sent: Wednesday, July 08, 2009 12:57 PM Subject: [Owlim-discussion] owl:complementOf relation Hi, I'd like to know if one of the versions of owlim (either Swift or Big) offer some support for owl:complementOf relation. Is it possible to model this relation using pie rules? Has anybody tried it? Thanks for the help and best regards, Marta. ------------------------------------------------------------------------------ _______________________________________________ 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