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.

Received on Sunday, 2 October 2011 12:19:41 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:04:09 UTC