#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: . @prefix dc: . @prefix dhcp: . @prefix dnsa: . @prefix foaf: . @prefix homenet: . @prefix ical: . @prefix icalutil: . @prefix intprop: . @prefix log: . @prefix ndev: . @prefix rdf: . @prefix rdfs: . @prefix string: . @prefix 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 ; 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