W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

Re: TEST: N3->otter as a test implementation [was: OWL semantics]

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 3 Oct 2002 23:57:43 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: www-webont-wg@w3.org
Message-ID: <OFE56AC616.C0747CEA-ONC1256C47.0077C67D-C1256C47.0078A40B@agfa.be>


[...]

> In order to connect N3 with some of the more mature
> work on automated reasoning, Sando Hawke wrote some
> code to convert N3 to the syntax used by otter.
> http://www-unix.mcs.anl.gov/AR/otter/
>
> It's kinda bailing-wire-and-toothpicks right now
> (Sandro's rewriting it to eliminate dependencies
> on prolog etc...), but it works much like Euler: you give
> it a bunch of premise documents and a conclusion...
>
> python testViaOtter.py --goal ../../../2002/03owlt/sameGuyC.n3
> util/subst.n3 util/funcProp.n3 ../../../2002/03owlt/sameGuyP.n3
>
> (most of those files are available, relative to
> http://www.w3.org/2000/10/swap/)

that is really interesting! I tried it but
(and my Python understanding is very weak)
got a

[[[
$ python testViaOtter.py --goal ../../../2002/03owlt/sameGuyC.n3
util/subst.n3 util/funcProp.n3 ../
../../2002/03owlt/sameGuyP.n3
Traceback (most recent call last):
  File "testViaOtter.py", line 6, in ?
    import LX.old.rdf
  File "2000/10/swap/LX/__init__.py", line 20, in ?
  File "2000/10/swap/LX/formula.py", line 13, in ?
  File "2000/10/swap/LX/formula.py", line 74, in Formula
NameError: name 'property' is not defined
]]]

maybe it's not the place here, but I really want to run this...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 3 October 2002 17:58:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:53 GMT