From andre.scholz at mathematik.tu-chemnitz.de Mon May 5 05:50:18 2008 From: andre.scholz at mathematik.tu-chemnitz.de (=?ISO-8859-1?Q?Andr=E9?= Scholz) Date: Mon, 05 May 2008 05:50:18 +0200 Subject: [Hets-users] not a subsort of 'Thing' Message-ID: <1209959418.23083.10.camel@webrahmen> Hello, using logic CASL_DL i get a lot of this error messages: the first argument sort of this pred is not a subsort of 'Thing': 'somePredicateName' I doublechecked that all sorts are subsorts of 'Thing' and i can find no pattern in the choice of the incorrect sorts. Can someone please explain this to me? Kind regards, Andr? P.S.: Is there a way to name a predicate like a casl-keyword, e.g. some escape character or something? From immanuel.normann at googlemail.com Tue May 6 18:26:28 2008 From: immanuel.normann at googlemail.com (Immanuel Normann) Date: Tue, 6 May 2008 18:26:28 +0200 Subject: [Hets-users] alias names for sorts Message-ID: <92952f860805060926w26757ef7u7b4a133ae7cbf7a0@mail.gmail.com> Hi, is it possible in CASL to have alias names for sorts? e.g. something like sort IntList = List[Int] (in the spirit of the Haskell type declaration; e.g. type IntList = List[Int] ) Immanuel -------------- next part -------------- An HTML attachment was scrubbed... URL: From Till.Mossakowski at dfki.de Wed May 7 09:12:40 2008 From: Till.Mossakowski at dfki.de (Till Mossakowski) Date: Wed, 07 May 2008 09:12:40 +0200 Subject: [Hets-users] alias names for sorts In-Reply-To: <92952f860805060926w26757ef7u7b4a133ae7cbf7a0@mail.gmail.com> References: <92952f860805060926w26757ef7u7b4a133ae7cbf7a0@mail.gmail.com> Message-ID: <48215668.4040902@dfki.de> Hi Immanuel, sort IntList = List[Int] is possible in CASL and has roughly the desired effect, although it does something else: namely, IntList and List[Int] are declared as subsorts of each other. Another possibility that avoids the use of subsorts is renaming: just use spec with sort List[Int] |-> IntList True type aliases as in Haskell are available in HasCASL. Greetings, Till Immanuel Normann schrieb: > Hi, > > is it possible in CASL to have alias names for sorts? e.g. > something like > sort IntList = List[Int] > > (in the spirit of the Haskell type declaration; e.g. > type IntList = List[Int] ) > > Immanuel > > > ------------------------------------------------------------------------ > > _______________________________________________ > Hets-users mailing list > Hets-users at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users -- 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 andre.scholz at mathematik.tu-chemnitz.de Sun May 18 22:38:24 2008 From: andre.scholz at mathematik.tu-chemnitz.de (=?utf-8?b?QW5kcsOp?= Scholz) Date: Sun, 18 May 2008 22:38:24 +0200 Subject: [Hets-users] =?utf-8?q?Minimalbeispiel_f=C3=BCr_Fehlermeldung_in_?= =?utf-8?q?hets=2E?= Message-ID: <20080518223824.z2jyg2eag4w008kg@mail.tu-chemnitz.de> Hallo, unter http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ habe ich zwei Minimalbeispiele hinterlegt, von denen eines mit hets eine Fehlermeldung produziert. Der einzige Unterschied zwischen diesen Dateien liegt im Keyword "then". Kann mir jemand erkl?ren woher diese Fehlermeldung r?hrt? Liebe Gr??e Andr? From luecke at informatik.uni-bremen.de Mon May 19 16:58:46 2008 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Mon, 19 May 2008 16:58:46 +0200 Subject: [Hets-users] =?utf-8?q?Minimalbeispiel_f=C3=BCr_Fehlermeldung_in_?= =?utf-8?q?hets=2E?= In-Reply-To: <20080518223824.z2jyg2eag4w008kg@mail.tu-chemnitz.de> References: <20080518223824.z2jyg2eag4w008kg@mail.tu-chemnitz.de> Message-ID: <483195A6.9050306@informatik.uni-bremen.de> Hallo, tut mir Leid wegen der Verzoegerung, aber irgendwie habe ich Hets-users uebersehen. Ich habe einmal beide Beispiele ausprobiert und bei mir funktionieren beide... Seltsam... Vielleicht solltest Du den neuesten Hets daily build einmal ausprobieren, da ich in letzter Zeit ein wenig an CASL-DL herumgespielt habe. Gruesse, Dominik Andr? Scholz wrote: > Hallo, > > unter > > http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ > > habe ich zwei Minimalbeispiele hinterlegt, von denen eines mit hets eine > Fehlermeldung produziert. Der einzige Unterschied zwischen diesen > Dateien liegt im Keyword "then". Kann mir jemand erkl?ren woher diese > Fehlermeldung r?hrt? > > Liebe Gr??e > Andr? > > > _______________________________________________ > Hets-users mailing list > Hets-users at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users -- 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 andre.scholz at mathematik.tu-chemnitz.de Tue May 27 20:45:57 2008 From: andre.scholz at mathematik.tu-chemnitz.de (=?utf-8?q?Andr=C3=A9_Scholz?=) Date: Tue, 27 May 2008 20:45:57 +0200 Subject: [Hets-users] =?utf-8?q?Minimalbeispiel_f=C3=BCr_Fehlermeldung_in_?= =?utf-8?q?hets=2E?= In-Reply-To: <483195A6.9050306@informatik.uni-bremen.de> References: <20080518223824.z2jyg2eag4w008kg@mail.tu-chemnitz.de> <483195A6.9050306@informatik.uni-bremen.de> Message-ID: <200805272045.59001.andre.scholz@mathematik.tu-chemnitz.de> Hallo, ja das war mein Fehler, ich habe die falschen Dateien in's Netz gestellt. Jetzt habe ich sie "korrigiert" : http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ Bitte seht sie Euch nochmal an. Vielen Dank, Andr? On Monday 19 May 2008 16:58:46 Dominik Luecke wrote: > Hallo, > > tut mir Leid wegen der Verzoegerung, aber irgendwie habe ich Hets-users > uebersehen. Ich habe einmal beide Beispiele ausprobiert und bei mir > funktionieren beide... Seltsam... Vielleicht solltest Du den neuesten > Hets daily build einmal ausprobieren, da ich in letzter Zeit ein wenig > an CASL-DL herumgespielt habe. > > Gruesse, > Dominik > > Andr? Scholz wrote: > > Hallo, > > > > unter > > > > http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ > > > > habe ich zwei Minimalbeispiele hinterlegt, von denen eines mit hets eine > > Fehlermeldung produziert. Der einzige Unterschied zwischen diesen > > Dateien liegt im Keyword "then". Kann mir jemand erkl?ren woher diese > > Fehlermeldung r?hrt? > > > > Liebe Gr??e > > Andr? > > > > > > _______________________________________________ > > Hets-users mailing list > > Hets-users at mailhost.informatik.uni-bremen.de > > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users From luecke at informatik.uni-bremen.de Wed May 28 15:19:27 2008 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Wed, 28 May 2008 15:19:27 +0200 Subject: [Hets-users] =?utf-8?q?Minimalbeispiel_f=C3=BCr_Fehlermeldung_in_?= =?utf-8?q?hets=2E?= In-Reply-To: <200805272045.59001.andre.scholz@mathematik.tu-chemnitz.de> References: <20080518223824.z2jyg2eag4w008kg@mail.tu-chemnitz.de> <483195A6.9050306@informatik.uni-bremen.de> <200805272045.59001.andre.scholz@mathematik.tu-chemnitz.de> Message-ID: <483D5BDF.8020901@informatik.uni-bremen.de> Hallo Andr?, for the English speaking persons on this list I will respond in English. I have checked your example and found out, that the propagation of subsorting wrt. Thing in CASL_DL does not work too well. Unfortunately, CASL_DL is mostly code not written by myself, so I will need some time to find the error. Das a work-around you can specify all sorts again in all particular specifications, as depicted in the example the attached file. Gruesse, Dominik Andr? Scholz wrote: > Hallo, > > ja das war mein Fehler, ich habe die falschen Dateien in's Netz gestellt. > Jetzt habe ich sie "korrigiert" : > > http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ > > Bitte seht sie Euch nochmal an. > > Vielen Dank, > Andr? > > On Monday 19 May 2008 16:58:46 Dominik Luecke wrote: >> Hallo, >> >> tut mir Leid wegen der Verzoegerung, aber irgendwie habe ich Hets-users >> uebersehen. Ich habe einmal beide Beispiele ausprobiert und bei mir >> funktionieren beide... Seltsam... Vielleicht solltest Du den neuesten >> Hets daily build einmal ausprobieren, da ich in letzter Zeit ein wenig >> an CASL-DL herumgespielt habe. >> >> Gruesse, >> Dominik >> >> Andr? Scholz wrote: >>> Hallo, >>> >>> unter >>> >>> http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ >>> >>> habe ich zwei Minimalbeispiele hinterlegt, von denen eines mit hets eine >>> Fehlermeldung produziert. Der einzige Unterschied zwischen diesen >>> Dateien liegt im Keyword "then". Kann mir jemand erkl?ren woher diese >>> Fehlermeldung r?hrt? >>> >>> Liebe Gr??e >>> Andr? >>> >>> >>> _______________________________________________ >>> Hets-users mailing list >>> Hets-users at mailhost.informatik.uni-bremen.de >>> http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users -- 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 -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: minimalbeispielMitFehlermeldung.casl URL: From luecke at informatik.uni-bremen.de Wed May 28 15:51:48 2008 From: luecke at informatik.uni-bremen.de (Dominik Luecke) Date: Wed, 28 May 2008 15:51:48 +0200 Subject: [Hets-users] =?utf-8?q?Minimalbeispiel_f=C3=BCr_Fehlermeldung_in_?= =?utf-8?q?hets=2E?= In-Reply-To: <483D5BDF.8020901@informatik.uni-bremen.de> References: <20080518223824.z2jyg2eag4w008kg@mail.tu-chemnitz.de> <483195A6.9050306@informatik.uni-bremen.de> <200805272045.59001.andre.scholz@mathematik.tu-chemnitz.de> <483D5BDF.8020901@informatik.uni-bremen.de> Message-ID: <483D6374.3000905@informatik.uni-bremen.de> Hallo Andr?, I just fixed the bug. Your example works fine now. As I said some of the subsorting in structured specs in CASL_DL was lost. Gruesse, Dominik Dominik Luecke wrote: > Hallo Andr?, > > for the English speaking persons on this list I will respond in English. > I have checked your example and found out, that the propagation of > subsorting wrt. Thing in CASL_DL does not work too well. Unfortunately, > CASL_DL is mostly code not written by myself, so I will need some time > to find the error. Das a work-around you can specify all sorts again in > all particular specifications, as depicted in the example the attached file. > > Gruesse, > Dominik > > Andr? Scholz wrote: >> Hallo, >> >> ja das war mein Fehler, ich habe die falschen Dateien in's Netz gestellt. >> Jetzt habe ich sie "korrigiert" : >> >> http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ >> >> Bitte seht sie Euch nochmal an. >> >> Vielen Dank, >> Andr? >> >> On Monday 19 May 2008 16:58:46 Dominik Luecke wrote: >>> Hallo, >>> >>> tut mir Leid wegen der Verzoegerung, aber irgendwie habe ich Hets-users >>> uebersehen. Ich habe einmal beide Beispiele ausprobiert und bei mir >>> funktionieren beide... Seltsam... Vielleicht solltest Du den neuesten >>> Hets daily build einmal ausprobieren, da ich in letzter Zeit ein wenig >>> an CASL-DL herumgespielt habe. >>> >>> Gruesse, >>> Dominik >>> >>> Andr? Scholz wrote: >>>> Hallo, >>>> >>>> unter >>>> >>>> http://die.in-chemnitz.de/schola/OntoSpace/Ontologien/Changes/ >>>> >>>> habe ich zwei Minimalbeispiele hinterlegt, von denen eines mit hets eine >>>> Fehlermeldung produziert. Der einzige Unterschied zwischen diesen >>>> Dateien liegt im Keyword "then". Kann mir jemand erkl?ren woher diese >>>> Fehlermeldung r?hrt? >>>> >>>> Liebe Gr??e >>>> Andr? >>>> >>>> >>>> _______________________________________________ >>>> Hets-users mailing list >>>> Hets-users at mailhost.informatik.uni-bremen.de >>>> http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users > > > > ------------------------------------------------------------------------ > > _______________________________________________ > Hets-users mailing list > Hets-users at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users -- 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