@prefix rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:     <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log:      <http://www.w3.org/2000/10/swap/log#> .
@prefix foaf:     <http://xmlns.com/foaf/0.1/> .
@prefix user:     <http://id.ninebynine.org/wip/2002/user/> .
@prefix homenet:  <http://id.ninebynine.org/wip/2002/homenet/> .

# 2. Generate graphical representation of inference rule

<#ante> log:implies <#rule> .
<#rule> log:implies <#cons> .
<#rule> a log:Rule ; rdfs:label "implies" .

<#ante> a foaf:Person ;
    foaf:name           "?userName" ;
    user:usesHost       [ a user:HostSystem ; rdfs:label "?userHost" ] ;
    user:accessType     [ a user:AccessPolicy ; rdfs:label "?userAccess" ] .

<#cons> a user:HostSystem ;
    rdfs:label      "?userHost" ;
    user:usedByName "?userName" ;
    user:accessType [ a user:AccessPolicy ; rdfs:label "?userAccess" ] .