- From: Dan Connolly <connolly@w3.org>
- Date: Sat, 21 Apr 2007 02:40:38 -0400
- To: Pat Hayes <phayes@ihmc.us>, hhalpin@ibiblio.org, www-archive@w3.org
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