- From: Karl Dubost <karl@w3.org>
- Date: Tue, 23 Sep 2003 20:00:39 -0400
- To: public-sw-meaning@w3.org
Le mardi, 23 sep 2003, à 19:05 America/Montreal, Dan Connolly a écrit :
> Does mailto:foo@example identify an Internet mailbox?
What's an internet mailbox?
- an individual user? -> aminata@example.org
- a generic user? -> webmaster@example.org
- Aminata's pager? -> aminata+pager@example.org
- a mailing list? -> public-sw-meaning@example.org
Does all of them qualify in the same way?
> But consider this argument:
>
> 1. { ?X.log:uri str:startsWith "mailto:" } => { ?X a :Mailbox }.
> 2. <mailto:foo@example> log:uri "mailto:foo@example".
> 3. "mailto:foo@example" str:startsWith "mailto:"
> 4. <mailto:foo@example> a :Mailbox.
/me still tries to understand in plain english if not plain french. :))
> Either way, the w3.org access control machine is going to
> accept the above proof that yes, <mailto:foo@example> a :Mailbox.
Depending on the circumstances I guess.
--
Karl Dubost - http://www.w3.org/People/karl/
W3C Conformance Manager
*** Be Strict To Be Cool ***
Received on Tuesday, 23 September 2003 20:00:41 UTC