From Christian.Maeder at dfki.de Wed Apr 2 16:48:29 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 02 Apr 2008 16:48:29 +0200 Subject: [Hets-devel] uni/davinci Message-ID: <47F39CBD.60606@dfki.de> folks, while trying to solve our uDrawGraph crashing problems I've decided to export the function pendingChangesLock from DaVinciGraph and use it in GUI/GraphAbstraction.hs to synchronize our direct uDrawGraph manipulations. So, if you get a compilation error in Hets, you'll need to update uni, and call "make cabal" in uni/davinci. I've updated uni on our local servers (notably /home/linux-bkb/uni/linux-ghc-6.8.2/uni) Cheers Christian From Christian.Maeder at dfki.de Wed Apr 2 16:51:24 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 02 Apr 2008 16:51:24 +0200 Subject: [Hets-devel] uni/davinci Message-ID: <47F39D6C.7010203@dfki.de> folks, while trying to solve our uDrawGraph crashing problems I've decided to export the function pendingChangesLock from DaVinciGraph and use it in GUI/GraphAbstraction.hs to synchronize our direct uDrawGraph manipulations. So, if you get a compilation error in Hets, you'll need to update uni, and call "make cabal" in uni/davinci. I've updated uni on our local servers (notably /home/linux-bkb/uni/linux-ghc-6.8.2/uni) Cheers Christian From Christian.Maeder at dfki.de Wed Apr 2 17:16:51 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 02 Apr 2008 17:16:51 +0200 Subject: [Hets-devel] uni/davinci Message-ID: <47F3A363.4040803@dfki.de> folks, while trying to solve our uDrawGraph crashing problems I've decided to export the function pendingChangesLock from DaVinciGraph and use it in GUI/GraphAbstraction.hs to synchronize our direct uDrawGraph manipulations. So, if you get a compilation error in Hets, you'll need to update uni, and call "make cabal" in uni/davinci. I've updated uni on our local servers (notably /home/linux-bkb/uni/linux-ghc-6.8.2/uni) Cheers Christian From Christian.Maeder at dfki.de Thu Apr 3 11:35:59 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 03 Apr 2008 11:35:59 +0200 Subject: [Hets-devel] test Message-ID: <47F4A4FF.2090809@dfki.de> please ignore, I'm only having a problem to send to this list (any maybe no longer if this gets through) Cheers Christian From i.normann at iu-bremen.de Thu Apr 3 12:53:15 2008 From: i.normann at iu-bremen.de (Immanuel Normann) Date: Thu, 03 Apr 2008 12:53:15 +0200 Subject: [Hets-devel] Where is the CaslDL lib? Message-ID: <1207219995.9762.14.camel@kant> Hello, where is the Casl DL library gone? I vaguely remember that it was part of the Hets-lib, but may be I am wrong. Is it no longer supported? Anyway, could somebody give me access to some Casl Dl libs or easier: send me a tar-file of that lib. I would like to have it for demo purpose in the OASIS project - more precisely I am looking for some libs like those described in the article "Development of Modular Ontologies in CASL" by Klaus L?ttich et.al. Thanks, Immanuel From Christian.Maeder at dfki.de Thu Apr 3 13:07:00 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 03 Apr 2008 13:07:00 +0200 Subject: [Hets-devel] test (please ignore) Message-ID: <47F4BA54.4050206@dfki.de> Hi Till, could you try to send a message yourself, if this one is not delivered to the hets-devel list. Christian From Till.Mossakowski at dfki.de Thu Apr 3 14:08:06 2008 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Thu, 03 Apr 2008 14:08:06 +0200 Subject: [Hets-devel] New logics in Hets Message-ID: <47F4C8A6.8000508@dfki.de> Dear Hetters, recently, new logics have been added to Hets, most notably DL (description logic) and RelScheme (relational database schemes). Based on this, Mihai Codescu will give a presentation atM oVaH'08, see http://wwwdi.supelec.fr/fb/MoVaH08/ Greetings, Till -- Till Mossakowski Cartesium, room 2.051 Phone +49-421-218-64226 DFKI Lab 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 Till.Mossakowski at dfki.de Thu Apr 3 15:19:18 2008 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Thu, 03 Apr 2008 15:19:18 +0200 Subject: [Hets-devel] Where is the CaslDL lib? In-Reply-To: <1207219995.9762.14.camel@kant> References: <1207219995.9762.14.camel@kant> Message-ID: <47F4D956.8060700@dfki.de> Hi Immanuel, the specifications from the mentioned paper are in ALT-INFO/Papers/ModularOntologies/RoomsAndServices.het Unfortunately, the ALT-INFO repository is not publicly available (some people had problems...). I will give you access. Greetings, Till Immanuel Normann schrieb: > Hello, > > where is the Casl DL library gone? I vaguely remember that it was part > of the Hets-lib, but may be I am wrong. Is it no longer supported? > Anyway, could somebody give me access to some Casl Dl libs or easier: > send me a tar-file of that lib. I would like to have it for demo purpose > in the OASIS project - more precisely I am looking for some libs like > those described in the article "Development of Modular Ontologies in > CASL" by Klaus L?ttich et.al. > > Thanks, > Immanuel > > > _______________________________________________ > Hets-devel mailing list > Hets-devel at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-devel -- Till Mossakowski Cartesium, room 2.051 Phone +49-421-218-64226 DFKI Lab 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 Christian.Maeder at dfki.de Fri Apr 11 13:15:14 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Fri, 11 Apr 2008 13:15:14 +0200 Subject: [Hets-devel] hets-0.85 released Message-ID: <47FF4842.70604@dfki.de> Dear Hets friends, we proudly present our new release 0.85 of the Heterogeneous Tool Set (Hets) http://www.dfki.de/sks/hets The features can be looked up at: http://trac.informatik.uni-bremen.de:8080/hets/wiki/ReleaseNotes Installers, Binaries or Live-CD can be downloaded from: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm Enjoy it, Christian -- _______________________________________________________________ Dr. Christian Maeder Hausadresse: DFKI-Labor Bremen Universit?t Bremen Sichere Kognitive Systeme Cartesium 02.053 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 28359 Bremen 28359 Bremen http://www.dfki.de/sks www.informatik.uni-bremen.de/~maeder Telefon: +49 (421) 218-64227 Telefax: +49 (421) 218-9864227 E-Mail: Christian.Maeder at dfki.de _______________________________________________________________ Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Stra?e 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 From Christian.Maeder at dfki.de Fri Apr 11 13:21:38 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Fri, 11 Apr 2008 13:21:38 +0200 Subject: [Hets-devel] uni for hets In-Reply-To: <47F3A363.4040803@dfki.de> References: <47F3A363.4040803@dfki.de> Message-ID: <47FF49C2.3020803@dfki.de> folks, please not that uni needs to updated (again) for the current state (release-0.85) of hets. cheerio Christian Maeder wrote: > I've updated uni on our local servers (notably > /home/linux-bkb/uni/linux-ghc-6.8.2/uni) From Lutz.Schroeder at dfki.de Wed Apr 16 14:05:10 2008 From: Lutz.Schroeder at dfki.de (Lutz Schroeder) Date: Wed, 16 Apr 2008 14:05:10 +0200 Subject: [Hets-devel] sequential composition Message-ID: <4805EB76.1000502@dfki.de> Hi, it is a slightly annoying problem that we cannot use semicolons in identifiers, especially when it comes to the do-notation and its relatives. One possible solution is to allow at least the use of the double semicolon ;; in identifiers. However, this requires changing the identifier syntax currently inherited from CASL, which interdicts semicolons altogether. I vote yes. Comments? -- Lutz -- ------------------------------------------------------------------ PD Dr. Lutz Schr?der office @ Universit?t Bremen: Senior Researcher Cartesium 2.051 Safe and Secure Cognitive Systems Enrique-Schmidt-Str. 5 DFKI-Lab Bremen FB3 Mathematik - Informatik Robert-Hooke-Str. 5 Universit?t Bremen D-28359 Bremen P.O. Box 330 440 D-28334 Bremen phone: (+49) 421-218-64216 Fax: (+49) 421-218-9864216 mail: Lutz.Schroeder at dfki,de www.dfki.de/sks/staff/lschrode ------------------------------------------------------------------ ------------------------------------------------------------- Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------- From Lutz.Schroeder at dfki.de Wed Apr 16 15:08:13 2008 From: Lutz.Schroeder at dfki.de (Lutz Schroeder) Date: Wed, 16 Apr 2008 15:08:13 +0200 Subject: [Hets-devel] [Hets] #447: Binder syntax for HasCASL In-Reply-To: <057.eb3e11c34e73ef86f6c945ce6a9306c8@informatik.uni-bremen.de> References: <048.d62d2de5c2c94c8bb878606d8653c875@informatik.uni-bremen.de> <057.eb3e11c34e73ef86f6c945ce6a9306c8@informatik.uni-bremen.de> Message-ID: <4805FA3D.7090501@dfki.de> Hi Christian, > Currently even "do" is a reserved keyword (for #428) Das erledigt sich hiermit nat?rlich; wir brauchen eben f?r die Monadennotation keine speziellen Keywords mehr, sondern nur die Binder-Annotation. Gru?, Lutz -- ------------------------------------------------------------------ PD Dr. Lutz Schr?der office @ Universit?t Bremen: Senior Researcher Cartesium 2.051 Safe and Secure Cognitive Systems Enrique-Schmidt-Str. 5 DFKI-Lab Bremen FB3 Mathematik - Informatik Robert-Hooke-Str. 5 Universit?t Bremen D-28359 Bremen P.O. Box 330 440 D-28334 Bremen phone: (+49) 421-218-64216 Fax: (+49) 421-218-9864216 mail: Lutz.Schroeder at dfki,de www.dfki.de/sks/staff/lschrode ------------------------------------------------------------------ ------------------------------------------------------------- Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 ------------------------------------------------------------- From Christian.Maeder at dfki.de Wed Apr 23 09:54:33 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Wed, 23 Apr 2008 09:54:33 +0200 Subject: [Hets-devel] Mac OS + SVN Message-ID: <480EEB39.9000500@dfki.de> Hi, please do not check in file names that only differ in case, because that'll cause trouble on Mac OS! Thanks Christian the files in Modal/standalone: ModalCASL.hs ModalCasl.hs caused this on Macs: svn: In directory 'Hets/Modal/standalone' svn: Can't copy 'Hets/Modal/standalone/.svn/tmp/text-base/ModalCasl.hs.svn-base' to 'Hets/Modal/standalone/.svn/tmp/ModalCasl.hs.tmp.tmp': Unknown error: 0