- 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
[...]
> 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 UTC