Hi, I got a quick, preliminary question: why does the DL community use 'semantic reasoners' rather than theorem provers? How are they different from each other? Thanks Steve -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20100719/9617dd2d/attachment.htm>