W3C home > Mailing lists > Public > public-semweb-lifesci@w3.org > March 2013

Re: owl:sameAs - Is it used in a right way?

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 20 Mar 2013 12:15:11 -0500
Cc: (wrong string) žİMžEK <s.umutcan@gmail.com>, Kingsley Idehen <kidehen@openlinksw.com>, w3c semweb HCLS <public-semweb-lifesci@w3.org>
Message-Id: <B924B6D8-DF35-4AAE-B794-29719B42A875@ihmc.us>
To: Oliver Ruebenacker <curoli@gmail.com>

On Mar 20, 2013, at 7:54 AM, Oliver Ruebenacker wrote:

>     Hello,
> 
> On Wed, Mar 20, 2013 at 12:20 AM, Pat Hayes <phayes@ihmc.us> wrote:
>> But RDF isnt intended to be used in theology. It is intended for recording data, and most data is pretty mundane stuff about which there is not a lot of factual disagreement.
> 
>  I think that's the wrong argument. A logical system like RDF should
> enable a community to state whatever they decide worthy of stating.

Well, that would be nice, but as a *logical* system, RDF is almost comically lacking in expressivity. It is binary relational logic without disjunction or negation or implication or universal quantification. All it has are existential quantifiers and conjunction. So to expect people to say whatever they think is worth saying using this, is close to insulting to the people in question :-).

> Whether they agree with others or not should not be a concern of RDF.

And it isn't, in fact. But disagreement is likely to produce inconsistencies, which are a concern of RDF (well, of RDF/OWL, anyway.)

> Provenance should be a different level than the base logic

Of course. See http://www.w3.org/2011/prov/wiki/Main_Page

> : we should
> only start thinking about provenance once we are done deciding what
> consistency means.

True. But we have decided what consistency means, it is defined rigorously in the 2004 RDF specs. 

> You find religious groups perfectly agree on some
> truths. Scientific truths get overturned in unexpected places all the
> time.

Actually I think both of these statements are false, but lets not argue about it here. 

Pat

> 
>     Take care
>     Oliver
> 
> -- 
> IT Project Lead at PanGenX (http://www.pangenx.com)
> The purpose is always improvement
> 
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Wednesday, 20 March 2013 17:15:40 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:01 UTC