- 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