Hi everyone, Can you please let me know if there is any decidable subset of ACE has been identified? Cheers, Huan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20121114/e34ee507/attachment.html>