RE: timbl-03 collection clutter

On Wed, 2003-05-07 at 10:40, pat hayes wrote:
[...]
> >PatH - you bet its trivial to change Owl not to need them - can you 
> >propose specific text for the change?
> 
> Wherever any part of the OWL-XX syntactic conditions currently 
> mention triples of the form
> 
> xxx rdf:type rdf:List
> 
> that reference is modified to refer to triples of the form
> 
> xxx rdf:first yyy
> or
> zzz rdf:rest xxx
> or
> xxx rdf:rest zzz
> 
> which could all be called 'list triples of xxx' or some such phrase. 
> A minor edit to the text, no significant change to any actual 
> conditions.

What about the name separation stuff?

"the ontologies in O, taken together, provide a type for every
individual ID;"
 -- Web Ontology Language (OWL) Abstract Syntax and Semantics
Section 4. Mapping to RDF Graphs
 http://www.w3.org/TR/owl-semantics/mapping.html#4.1
http://www.w3.org/TR/2003/WD-owl-semantics-20030331/mapping.html#4.1


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Wednesday, 7 May 2003 12:25:44 UTC