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:

---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/

Received on Saturday, 21 April 2007 06:40:50 UTC