KIF to N3 (was: universal languages)

----- Original Message -----
From: "Dan Connolly" <connolly@w3.org>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>;
<danbri@w3.org>; <timbl@w3.org>; <horrocks@cs.man.ac.uk>;
<www-rdf-logic@w3.org>
Sent: Thursday, February 01, 2001 3:13 PM
Subject: Re: universal languages


[...]
> I wrote a KIF parser in python
>   http://www.w3.org/2000/10/n3/KIFSyntax.py
>   $Id: KIFSyntax.py,v 1.2 2001/01/27 22:43:59 connolly Exp $
> and I think TimBL is using it to convert the KIF
> axioms to n3.

Actually I hacked the original file from Deb and co
http://www.w3.org/2000/10/swap/test/dpo/axioms.txt
using a sed script :-/
http://www.w3.org/2000/10/swap/test/dpo/axioms.sed
to make a version in N3 lists which are very like KIF lists
http://www.w3.org/2000/10/swap/test/dpo/axioms0.n3
then I used a few conversions in N3
http://www.w3.org/2000/10/swap/test/dpo/convert.n3
to generate the equivalent using N3's log:implies
I didn't convert it all but convinced myself
it was going to work.

>He's got a converter from n3 to RDF,
> but it doesn't handle quoting/reification really, yet.

It will reify a forumula - the result is of course not very pretty -
 but I haven't invented a quotation syntax for RDF.

> I think he'll need something like McDermott's proposal
> in order to realistically represent this stuff in
> anything like RDF.

I only need to add <quote> to generate N3 rules in RDF/XML.
It is a misisng piece in the spec which has lots of quotation
in it in arbitrary subset of cases cases anyway.

I have CVS in a mess at the moment :( so the web may not
be up to date and there have been other things to do.

tim


> --
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
> office: tel:+1-913-491-0501
> pager: mailto:connolly.pager@w3.org
>   (put return phone number in from/subject)
>

Received on Thursday, 1 February 2001 18:01:34 UTC