W3C home > Mailing lists > Public > www-archive@w3.org > April 2007

Re: N3->IKL translation seems to work... bug policy rules and log:includes are hairy

From: Dan Connolly <connolly@w3.org>
Date: Sat, 21 Apr 2007 03:02:38 -0400
Message-ID: <4629B70E.7050001@w3.org>
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

output is:

  (WHO PG )
   (if (exists
        (g6 )
        (and (holds "http://xmlns.com/foaf/0.1/homepage" WHO PG )
	       ('http://www.w3.org/1999/02/22-rdf-syntax-ns#type' 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"

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Saturday, 21 April 2007 07:02:58 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:33:06 UTC