- From: Dan Connolly <connolly@w3.org>
- Date: Sat, 21 Apr 2007 03:02:38 -0400
- To: Dan Connolly <connolly@w3.org>
- Cc: Pat Hayes <phayes@ihmc.us>, hhalpin@ibiblio.org, www-archive@w3.org
Dan Connolly wrote: > http://www.w3.org/2000/10/swap/n3absyn.py > v 1.13 2007/04/21 06:29:19 I took a look at our hello-world policy example, i.e. "if your homepage says you're a vegetarian, you're a vegetarian". It comes out having log:includes be a relation between propositions, not between quoted formulas. log:includes is supposed to have computational characteristics like =p, so this is somewhat of a concern. I can't quantify over that-sentences in KIF, can I? i.e. to write rules like this? (forall ((a sentence) (b sentence)) (if (and (that a) (that b)) ((that (and a b)) ) ) Veg case details... input is conf_reg_ex.n3 from http://www.w3.org/2000/10/swap/test/reason/ output is: (forall (WHO PG ) (and (if (exists (g6 ) (and (holds "http://xmlns.com/foaf/0.1/homepage" WHO PG ) (holds "http://www.w3.org/2000/10/swap/log#includes" g6 (that (holds ('http://www.w3.org/1999/02/22-rdf-syntax-ns#type' c5489120) WHO ('file:///Users/connolly/w3ccvs/WWW/2000/10/swap/test/reason/conf_reg_ex#Vegetarian' c5489120) ) ) ) (holds "http://www.w3.org/2000/10/swap/log#semantics" PG g6 ) ) ) (holds "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" WHO "file:///Users/connolly/w3ccvs/WWW/2000/10/swap/test/reason/conf_reg_ex#Vegetarian" ) ) (holds "http://xmlns.com/foaf/0.1/homepage" "file:///Users/connolly/w3ccvs/WWW/2000/10/swap/test/reason/joe_profile.n3#joe" "file:///Users/connolly/w3ccvs/WWW/2000/10/swap/test/reason/joe_profile.n3" ) ) ) -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Saturday, 21 April 2007 07:02:58 UTC