Re: N3->IKL translation seems to work

>I verified my intuition that IKL covers N3 by
>adding IKL output support to my N3-to-whatever translator:
>   http://www.w3.org/2000/10/swap/n3absyn.py
>   v 1.13 2007/04/21 06:29:19
>
>The superman example/test case follows.
>
>One moderate surprise:
>rdf:type gets contextualized along with superman,
>since N3 has no syntax for unary relations:

Hmm. It would be better to contextualize the class name in this case 
and leave rdf:type alone, I think. Since (P a) maps intuitively to 
(rdf:type a P). So you do have unary relations, in effect, and 
rdf:type is the encoding syntax for them.

More later.

Pat

>
>---8<---
>@keywords is, of, a.
>
>Lois believes { Superman a SuperHero. Clark_Kent a Schmuck }.
>Clark_Kent = Superman.
>
>Alice believes { Joe believes { Lois a Naive } }.
>---8<---
>
>output, with the big long file://localhost/... URIs shortened
>and then pretty-printed:
>
>---8<---
>(and (holds "#believes" "#Lois"
>  (that (and (holds ('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'
>		     c5488688)
>		    ('#Superman' c5488688)
>		    ('#SuperHero' c5488688) )
>	     (holds ('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'
>		     c5488688)
>		    ('#Clark_Kent' c5488688)
>		    ('#Schmuck' c5488688) )
>	     )
>	) )
>      (holds "http://www.w3.org/2002/07/owl#sameAs" "#Clark_Kent" "#Superman" )
>      (holds
>       "#believes"
>       "#Alice"
>       (that
>        (holds
>	('#believes' c6876448)
>	('#Joe'
>	c6876448)
>	(that
>	 (holds
>	  ('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'
>	   ('c6877232' c6876448) )
>	  ('#Lois'
>	   ('c6877232' c6876448) )
>	  ('#Naive'
>	   ('c6877232' c6876448)
>	   ) )
>	 ) )
>        ) )
>      )
>---8<---
>
>--
>Dan Connolly, W3C http://www.w3.org/People/Connolly/


-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Sunday, 22 April 2007 20:18:06 UTC