|
|
|
|
|
|
|
|
|
|
|
|
|
l |
#
$Id: authen.axiom.n3,v 1.2 2001/10/01 00:12:34 amdus Exp
|
|
$
|
|
|
l |
@prefix
log: <http://www.w3.org/2000/10/swap/log#>.
|
|
|
l |
@prefix
: <authen#>.
|
|
|
l |
<mailto:jos.deroo.jd@belgium.agfa.com>
:member
|
|
|
<http://www.agfa.com>.
|
|
|
l |
<http://www.agfa.com>
:w3cmember <http://www.w3.org>.
|
|
|
l |
<http://www.agfa.com>
:subscribed <mailto:w3c-ac-
|
|
|
forum@w3.org/>.
|
|
|
l |
{{:person
:member :institution.
|
|
|
l |
:institution :w3cmember
<http://www.w3.org>.
|
|
|
l |
:institution :subscribed :mailinglist}
log:implies
|
|
|
l |
{:person
:authenticated :mailinglist}} a log:Truth;
|
|
|
log:forAll
:person, :mailinglist, :institution.
|
|