W3C home > Mailing lists > Public > semantic-web@w3.org > May 2006

Re: How to assert equivalence of URIs ?

From: Andrea Splendiani <andrea.splendiani@unimib.it>
Date: Mon, 29 May 2006 19:40:36 +0200
Message-Id: <D202DD4C-C6BB-44DB-A00F-20E7821BD276@unimib.it>
Cc: "Pierre-Antoine Champin" <swlists-040405@champin.net>, semantic-web@w3.org
To: "Danny Ayers" <danny.ayers@gmail.com>

Yes, what about declaring equivalence of individuals and properties  
in RDF ?

But anyway, I would like to address this point:
don't you think that a way to declare that two URI are the same  
(independent of wether they refer to resoirces, properties or  
instances, classes,...) could be useful ?

I'm thinking about some "refactoring" of URIs, after which a whole  
set of URIs may change its namesapce for instance, but not at all the  
meaning under any circumstances. Ok, this may be a sensible point,  
but I think it may sense that I can assert that:

is equilvalent to:

if I'm defining these terms and just refactoring things...

This  equivalence comes before their menaing hence their RDF/OWL  
definition, at least i think.

I was wondering wether I could state this.

Andrea Splendiani

Of course all your inputs are very useful and allow me to solve the  

Il giorno 29/mag/06, alle ore 19:29, Danny Ayers ha scritto:

> On 5/29/06, Andrea Splendiani <andrea.splendiani@unimib.it> wrote:
>> Thanks,
>> Is there also a way to assert the equivalence without requiring owl ?
>> that is, just for RDF assesrtions ?
> As Jon suggested, stating
> x rdfs:subClassOf y
> y rdfs:subClassOf x
> is effectively the same as stating
> x owl:equivalentClass y
> i.e. all members of x are members of y, and vice versa.
> Cheers,
> Danny.
> -- 
> http://dannyayers.com
Received on Monday, 29 May 2006 17:43:08 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:40:59 UTC