Re: RDF vocbulary compatibility from Jeremy Carroll on 2003-02-08 (www-webont-wg@w3.org from February 2003)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Sat, 8 Feb 2003 15:49:32 +0100
To: www-webont-wg@w3.org
Message-Id: <200302081549.32297.jjc@hpl.hp.com>

Jeremy
> I was unable to explain why 
> the following RDF vocabulary is omitted from OWL Lite,
...
> As far as I can see there is no reason (other than aesthetics),

Peter:
> RDF containers are extraordinarily problematic.  Their intended meaning is
> not compatible with their formal meaning.  My preference would be to remove
> them from OWL entirely.

While I do not like, nor personally do I use, RDF containers :( ...


The thing I find hard to justify is that I can build an equivalent vocabulary 
within OWL Lite ... and that's fine, as long as it's not the one in the RDF 
or RDFS namespace! The current text of AS&S blocks interoperation with 
existing legacy while allowing new ontologies that suffer the same features.

e.g.
the following is legal OWL Lite iff &my; is not bound to the RDF or RDFS 
namespace ... It seems hard to justify.
We should not set out to police when formal meaning and any phrases in the 
comments diverge.

<owl:Class rdf:about="&my;Container">
  <rdfs:comment>The class of my containers.</rdfs:comment>
</owl:Class>

<owl:Class rdf:about="&my;Bag">
  <rdfs:comment>The class of unordered containers.</rdfs:comment>
  <rdfs:subClassOf rdf:resource="&my;Container"/>
</owl:Class>

<owl:Class rdf:about="&my;Seq">
  <rdfs:comment>The class of ordered containers.</rdfs:comment>
  <rdfs:subClassOf rdf:resource="&my;Container"/>
</owl:Class>

<owl:Class rdf:about="&my;Alt">
  <rdfs:comment>The class of containers of alternatives.</rdfs:comment>
  <rdfs:subClassOf rdf:resource="&my;Container"/>
</owl:Class>

<owl:ObjectProperty rdf:about="&my;_1">
  <rdfs:comment>The first member of a container</rdfs:comment>
  <rdfs:domain>
     <owl:Class rdf:about="&my;Container"/>
  </rdfs:domain>
</owl:ObjectProperty>

<owl:ObjectProperty rdf:about="&my;_2">
  <rdfs:comment>The second member of a container</rdfs:comment>
  <rdfs:domain>
     <owl:Class rdf:about="&my;Container"/>
  </rdfs:domain>
</owl:ObjectProperty>

<owl:ObjectProperty rdf:about="&my;_3">
  <rdfs:comment>The third member of a container</rdfs:comment>
  <rdfs:domain>
     <owl:Class rdf:about="&my;Container"/>
  </rdfs:domain>
</owl:ObjectProperty>

Received on Saturday, 8 February 2003 09:48:41 UTC