Re: fact checking for semantic reasoners

On Sun, 2011-08-28 at 12:02 +0100, Paola Di Maio wrote:
[ . . . ]

> The question is, does any of the popular semantic reasoners 
> have built in fact checking routines?
> 
What do you mean by "fact checking"?  Do you mean proving one assertion
(or set of assertions) based on another set of assertions?



-- 
David Booth, Ph.D.
http://dbooth.org/

Opinions expressed herein are those of the author and do not necessarily
reflect those of his employer.