18:24:41 [fturkmen]fturkmen (n=fturkmen@w3cdhcp11.w3.org) has joined #dig
18:52:59 [fturkmen]sandro, is there any way to have negation in RIF-BLD?
19:25:10 [sandro]Nope. Of course you can define your own negative versions of predicates, but there is no negation in the language.
19:25:37 [sandro](Because how you do negation is the key difference between different kinds of logics, and RIF-BLD is trying to stay in the common subset.)
19:25:44 [sandro]( fturkmen )
19:37:41 [amy]Lalana?
19:38:29 [lkagal]Hi Amy
19:38:36 [amy]hi
19:38:49 [amy]Tim had a few questions re: the Grad students
19:40:37 [lkagal]Thanks Amy, I'm chatting with him.
19:40:44 [amy]:)
19:40:46 [amy]ok, great
19:40:59 [lkagal]Oshani, you don't need to worry :)
20:16:01 [fturkmen]sandro, Thanks
20:16:14 [RalphS]RalphS has quit ("bye for today")
20:50:16 [oshani_]kennyluck, http://tig.csail.mit.edu/twiki/bin/view/TIG/Jabber(XMPP)InstantMessaging
20:51:22 [timbl]timbl has quit (Read error: 110 (Connection timed out))
21:44:47 [fturkmen1]fturkmen1 (n=fturkmen@31-33-192.wireless.csail.mit.edu) has joined #dig
21:45:50 [fturkmen2]fturkmen2 (n=fturkmen@30-60-173.dynamic.csail.mit.edu) has joined #dig
22:02:33 [fturkmen]fturkmen has quit (Read error: 110 (Connection timed out))
22:04:30 [fturkmen1]fturkmen1 has quit (Read error: 110 (Connection timed out))
22:17:02 [lkagal]lkagal has quit ()
22:37:07 [lkagal]lkagal (n=lkagal@33.68.171.66.subscriber.vzavenue.net) has joined #dig
22:45:56 [fturkmen]fturkmen (n=fturkmen@31-33-192.wireless.csail.mit.edu) has joined #dig
22:47:40 [fturkmen1]fturkmen1 (n=fturkmen@w3cdhcp11.w3.org) has joined #dig
22:59:38 [lkagal]lkagal has quit ()
23:03:49 [fturkmen2]fturkmen2 has quit (Read error: 110 (Connection timed out))
23:07:17 [fturkmen]fturkmen has quit (Read error: 110 (Connection timed out))