- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Tue, 14 Nov 2006 09:26:39 -0800
- To: Pascal Hitzler <hitzler@aifb.uni-karlsruhe.de>
- CC: W3C RIF WG <public-rif-wg@w3.org>
Hi Pascal, I mentioned to the RIF WG your 'inc' predicate that you use for capturing DL features such as class mutual exclusion and negation in general. From what I understood in your answer to my question (How the inconsistent predicate 'inc' is used by the interpret of the LP translation?), you said that it was ignored, and therefore such inconsistensies were tolerated in the translation. The WG wishes to have examples for such things as ignoring features (such as negation). Can you provied yours as one? Thanks. -hak -- Hassan Aït-Kaci ILOG, Inc. - Product Division R&D tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com
Received on Tuesday, 14 November 2006 17:26:49 UTC