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

Re: How to assert equivalence of URIs ?

From: Andrea Splendiani <andrea@pasteur.fr>
Date: Mon, 29 May 2006 19:49:20 +0200
Message-Id: <A0A1B14B-CBD7-4397-9AF4-0CFB8BB70B13@pasteur.fr>
Cc: "Danny Ayers" <danny.ayers@gmail.com>, "Pierre-Antoine Champin" <swlists-040405@champin.net>, semantic-web@w3.org
To: Andrea Splendiani <andrea.splendiani@unimib.it>


Il giorno 29/mag/06, alle ore 19:40, Andrea Splendiani ha scritto:

>
> Yes, what about declaring equivalence of individuals and properties  
> in RDF ?
^^^^^
Ok, I understeand what above is quite imprecise...
Let's say equivalence of resources and properties...

A.



>
> 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:
>
> http://www.myspace.org/release/myontology1.owl#partA
> is equilvalent to:
> http://www.myspace.org/releases/ontologies/partsOntology#partA
>
> 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.
>
> best,
> Andrea Splendiani
>
> Of course all your inputs are very useful and allow me to solve the  
> problem!
>
>
>
>
> 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:52:01 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:51 UTC