W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

Re: [UCR] RIF needs different reasoning methods

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Fri, 10 Mar 2006 19:07:57 +0000
Message-Id: <25bf8476b862635e0d8bc0041530b9c6@cs.man.ac.uk>
Cc: Bijan Parsia <bparsia@isr.umd.edu>, public-rif-wg@w3.org
To: Francois Bry <bry@ifi.lmu.de>

On 10 Mar 2006, at 09:03, Francois Bry wrote:

> Ian Horrocks wrote:
>> Given that a particular prover has an adequate response time and
>> provides correct answers (as defined by the semantics), then why would
>> I care what procedure it uses in order to do its work? Moreover, how
>> would I even be able to distinguish what different provers are doing
>> if they all give the same answers? They could claim to be using any
>> old technique, and I would have no way to tell if it was true or not.
> Consider a relational database and views definitions. Assume they are
> expressed in a standard logical formalism or the existence of a
> interchange format expressing the realtional database and the views in 
> a
> format "understood" by a first-order logic theorem prover.
>
> Query-answering against this database and against the views can be
> perforemd using the theorem prover. The answers would be the same as
> with database query answering methods. The efficiency, however, would
> not be the same.
>
> Do you get my point?

No.

I understand that different implementations and tools may have 
different performance characteristics, but surely it is up to the 
"consumer" of rules as to what tools they use and what performance 
characteristics are important to them. What you suggest seems like 
having SQL specify implementation details of the DB system to be used - 
which doesn't make any sense to me either.

Ian


>
> Regards,
>
> François
Received on Friday, 10 March 2006 19:49:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:27 GMT