IRC log of dig on 2010-09-27
Timestamps are in UTC.
- 00:02:46 [webr3]
- actually could one constrain rules to be a set format { rule p outcome } where p is a simple property => <= and both rule and outcome are graph literals? can the subject of a rule be a blank node for instance?
- 00:07:55 [kennyluck]
- kennyluck has quit (Quit: kennyluck)
- 01:00:33 [melvster]
- melvster has quit (Ping timeout: 265 seconds)
- 01:57:58 [nunnun]
- nunnun is now known as nunnun_away
- 02:18:54 [oshani]
- oshani (~oshani@c-71-233-151-72.hsd1.ma.comcast.net) has joined #dig
- 03:09:18 [mcherian]
- mcherian has quit (Ping timeout: 245 seconds)
- 05:01:53 [melvster]
- melvster (~melvster@p579F910D.dip.t-dialin.net) has joined #dig
- 05:16:11 [timbl_]
- timbl_ (~timbl@host86-133-199-100.range86-133.btcentralplus.com) has joined #dig
- 05:16:11 [timbl]
- timbl has quit (Read error: Connection reset by peer)
- 05:16:13 [timbl_]
- timbl_ is now known as timbl
- 05:53:56 [nunnun_away]
- nunnun_away is now known as nunnun
- 06:25:33 [melvster]
- melvster has quit (Ping timeout: 245 seconds)
- 06:28:43 [timbl]
- timbl has quit (Quit: timbl)
- 06:57:54 [kennyluck]
- kennyluck (~kennyluck@EM114-48-167-97.pool.e-mobile.ne.jp) has joined #dig
- 07:19:12 [oshani]
- oshani has quit (Quit: Mama nidi!)
- 07:28:46 [mhausenblas]
- mhausenblas (~mhausenbl@wg1-nat.fwgal01.deri.ie) has joined #dig
- 07:29:52 [kennyluck]
- kennyluck has quit (Quit: kennyluck)
- 07:52:44 [timbl]
- timbl (~timbl@194.81.217.104) has joined #dig
- 07:53:33 [timbl]
- webr3, have you browsed the N3 primer?
- 07:53:50 [timbl]
- There is a n2.n3 grammar file also which defined the grammar of N3
- 07:54:02 [timbl]
- Yes, rules can have >1 triple on both sides
- 07:55:30 [timbl]
- I'd stongly suggest you make jsn3 round-trip convertable to and from N3
- 07:55:33 [timbl]
- just do it all
- 07:55:55 [mhausenblas]
- mhausenblas has quit (Quit: brb)
- 08:20:30 [webr3]
- timbl, cheers, will do :) and yes read primer and n3/n3 and docs etc several times over - hadn't found a rule with several => implies in the wild yet though (until looking at AIR again last night) - will get it round tripable then see about getting js processing support for string: math: etc
- 08:21:38 [melvster]
- melvster (~melvster@p5797E8C2.dip.t-dialin.net) has joined #dig
- 08:33:39 [nunnun]
- nunnun is now known as nunnun_away
- 08:43:26 [nunnun_away]
- nunnun_away is now known as nunnun
- 08:57:32 [timbl]
- timbl has quit (Quit: timbl)
- 08:59:09 [mhausenblas]
- mhausenblas (~mhausenbl@wg1-nat.fwgal01.deri.ie) has joined #dig
- 10:15:24 [nunnun]
- nunnun is now known as nunnun_away
- 11:12:28 [Ralph]
- Ralph (~swick@30-7-93.wireless.csail.mit.edu) has joined #dig
- 11:13:37 [DIGlogger]
- DIGlogger (~dig-logge@groups.csail.mit.edu) has joined #dig
- 11:13:37 [lindbohm.freenode.net]
- topic is: Decentralized Information Group @ MIT http://dig.csail.mit.edu/
- 11:13:37 [lindbohm.freenode.net]
- Users on #dig: DIGlogger Ralph mhausenblas melvster Yudai drrho ericP webr3 Pipian presbrey sandro ernestchiang_ nunnun_away gbot73
- 12:09:31 [marisol]
- marisol (~marisol@pool-151-203-93-96.bos.east.verizon.net) has joined #dig
- 12:34:57 [nunnun_away]
- nunnun_away is now known as nunnun
- 12:40:31 [timbl]
- timbl (~timbl@royalsoc-firewall.net.ic.ac.uk) has joined #dig
- 13:00:06 [webr3]
- timbl, following your feedback I've added everything I can to JSN3, issues / differences here http://webr3.org/apps/specs/jsn3/#jsn3-and-n3-comparison - major one being paths
- 13:00:07 [marisol]
- marisol has quit (Quit: marisol)
- 13:03:01 [oshani]
- oshani (~oshani@c-71-233-151-72.hsd1.ma.comcast.net) has joined #dig
- 13:03:25 [timbl]
- Paths in fact are just a shortcut notations
- 13:03:39 [timbl]
- The main thing is to be able to rep anuthon n3 ca
- 13:03:41 [timbl]
- n
- 13:08:10 [webr3]
- great, it can now :) I've skipped @has expression though as couldn't find documentation / anything about it - everything else is there and have tried porting over some complex AIR policy files, with success
- 13:09:21 [webr3]
- fwiw, i couldn't figure out why false!true^12.3![a foaf:Person]!true would be a valid path.. can drop in path support for curie/var/iri but not complex expressions
- 13:17:30 [mcherian]
- mcherian (~mathew@30-6-25.wireless.csail.mit.edu) has joined #dig
- 13:33:04 [oshani]
- oshani has quit (Quit: Mama nidi!)
- 13:39:13 [timbl]
- You mean in n3.n3 a path component doesn't have to be a property
- 13:40:59 [marisol]
- marisol (~marisol@31-35-125.wireless.csail.mit.edu) has joined #dig
- 13:45:59 [betehess]
- betehess (~betehess@betehess.w3.org) has joined #dig
- 13:52:09 [webr3]
- yup, path item = pathitem which is symbol, formula, literal, boolean etc - in jsn3 could let pathitem be symbol/quickvariable but that's about it
- 13:52:25 [webr3]
- pathitem = expression rather
- 14:08:16 [timbl]
- That sounds reasonable
- 14:12:04 [timbl]
- timbl has quit (Quit: timbl)
- 14:22:26 [oshani]
- oshani (~oshani@c-71-233-151-72.hsd1.ma.comcast.net) has joined #dig
- 14:26:24 [oshani]
- oshani has quit (Client Quit)
- 14:46:39 [Pipian]
- Pipian has quit (Remote host closed the connection)
- 14:51:21 [oshani]
- oshani (~oshani@c-71-233-151-72.hsd1.ma.comcast.net) has joined #dig
- 14:57:05 [Pipian]
- Pipian (~pipian@w3cdhcp27.w3.org) has joined #dig
- 15:07:26 [lkagal]
- lkagal (~lkagal@pool-96-237-240-136.bstnma.fios.verizon.net) has joined #dig
- 15:09:37 [oshani]
- oshani has quit (Quit: Mama nidi!)
- 15:17:39 [lkagal]
- lkagal has quit (Quit: lkagal)
- 15:29:36 [oshani]
- oshani (~oshani@31-35-182.wireless.csail.mit.edu) has joined #dig
- 15:50:31 [mhausenblas]
- mhausenblas has quit (Quit: mhausenblas)
- 15:57:30 [kennyluck]
- kennyluck (~kennyluck@114-43-121-234.dynamic.hinet.net) has joined #dig
- 16:04:50 [lkagal]
- lkagal (~lkagal@30-6-179.wireless.csail.mit.edu) has joined #dig
- 16:10:33 [melvster]
- melvster has quit (Remote host closed the connection)
- 16:10:46 [melvster]
- melvster (~melvster@p5797E8C2.dip.t-dialin.net) has joined #dig
- 16:38:22 [timbl]
- timbl (~timbl@royalsoc-firewall.net.ic.ac.uk) has joined #dig
- 17:09:31 [timbl]
- timbl has quit (Quit: timbl)
- 17:30:03 [Pipian]
- lkagal, I've written up the SPARQL and Circles/Arrows -> Turtle parts of the homework, but I wanted to discuss with you the other part(s) relating to RDFa.
- 17:30:10 [Pipian]
- Are you going to be free later?
- 18:09:59 [lkagal]
- Pipian, can we chat at 3 ?
- 18:12:18 [Pipian]
- That'd be fine.
- 18:25:11 [Pipian]
- Ah, well I have office hours at 3
- 18:25:12 [Pipian]
- But otherwise.
- 19:36:48 [mcherian]
- mcherian has quit (Ping timeout: 245 seconds)
- 19:38:15 [mcherian]
- mcherian (~mathew@30-6-25.wireless.csail.mit.edu) has joined #dig
- 19:39:00 [marisol]
- marisol has quit (Quit: marisol)
- 20:19:49 [Ralph]
- Ralph has quit (Quit: heading to train ...)
- 20:55:47 [lkagal]
- Pipian, I also want to add some RDFS & OWL homework. Any suggestions ?
- 20:59:18 [melvster]
- melvster has quit (Remote host closed the connection)
- 20:59:31 [melvster]
- melvster (~melvster@p5797E8C2.dip.t-dialin.net) has joined #dig
- 21:30:12 [Pipian]
- None off the top of my head.
- 21:30:40 [Pipian]
- Perhaps give them something along the lines of a logic assignment "Is this a this? Are all this's this?"
- 21:30:49 [Pipian]
- Make them infer stuff.
- 21:30:53 [Pipian]
- But I think that could be lab too.
- 22:13:15 [lkagal]
- lkagal has quit (Quit: lkagal)
- 22:29:23 [marisol]
- marisol (~marisol@pool-141-154-47-106.bos.east.verizon.net) has joined #dig
- 22:37:44 [nunnun]
- nunnun is now known as nunnun_away
- 22:39:00 [nunnun_away]
- nunnun_away is now known as nunnun
- 22:39:18 [marisol]
- marisol has quit (Ping timeout: 245 seconds)
- 23:00:41 [lkagal]
- lkagal (~lkagal@pool-96-237-240-136.bstnma.fios.verizon.net) has joined #dig
- 23:03:50 [mcherian]
- mcherian has quit (Ping timeout: 276 seconds)
- 23:15:07 [webr3]
- presbrey, around?
- 23:28:34 [nunnun]
- nunnun is now known as nunnun_away
- 23:30:37 [nunnun_away]
- nunnun_away is now known as nunnun
- 23:30:39 [presbrey]
- yep
- 23:45:02 [presbrey]
- so be back in a few
- 23:47:44 [webr3]
- np
- 23:48:40 [webr3]
- presbrey or anybody who knows cwm and rules better than me (which isn't hard)
- 23:49:12 [webr3]
- how do I mount a rule on the web and refer to it later, as in..
- 23:50:18 [webr3]
- :simpleRule = { @forAll :me, :who, :name . { :me foaf:knows :who . :who foaf:name :name} => { ?who foaf:name ?name } } .
- 23:50:27 [webr3]
- stick that in a file, then later call..
- 23:50:56 [webr3]
- cwm profile.n3 --filter=http://example.org/rules#simpleRule
- 23:51:00 [webr3]
- ?