#Processed by Id: cwm.py,v 1.111 2002/12/07 01:16:18 timbl Exp
# using base file:/Web/ninebynine.org/docs/SWAD-E/Scenario-HomeNetwork/Users.n3
# Notation3 generation by
# notation3.py,v 1.123 2002/12/07 23:43:28 timbl Exp
# Base was: file:/Web/ninebynine.org/docs/SWAD-E/Scenario-HomeNetwork/Users.n3
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dhcp: <http://id.ninebynine.org/wip/2002/dhcp/> .
@prefix dnsa: <http://id.ninebynine.org/wip/2002/dnsa/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix homenet: <http://id.ninebynine.org/wip/2002/homenet/> .
@prefix ical: <http://www.ilrt.bris.ac.uk/discovery/2001/06/schemas/ical-full/hybrid.rdf#> .
@prefix icalutil: <http://ilrt.org/discovery/2001/06/schemas/ical-util#> .
@prefix intprop: <http://id.ninebynine.org/wip/2002/intprop/> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix ndev: <http://id.ninebynine.org/wip/2002/ndev/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix string: <http://www.w3.org/2000/10/swap/string#> .
@prefix user: <http://id.ninebynine.org/wip/2002/user/> .
homenet:AllICMP a user:ServiceProtocol;
user:ipProtocol "ICMP";
rdfs:comment """
All ICMP services.
""";
rdfs:label "All ICMP services" .
homenet:AllServices a user:ServiceGroup;
user:accessProtocol homenet:AllICMP,
homenet:MostTCP,
homenet:MostUDP;
rdfs:comment """
All services on all normal protocols.
Not IGMP or routing protocols.
""";
rdfs:label "All services" .
homenet:AllTimes a ical:VCALENDAR;
user:rangeName "AllTimes";
ical:VEVENT__PROP [
a ical:REC__VEVENT;
intprop:dayName "daily";
ndev:dayName "daily";
ndev:timeEnd "24:0";
ndev:timeStart "0:0";
ical:DTEND [
a ical:TIME;
icalutil:hour "24";
icalutil:minute "0";
rdf:value "T240000" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "0";
icalutil:minute "0";
rdf:value "T000000" ];
ical:RRULE [
a ical:RECUR;
ical:FREQ "DAILY";
ical:INTERVAL "1" ] ];
rdfs:comment """
All times on all days.
""";
rdfs:label "No access time restriction" .
homenet:DownloadAccessRule a user:AccessRule;
user:accessServices homenet:P2PServices;
user:accessTimes homenet:DownloadTimes;
rdfs:comment """
Access rule for all services at very restricted times.
""" .
homenet:DownloadTimes a ical:VCALENDAR;
user:rangeName "DownloadTimes";
ical:VEVENT__PROP [
a ical:REC__VEVENT;
intprop:dayName "Saturday";
ndev:dayName "Saturday";
ndev:timeEnd "22:00";
ndev:timeStart "20:00";
ical:DTEND [
a ical:TIME;
icalutil:hour "22";
icalutil:minute "00";
rdf:value "T220000" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "20";
icalutil:minute "00";
rdf:value "T200000" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "SA";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ],
[
a ical:REC__VEVENT;
intprop:dayName "Sunday";
ndev:dayName "Sunday";
ndev:timeEnd "08:00";
ndev:timeStart "04:00";
ical:DTEND [
a ical:TIME;
icalutil:hour "08";
icalutil:minute "00";
rdf:value "T080000" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "04";
icalutil:minute "00";
rdf:value "T040000" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "SU";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ];
rdfs:comment """
Designated download times:
saturday 20:00-22:00
sunday: 04:00-08:00
""";
rdfs:label "Times that download activity is allowed" .
homenet:GK a foaf:Person;
user:accessType homenet:WorkAccess;
user:usesHost homenet:octarine,
homenet:twoflower;
rdfs:comment """
Uses the Internet for work, also network admin, unrestricted Internet access.
""";
foaf:mbox <mailto:gk-rdfweb@ninebynine.org>;
foaf:name "Graham Klyne" .
homenet:Mandy a foaf:Person;
user:accessType homenet:WorkAccess;
user:usesHost homenet:halva;
rdfs:comment """
Uses the Internet for work, unrestricted Internet access.
""";
foaf:name "Mandy" .
homenet:MostTCP a user:ServiceProtocol;
user:excludePorts (
"123" );
user:ipProtocol "TCP";
rdfs:comment """
All TCP services excluding NTP (123)
""";
rdfs:label "Most TCP services" .
homenet:MostUDP a user:ServiceProtocol;
user:excludePorts (
"20"
"123" );
user:ipProtocol "UDP";
rdfs:comment """
All UDP services excluding NTP (123) and ftp-data (20)
""";
rdfs:label "Most UDP services" .
homenet:NoAccess a user:AccessPolicy;
user:access homenet:NoAccessRule;
rdfs:comment """
Access policy for network elements that are not to touch the Internet
""";
rdfs:label "No-access policy" .
homenet:NoAccessRule a user:AccessRule;
user:accessServices homenet:NoServices;
user:accessTimes homenet:AllTimes;
rdfs:comment """
Access rule for no services at any time.
""" .
homenet:NoServices a user:ServiceGroup;
rdfs:comment """
No services.
""";
rdfs:label "No services" .
homenet:NonP2PTCP a user:ServiceProtocol;
user:excludePorts (
"1214"
"6346"
"6347" );
user:ipProtocol "TCP";
rdfs:comment """
All TCP services excluding peer-to-peer protocols:
FastTrack (1214), GnuTella (6346, 6347)
""";
rdfs:label "Non-P2P TCP services" .
homenet:NotP2PServices a user:ServiceGroup;
user:accessProtocol homenet:AllICMP,
homenet:MostUDP,
homenet:NonP2PTCP;
rdfs:comment """
All services on all normal protocols, excluding peer-to-peer services.
""";
rdfs:label "All but peer-to-peer services" .
homenet:P2PServices a user:ServiceGroup;
user:accessProtocol homenet:P2PTCP;
rdfs:comment """
Peer-to-peer services.
""";
rdfs:label "Peer-to-peer services" .
homenet:P2PTCP a user:ServiceProtocol;
user:includePort "1214",
"6346",
"6347";
user:ipProtocol "TCP";
rdfs:comment """
All peer-to-peer TCP services:
FastTrack (1214), GnuTella (6346, 6347)
""";
rdfs:label "P2P TCP services" .
homenet:PlayAccess a user:AccessPolicy;
user:access homenet:DownloadAccessRule,
homenet:PlayAccessRule;
rdfs:comment """
Access policy for those who use the Internet for play.
""";
rdfs:label "Play access policy" .
homenet:PlayAccessRule a user:AccessRule;
user:accessServices homenet:NotP2PServices;
user:accessTimes homenet:PlayTimes;
rdfs:comment """
Access rule for non peer-to-peer services at restricted times.
""" .
homenet:PlayTimes a ical:VCALENDAR;
user:rangeName "PlayTimes";
ical:VEVENT__PROP [
a ical:REC__VEVENT;
intprop:dayName "weekday";
ndev:dayName "weekday";
ndev:timeEnd "10:15";
ndev:timeStart "8:45";
ical:DTEND [
a ical:TIME;
icalutil:hour "10";
icalutil:minute "15";
rdf:value "T101500" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "8";
icalutil:minute "45";
rdf:value "T084500" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "MO,TU,WE,TH,FR";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ],
[
a ical:REC__VEVENT;
intprop:dayName "weekday";
ndev:dayName "weekday";
ndev:timeEnd "16:45";
ndev:timeStart "16:00";
ical:DTEND [
a ical:TIME;
icalutil:hour "16";
icalutil:minute "45";
rdf:value "T164500" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "16";
icalutil:minute "00";
rdf:value "T160000" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "MO,TU,WE,TH,FR";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ],
[
a ical:REC__VEVENT;
intprop:dayName "weekday";
ndev:dayName "weekday";
ndev:timeEnd "22:00";
ndev:timeStart "20:00";
ical:DTEND [
a ical:TIME;
icalutil:hour "22";
icalutil:minute "00";
rdf:value "T220000" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "20";
icalutil:minute "00";
rdf:value "T200000" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "MO,TU,WE,TH,FR";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ],
[
a ical:REC__VEVENT;
intprop:dayName "weekend";
ndev:dayName "weekend";
ndev:timeEnd "11:15";
ndev:timeStart "8:45";
ical:DTEND [
a ical:TIME;
icalutil:hour "11";
icalutil:minute "15";
rdf:value "T111500" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "8";
icalutil:minute "45";
rdf:value "T084500" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "SA,SU";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ],
[
a ical:REC__VEVENT;
intprop:dayName "weekend";
ndev:dayName "weekend";
ndev:timeEnd "22:00";
ndev:timeStart "16:00";
ical:DTEND [
a ical:TIME;
icalutil:hour "22";
icalutil:minute "00";
rdf:value "T220000" ];
ical:DTSTART [
a ical:TIME;
icalutil:hour "16";
icalutil:minute "00";
rdf:value "T160000" ];
ical:RRULE [
a ical:RECUR;
ical:BYDAY "SA,SU";
ical:FREQ "WEEKLY";
ical:INTERVAL "1" ] ];
rdfs:comment """
Designated play times:
weekdays: 08:45-10:15, 16:00-16:45, 20:00-22:00
weekends: 08:45-11:15, 16:00-22:00
""";
rdfs:label "Times that non-work access is allowed" .
homenet:Rhi a foaf:Person;
user:accessType homenet:PlayAccess;
user:usesHost homenet:rhiannon_mc;
rdfs:comment """
Uses the Internet for games and chat; restricted access.
""";
foaf:name "Rhiannon" .
homenet:Ronan a foaf:Person;
user:accessType homenet:PlayAccess;
user:usesHost homenet:ronan_tb;
rdfs:comment """
Uses the Internet for games and downloads; restricted access.
""";
foaf:name "Ronan" .
homenet:ServiceAccess a user:AccessPolicy;
user:access homenet:WorkAccessRule;
rdfs:comment """
Access policy for network service elements.
For the time being, same as work access.
""";
rdfs:label "Network service access policy " .
homenet:WorkAccess a user:AccessPolicy;
user:access homenet:WorkAccessRule;
rdfs:comment """
Access policy for those who use the Internet for work.
""";
rdfs:label "Work access policy" .
homenet:WorkAccessRule a user:AccessRule;
user:accessServices homenet:AllServices;
user:accessTimes homenet:AllTimes;
rdfs:comment """
Access rule for all services at all times.
""" .
homenet:atuin a user:LocalNetwork;
dhcp:defLease "2419200";
dhcp:dhcpHostFQDN "luggage.atuin.ninebynine.org";
dhcp:maxLease "7257600";
dhcp:updateStyle "none";
user:addressPool "193.123.216.101 193.123.216.120";
user:broadcastAddr "193.123.216.127";
user:defaultAccess homenet:NoAccess;
user:defaultDNS (
"212.159.11.150"
"212.159.13.150"
"206.14.4.2" );
user:defaultGateway homenet:vimes;
user:dhcpHostName "luggage";
user:dhcpPoolEnd "193.123.216.120";
user:dhcpPoolStart "193.123.216.101";
user:netbiosServer "luggage";
user:networkAddr "193.123.216.64";
user:networkDomain "atuin.ninebynine.org";
user:networkMask "255.255.255.192";
rdfs:comment """
Home network based on single Ethernet segment connected to
the Internet by Cisco dial-on-demand ISDN router
running IOS router/firewall/NAT software.
""";
rdfs:label "Home network" .
homenet:halva a user:HostSystem;
dhcp:hostMACAddress "00:10:4B:9D:65:61";
dnsa:hostDomainName "halva.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.77";
user:accessType homenet:WorkAccess;
user:hostIP "193.123.216.77";
user:hostMAC "00:10:4B:9D:65:61";
user:hostName "halva";
user:localNet homenet:atuin;
user:systemAdmin homenet:GK;
user:usedBy homenet:Mandy;
user:usedByName "Mandy";
rdfs:comment """
Mandy's work computer, also sometimes used for family Internet browsing.
""";
rdfs:label "Mandy's computer" .
homenet:iconograph a user:HostSystem;
dhcp:hostMACAddress "00:60:B0:42:46:05";
dnsa:hostDomainName "iconograph.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.75";
user:accessType homenet:NoAccess;
user:hostIP "193.123.216.75";
user:hostMAC "00:60:B0:42:46:05";
user:hostName "iconograph";
user:localNet homenet:atuin;
user:systemAdmin homenet:GK;
rdfs:comment """
HP laserjet 5M printer, with duplex unit.
""";
rdfs:label "Main printer" .
homenet:luggage a user:HostSystem;
dhcp:hostMACAddress "00:04:75:73:dc:30";
dnsa:hostDomainName "luggage.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.65";
user:accessType homenet:ServiceAccess;
user:hostIP "193.123.216.65";
user:hostMAC "00:04:75:73:dc:30";
user:hostName "luggage";
user:localNet homenet:atuin;
user:systemAdmin homenet:GK;
rdfs:comment """
Dell dual Pentium-200 server running SuSE Linux.
Provides network services (DNS, DHCP, NTP, eyc.),
file services (Samba) and database services (MySQL).
""";
rdfs:label "Linux server" .
homenet:octarine a user:HostSystem;
dhcp:hostMACAddress "00:E0:81:04:4B:3E";
dnsa:hostDomainName "octarine.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.74";
user:accessType homenet:WorkAccess;
user:hostIP "193.123.216.74";
user:hostMAC "00:E0:81:04:4B:3E";
user:hostName "octarine";
user:localNet homenet:atuin;
user:systemAdmin homenet:GK;
user:usedBy homenet:GK;
user:usedByName "Graham Klyne";
rdfs:comment """
GK's high-power workstation.
""";
rdfs:label "Graham's workstation" .
homenet:rhiannon_mc a user:HostSystem;
dhcp:hostMACAddress "00:10:60:b6:18:54";
dnsa:hostDomainName "rhiannon.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.78";
user:accessType homenet:PlayAccess;
user:hostIP "193.123.216.78";
user:hostMAC "00:10:60:b6:18:54";
user:hostName "rhiannon";
user:localNet homenet:atuin;
user:systemAdmin homenet:Ronan;
user:usedBy homenet:Rhi;
user:usedByName "Rhiannon";
rdfs:comment """
Rhiannon's computer, used mostly for chat and games.
Also, some schoolwork.
""";
rdfs:label "Rhiannon's computer" .
homenet:ronan_tb a user:HostSystem;
dhcp:hostMACAddress "00:40:f6:2c:83:e1";
dnsa:hostDomainName "ronan-tb.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.79";
user:accessType homenet:PlayAccess;
user:hostIP "193.123.216.79";
user:hostMAC "00:40:f6:2c:83:e1";
user:hostName "ronan-tb";
user:localNet homenet:atuin;
user:systemAdmin homenet:Ronan;
user:usedBy homenet:Ronan;
user:usedByName "Ronan";
rdfs:comment """
Ronan's main computer, mostly used for games when it's not in pieces
all over his bedroom. Also, some schoolwork.
""";
rdfs:label "Ronan's main computer" .
homenet:twoflower a user:HostSystem;
dhcp:hostMACAddress "08:00:46:08:4c:5b";
dnsa:hostDomainName "twoflower.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.72";
user:accessType homenet:WorkAccess;
user:hostIP "193.123.216.72";
user:hostMAC "08:00:46:08:4c:5b";
user:hostName "twoflower";
user:localNet homenet:atuin;
user:systemAdmin homenet:GK;
user:usedBy homenet:GK;
user:usedByName "Graham Klyne";
rdfs:comment """
Sony Vaio laptop.
""";
rdfs:label "Graham's laptop" .
homenet:vimes a user:HostSystem;
dhcp:hostMACAddress "00:e0:1e:a9:d9:57";
dnsa:hostDomainName "vimes.atuin.ninebynine.org";
dnsa:hostIPAddress "193.123.216.94";
user:accessType homenet:ServiceAccess;
user:hostIP "193.123.216.94";
user:hostMAC "00:e0:1e:a9:d9:57";
user:hostName "vimes";
user:localNet homenet:atuin;
user:systemAdmin homenet:GK;
rdfs:comment """
Cisco dial-on-demand ISDN router running IOS router/firewall/NAT software.
""";
rdfs:label "Cisco 2500 router" .
user:IOS_Dialout_Rules user:accessList "101";
user:sequence (
[
user:denyService homenet:MostTCP ]
[
user:denyService homenet:MostUDP ] );
rdfs:label "Access rules to use for dialout" .
user:IOS_Recv_Local_Rules user:accessList "102";
user:sequence (
[
user:permitLocal homenet:atuin ]
[
user:denyPool homenet:atuin ]
[
user:permitRule homenet:DownloadAccessRule ]
[
user:denyService homenet:NonP2PTCP ]
[
user:permitUser homenet:GK ]
[
user:permitUser homenet:Mandy ]
[
user:permitHost homenet:luggage ]
[
user:permitRule homenet:PlayAccessRule ] );
rdfs:label "Access rules to use for data received from local network" .
#ENDS