- From: Pat Hayes <phayes@ihmc.us>
- Date: Sun, 22 Apr 2007 16:17:57 -0400
- To: Dan Connolly <connolly@w3.org>
- Cc: 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: 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