- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 28 Aug 2001 21:18:07 -0500
- To: pat hayes <phayes@ai.uwf.edu>
- CC: w3c-rdfcore-wg@w3.org
pat hayes wrote: > > Attached is the final version of the MT document. |Alternatives are transparent containers which have a special disjunctive |intepretation. [...] |>> if x is in IALT then for any z in IP, <x y> is in IEXT(z) iff |for some n, <x(n) y> is in IEXT(z) Let's not go there/do that. Alt is just another class. There's nothing special about it except that applications can treat it specially because they know its name. If _:something :relatedTo _:C. _:C rdf:type rdf:Alt. _:C rdf:_1 _:x. _:C rdf:_2 _:y. then we neither license _:something :relatedTo _:x. nor _:something :relatedTo _:y. This is similar to the situation where folks assume that _:something dc:creator _:C. _:C a rdf:Bag. _:C rdf:_1 _:Kernighan. _:C rdf:_2 _:Ritchie. entails _:something dc:creator _:Kernighan. But it doesn't. Documentation for the dc:creator property might say that *for that property* the above inference is licensed. But it's not a feature of the RDF core language. Similarly for rdf:Alt. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 28 August 2001 22:18:10 UTC