[DL] Semantic reasoner vs. theorem provers

Steve W s.wong.731 at gmail.com
Mon Jul 19 13:30:40 CEST 2010


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: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20100719/9617dd2d/attachment.html>


More information about the dl mailing list