W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2001

Re: model theory (Alt and disjunction: just say no)

From: Dan Connolly <connolly@w3.org>
Date: Tue, 28 Aug 2001 21:18:07 -0500
Message-ID: <3B8C50DF.5A823D4D@w3.org>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:49 EDT