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