# $Id: authen.axiom.n3,v 1.10 2003/06/29 11:31:16 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <authen.axiom#>.

<mailto:jos.deroo@agfa.com> :member <http://www.agfa.com>.
<http://www.agfa.com> :w3cmember <http://www.w3.org>.
<http://www.agfa.com> :subscribed <mailto:w3c-ac-forum@w3.org/>.

 {:authen1 log:racine ?LR.
  ?PERSON :member ?INSTITUTION.
  ?INSTITUTION :w3cmember <http://www.w3.org>.
  ?INSTITUTION :subscribed ?MAILINGLIST}
  =>
{?PERSON :authenticated ?MAILINGLIST}.