- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Wed, 28 May 2008 03:06:46 -0400
- 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 UTC