Your RuleML presentation (ACTION on hak)

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