From Christian.Maeder at dfki.de Fri Nov 7 17:39:51 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Fri, 07 Nov 2008 17:39:51 +0100 Subject: [Hets-devel] [Hets-users] Hets strange error In-Reply-To: <494210DA-4A79-44C0-9150-C64FEF672F48@swansea.ac.uk> References: <494210DA-4A79-44C0-9150-C64FEF672F48@swansea.ac.uk> Message-ID: <49146F57.8050701@dfki.de> Hi Teme, you somehow need to install libglade-2.0.0.dylib. The binary searches my directory because it did so during linking. But the binary should run fine if it finds libglade-2.0.0.dylib in any standard directory or in the path given by DYLD_LIBRARY_PATH. I think on a Mac I've followed http://developer.imendio.com/projects/gtk-macosx/build-instructions to install gtk (and gtk2hs for compilation). and: jhbuild buildone libglade Mail me directly if you still have problems. Cheers Christian Temesghen Kahsai wrote: > Hello there, > > I m running hets (version 0.9) on OS X 10.5.5 but the following error > keep on appearing : > >> hets > dyld: Library not loaded: /home/maeder/gtk/inst/lib/libglade-2.0.0.dylib > Referenced from: /Users/Teme/Hets/lib/hets/hets-0.9 > Reason: no suitable image found. Did find: > /home/maeder/gtk/inst/lib/libglade-2.0.0.dylib: stat() failed > with errno=5 > Trace/BPT trap > > Any idea how to solve it? > > Thanks. > > Teme > -------------------------------------------------- > Temesghen Kahsai (PhD student) > Phone: +44 1792 205678, ext: 4534 > Cel: + 44 7961270152 > web: http://www.cs.swan.ac.uk/~csteme > Dep. of Computer Science > Swansea University > Singleton Park > Swansea SA2 8PP, UK > ------------------------------------------------- > > > > > > _______________________________________________ > Hets-users mailing list > Hets-users at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users > From Christian.Maeder at dfki.de Wed Nov 12 10:47:38 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 12 Nov 2008 10:47:38 +0100 Subject: [Hets-devel] =?iso-8859-15?q?=5BFwd=3A_trac_Server_ab_12=3A00_Uhr?= =?iso-8859-15?q?_nicht_verf=FCgbar=5D?= Message-ID: <491AA63A.1040908@dfki.de> Dear all, our trac server will be unavailable today from 12 CET for at most 45 minutes. Cheers Christian http://trac.informatik.uni-bremen.de:8080/ -------- Original Message -------- Subject: trac Server ab 12:00 Uhr nicht verf?gbar Date: Wed, 12 Nov 2008 09:21:07 +0100 From: Mattias Werner To: Christian Maeder Hallo Christian, der trac Server wird heute ab 12:00 Uhr f?r maximal 45 Minuten nicht zur Verf?gung stehen. Grund: - Vergr??erung der root Partition - Kernel Update Bitte gib das an diejenigen weiter, die es wissen m?ssen. Gru?, Mattias -- Dipl. Inform. Mattias Werner Bremen University, FB 3 E-Mail: mawe at informatik.Uni-Bremen.DE WWW: http://www.informatik.uni-bremen.de/~mawe/ From Christian.Maeder at dfki.de Wed Nov 12 12:21:45 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 12 Nov 2008 12:21:45 +0100 Subject: [Hets-devel] =?iso-8859-15?q?=5BFwd=3A_trac_Server_ab_12=3A00_Uhr?= =?iso-8859-15?q?_nicht_verf=FCgbar=5D?= Message-ID: <491ABC49.4090901@dfki.de> Dear all, > our trac server will be unavailable today from 12 CET for at most 45 > minutes. http://trac.informatik.uni-bremen.de:8080/ is up again and running Cheers Christian From luecke at informatik.uni-bremen.de Fri Nov 14 15:58:25 2008 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Fri, 14 Nov 2008 15:58:25 +0100 Subject: [Hets-devel] Announcing support for Pellet 2 Message-ID: <491D9211.7070602@informatik.uni-bremen.de> Hi, Hets now supports Pellet 2 as a Prover and Consistency Checker. Pellet 2 is available from http://pellet.owldl.com/download to use it, the enviroment variable PELLET_PATH need to be set to the root of your Pellet installation and the file pellet.sh in the root directory of the Pellet installation need to be executable for you. Regards, Dominik -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x766B1F6B From Christian.Maeder at dfki.de Fri Nov 21 13:04:53 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Fri, 21 Nov 2008 13:04:53 +0100 Subject: [Hets-devel] Shellac for ghc-6.10 Message-ID: <4926A3E5.30002@dfki.de> Hallo Robert, since our hets project depends on your Shellac packages, we would appreciate if you could update your packages for ghc-6.10.1 on hackage. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shellac Since ghc-6.10.1 does not longer support readline, we will switched to editline, too. So we need updated packages at least for: Shellac-0.9.1, Shellac-editline-0.9 (The result type of some history functions in editline-0.2.1.0 changed from "IO ()" to "IO Bool") Shellac-compatline-0.9 would be nice to reuse, too. Cheers Christian www.dfki.de/sks/hets/ From luecke at informatik.uni-bremen.de Fri Nov 28 00:42:07 2008 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Fri, 28 Nov 2008 00:42:07 +0100 Subject: [Hets-devel] Java code for OWL support Message-ID: <492F304F.904@informatik.uni-bremen.de> Hello, I have removed the binary java files from the Hets repository and modified the Makefile/build.xml allowing you to restore your own copy of these files in a convenient manner. After the next update from the hets svn run: make initialize_java or ant init in your Hets directory. The OwlApi and aterm jars can be rebuild with ant java-libs or make java-libs at any point, whilst the java code for Hets can be rebuild via ant java-files or make java-files. Regards, Dominik P.S.: Christian, can you add the target java-files to the standard Hets-targets? -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x766B1F6B From Till.Mossakowski at dfki.de Fri Nov 28 10:18:09 2008 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Fri, 28 Nov 2008 10:18:09 +0100 Subject: [Hets-devel] Java code for OWL support In-Reply-To: <492F304F.904@informatik.uni-bremen.de> References: <492F304F.904@informatik.uni-bremen.de> Message-ID: <492FB751.3020600@dfki.de> Hi Dominik, couldn't this be automated by letting the make command generate these files if they are not present? I doubt that all Hets developers want to remember these commands. All the best, Till Dominik Luecke schrieb: > Hello, > > I have removed the binary java files from the Hets repository and > modified the Makefile/build.xml allowing you to restore your own copy of > these files in a convenient manner. After the next update from the hets > svn run: > > make initialize_java > > or > > ant init > > in your Hets directory. The OwlApi and aterm jars can be rebuild with > > ant java-libs > > or > > make java-libs > > at any point, whilst the java code for Hets can be rebuild via > > ant java-files > > or > > make java-files. > > Regards, > Dominik > > P.S.: Christian, can you add the target java-files to the standard > Hets-targets? > -- Till Mossakowski Cartesium, room 2.051 Phone +49-421-218-64226 DFKI GmbH Bremen Fax +49-421-218-9864226 Safe & Secure Cognitive Systems Till.Mossakowski at dfki.de Enrique-Schmidt-Str. 5, D-28359 Bremen http://www.dfki.de/sks/till Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 From csteme at swansea.ac.uk Fri Nov 7 16:16:51 2008 From: csteme at swansea.ac.uk (Temesghen Kahsai) Date: Fri, 07 Nov 2008 15:16:51 -0000 Subject: [Hets-devel] Hets strange error Message-ID: <494210DA-4A79-44C0-9150-C64FEF672F48@swansea.ac.uk> Hello there, I m running hets (version 0.9) on OS X 10.5.5 but the following error keep on appearing : > hets dyld: Library not loaded: /home/maeder/gtk/inst/lib/libglade-2.0.0.dylib Referenced from: /Users/Teme/Hets/lib/hets/hets-0.9 Reason: no suitable image found. Did find: /home/maeder/gtk/inst/lib/libglade-2.0.0.dylib: stat() failed with errno=5 Trace/BPT trap Any idea how to solve it? Thanks. Teme -------------------------------------------------- Temesghen Kahsai (PhD student) Phone: +44 1792 205678, ext: 4534 Cel: + 44 7961270152 web: http://www.cs.swan.ac.uk/~csteme Dep. of Computer Science Swansea University Singleton Park Swansea SA2 8PP, UK ------------------------------------------------- From luecke at informatik.uni-bremen.de Fri Nov 28 14:26:22 2008 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Fri, 28 Nov 2008 14:26:22 +0100 Subject: [Hets-devel] Java code for OWL support In-Reply-To: <492FB751.3020600@dfki.de> References: <492F304F.904@informatik.uni-bremen.de> <492FB751.3020600@dfki.de> Message-ID: <492FF17E.8050401@informatik.uni-bremen.de> Hello Till, this is going to be automated partially, I was just too scared to modify the main-makefile of hets. In fact I do not want to add ant java-libs to all builds, since it always forces a complete rebuild of the libs, this is set up in the build.xml of owl-api, so I cannot change it easily. ant java-files can be automated without further questions. Regards, Dominik Till Mossakowski wrote: > Hi Dominik, > > couldn't this be automated by letting the make command generate > these files if they are not present? > I doubt that all Hets developers want to remember these commands. > > All the best, > Till > > Dominik Luecke schrieb: >> Hello, >> >> I have removed the binary java files from the Hets repository and >> modified the Makefile/build.xml allowing you to restore your own copy of >> these files in a convenient manner. After the next update from the hets >> svn run: >> >> make initialize_java >> >> or >> >> ant init >> >> in your Hets directory. The OwlApi and aterm jars can be rebuild with >> >> ant java-libs >> >> or >> >> make java-libs >> >> at any point, whilst the java code for Hets can be rebuild via >> >> ant java-files >> >> or >> >> make java-files. >> >> Regards, >> Dominik >> >> P.S.: Christian, can you add the target java-files to the standard >> Hets-targets? >> > > -- Dominik Luecke Phone +49-421-218-64265 Dept. of Computer Science Fax +49-421-218-9864265 University of Bremen luecke at informatik.uni-bremen.de P.O.Box 330440, D-28334 Bremen PGP-Key ID 0x766B1F6B