W3C home > Mailing lists > Public > public-rdf-wg@w3.org > October 2011

Re: the word "reasoning"

From: Richard Cyganiak <richard@cyganiak.de>
Date: Sun, 2 Oct 2011 13:18:46 +0100
Cc: Pierre-Antoine Champin <pierre-antoine.champin@liris.cnrs.fr>, "public-rdf-wg@w3.org" <public-rdf-wg@w3.org>
Message-Id: <79D22F28-9E56-4CF9-A0FA-9DD8D752C74C@cyganiak.de>
To: Sandro Hawke <sandro@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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:45 GMT