- 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