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

we use python2.2; maybe that's what you need?

more installation clues:

http://www-unix.mcs.anl.gov/AR/otter/otter-3.2.tar.gz from
http://www-unix.mcs.anl.gov/AR/otter/

http://www.redland.opensource.ac.uk/raptor/INSTALL.html
http://www.redland.opensource.ac.uk/dist/source/raptor-0.9.5.tar.gz
	(use ./configure --with-xml-parser=expat)

XSB version: 2.5, released on March 11, 2002

On Thu, 2002-10-03 at 16:57, Jos De_Roo wrote:
> 
> [...]
> 
> > 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/
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
office: tel:+1-913-491-0501
mobile: mailto:connolly+pager@w3.org

Received on Thursday, 3 October 2002 18:11:27 UTC