Hi,<div><br></div><div>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?</div><div><br></div><div>Thanks</div>
<div>Steve</div>