W3C home > Mailing lists > Public > public-owl-wg@w3.org > May 2008

Re: issue-21 / importing multiple versions of the same ontology

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Wed, 28 May 2008 03:06:46 -0400
Message-Id: <B3618F43-01A7-4466-88BE-4E39A3159BA8@gmail.com>
To: OWL Working Group WG <public-owl-wg@w3.org>

Related to this, I'd like to suggest we give owl:incompatibleWith  
more tooth, using analogous language to the language Peter proposed  
for multiple versions of the same ontology. That is when the subject  
of owl:incompatibleWith is in the imports closure of O, or any of its  
versionURIs, and the object the assertion is URI  IncURI, then no  
ontology with ontology URI or version URI being IncURI should be  
imported.

-Alan

On May 28, 2008, at 2:54 AM, Alan Ruttenberg wrote:

> The last specific proposal from Peter:
>
> http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0212.html
>
> Says:
>
>> An ontology SHOULD NOT import multiple versions of the same  
>> ontology, i.e., different ontology documents with the same  
>> ontology URI but that
>> do not share an owl:versionInfo annotation value.
>
>
> However, the syntax document currently says:
>> The OWL 2 specification provides no means for checking whether O  
>> is compatible with the actually imported ontology versions.  
>> Furthermore, if the ontologies imported into O additionally import  
>> other ontologies, it is possible for O to import two different,  
>> possibly incompatible, versions from the same ontology series. OWL  
>> 2 provides no built-in means for detecting such situations.  
>> Extensions providing such a mechanism, however, can be implemented  
>> on top of OWL 2 import mechanism presented here.
>>
>>
>
> -Alan
>
>
Received on Wednesday, 28 May 2008 07:07:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 28 May 2008 07:07:32 GMT