- From: Richard Cyganiak <richard@cyganiak.de>
- Date: Sun, 2 Oct 2011 13:18:46 +0100
- To: Sandro Hawke <sandro@w3.org>
- Cc: Pierre-Antoine Champin <pierre-antoine.champin@liris.cnrs.fr>, "public-rdf-wg@w3.org" <public-rdf-wg@w3.org>
On 1 Oct 2011, at 18:15, Sandro Hawke wrote: > As I understand it, (automated) reasoning is the use of logic > algorithms. Ok, then for clarity I'd prefer if we'd avoid the word “reasoning” for other kinds of algorithms such as arithmetics and string processing. > FWIW, the conformance sections of OWL and RIF specs define things like > entailment checkers and consistency checkers, which are reasoners Ok. The terms “entailment checker” and “consistency checker” make sense to me. Best, Richard
Received on Sunday, 2 October 2011 12:19:41 UTC