From Till.Mossakowski at dfki.de  Thu May  2 17:13:10 2013
From: Till.Mossakowski at dfki.de (Till Mossakowski)
Date: Thu, 02 May 2013 17:13:10 +0200
Subject: [Hets-users] Hets Translation error
In-Reply-To: <1835286850.47763.1367506898959.JavaMail.open-xchange@ox6.dfki.de>
References: <1835286850.47763.1367506898959.JavaMail.open-xchange@ox6.dfki.de>
Message-ID: <51828286.2010107@dfki.de>

Dear Alessandro,

please use the latest version of Hets

If you have installed Hets from the Ubuntu packages, you can get it with

sudo hets -update

Otherwise, go to
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm
and under "Hets binaries are available here:", download a daily snapshot.

All the best,
Till

Am 02.05.2013 17:01, schrieb Christian Maeder:
>
> ---------- Urspr?ngliche Nachricht ----------
> Von: wwwfb3 <wwwfb3 at informatik.uni-bremen.de>
> An: maeder at informatik.uni-bremen.de
> Datum: 1. Mai 2013 um 20:55
> Betreff: [Webseiten-Feedback] Translation error
> Dear all,
>
> I am trying to check consistency from PSL (psl-core.clif, made available
> by COLORE project).
> However, I am receiveing below error for any checker (except Isabelle).
>
> hets: SuleCFOL2SoftFOL.transPREDSYMB: unknown pred: Qual_pred_name
> pslcore (Pred_type [individual] nullRange) nullRange
> ets: SuleCFOL2SoftFOL.transOPSYMB: unknown op: Qual_op_name pslcore
> (Op_type Total [] individual nullRange) nullRange
>
> Could you help me?
>
> Best Regards,
> Alessandro Romero.
>
> --
> Diese E-Mail wurde durch den Kontaktlink der Internetseite:
> -->
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/documentation_e.htm
> <--
> ausgeloest.
>
> Absender: Alessandro Romero, romgerale at yahoo.com.br


-- 
Prof. Dr. Till Mossakowski  Cartesium, room 2.51 Phone +49-421-218-64226
DFKI GmbH Bremen                             Fax +49-421-218-9864226
Cyber-Physical Systems                      Till.Mossakowski at dfki.de
Enrique-Schmidt-Str. 5, D-28359 Bremen
http://www.informatik.uni-bremen.de/~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 romgerale at yahoo.com.br  Thu May  2 17:54:42 2013
From: romgerale at yahoo.com.br (Alessandro Romero)
Date: Thu, 2 May 2013 08:54:42 -0700 (PDT)
Subject: [Hets-users] Hets Translation error
In-Reply-To: <51828286.2010107@dfki.de>
References: <1835286850.47763.1367506898959.JavaMail.open-xchange@ox6.dfki.de>
	<51828286.2010107@dfki.de>
Message-ID: <1367510082.53235.YahooMailNeo@web163002.mail.bf1.yahoo.com>

Dear Till,

I have tried to update but the message is the same (it follows below the terminal output).

I attached the file that I am using, and the het file generated by "show theory".

Could you help me? Do you know a workaround?

Best Regards,
Alessandro Romero.


@ubuntu:~/cliftest/psl$ sudo hets -update
[sudo] password for ****?
Reading package lists... Done
Building dependency tree ? ? ??
Reading state information... Done
hets-core is already the newest version.
hets-core set to manually installed.
0 upgraded, 0 newly installed, 0 to remove and 8 not upgraded.
Retrieving latest Hets library... Done
Retrieving latest Hets binary... Done
Creating Backups ... Done
Installing new files ... Done
Updated to version of hets: v0.99, 02 Mai 2013.
@ubuntu:~/cliftest/psl$


@ubuntu:~/cliftest/psl$ hets -g pslcore.het?
Analyzing file pslcore.het as library pslcore
logic CommonLogic.FirstOrder
Analyzing spec pslcore#Spec
hets: SuleCFOL2SoftFOL.transPREDSYMB: unknown pred: Qual_pred_name psl/core (Pred_type [individual] nullRange) nullRange


________________________________
 From: Till Mossakowski <Till.Mossakowski at dfki.de>
To: romgerale at yahoo.com.br 
Cc: Hets users <hets-users at informatik.uni-bremen.de> 
Sent: Thursday, May 2, 2013 5:13 PM
Subject: Re: Hets Translation error
 

Dear Alessandro,

please use the latest version of Hets

If you have installed Hets from the Ubuntu packages, you can get it with

sudo hets -update

Otherwise, go to
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm
and under "Hets binaries are available here:", download a daily snapshot.

All the best,
Till

Am 02.05.2013 17:01, schrieb Christian Maeder:
>
> ---------- Urspr?ngliche Nachricht ----------
> Von: wwwfb3 <wwwfb3 at informatik.uni-bremen.de>
> An: maeder at informatik.uni-bremen.de
> Datum: 1. Mai 2013 um 20:55
> Betreff: [Webseiten-Feedback] Translation error
> Dear all,
>
> I am trying to check consistency from PSL (psl-core.clif, made available
> by COLORE project).
> However, I am receiveing below error for any checker (except Isabelle).
>
> hets: SuleCFOL2SoftFOL.transPREDSYMB: unknown pred: Qual_pred_name
> pslcore (Pred_type [individual] nullRange) nullRange
> ets: SuleCFOL2SoftFOL.transOPSYMB: unknown op: Qual_op_name pslcore
> (Op_type Total [] individual nullRange) nullRange
>
> Could you help me?
>
> Best Regards,
> Alessandro Romero.
>
> --
> Diese E-Mail wurde durch den Kontaktlink der Internetseite:
> -->
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/documentation_e.htm
> <--
> ausgeloest.
>
> Absender: Alessandro Romero, romgerale at yahoo.com.br


-- 
Prof. Dr. Till Mossakowski? Cartesium, room 2.51 Phone +49-421-218-64226
DFKI GmbH Bremen? ? ? ? ? ? ? ? ? ? ? ? ? ?  Fax +49-421-218-9864226
Cyber-Physical Systems? ? ? ? ? ? ? ? ? ? ? Till.Mossakowski at dfki.de
Enrique-Schmidt-Str. 5, D-28359 Bremen
http://www.informatik.uni-bremen.de/~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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/hets-users/attachments/20130502/87e726b8/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: psl-core.clif
Type: application/octet-stream
Size: 4924 bytes
Desc: not available
URL: <https://mailman.informatik.uni-bremen.de/pipermail/hets-users/attachments/20130502/87e726b8/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pslcore.het
Type: application/octet-stream
Size: 9733 bytes
Desc: not available
URL: <https://mailman.informatik.uni-bremen.de/pipermail/hets-users/attachments/20130502/87e726b8/attachment-0001.obj>

From Till.Mossakowski at dfki.de  Thu May  2 18:35:01 2013
From: Till.Mossakowski at dfki.de (Till Mossakowski)
Date: Thu, 02 May 2013 18:35:01 +0200
Subject: [Hets-users] Hets Translation error
In-Reply-To: <1367510082.53235.YahooMailNeo@web163002.mail.bf1.yahoo.com>
References: <1835286850.47763.1367506898959.JavaMail.open-xchange@ox6.dfki.de>
	<51828286.2010107@dfki.de>
	<1367510082.53235.YahooMailNeo@web163002.mail.bf1.yahoo.com>
Message-ID: <518295B5.3010607@dfki.de>

Dear Alessandro,

the workaround is to replace "cl-module" by "cl-text".

The problem seems to be in the module elimination of Hets. I have filed 
a ticket:
http://trac.informatik.uni-bremen.de:8080/hets/ticket/1147

Best, Till


Am 02.05.2013 17:54, schrieb Alessandro Romero:
> Dear Till,
>
> I have tried to update but the message is the same (it follows below the
> terminal output).
>
> I attached the file that I am using, and the het file generated by "show
> theory".
>
> Could you help me? Do you know a workaround?
>
> Best Regards,
> Alessandro Romero.
>
>
> @ubuntu:~/cliftest/psl$ sudo hets -update
> [sudo] password for ****
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> hets-core is already the newest version.
> hets-core set to manually installed.
> 0 upgraded, 0 newly installed, 0 to remove and 8 not upgraded.
> Retrieving latest Hets library... Done
> Retrieving latest Hets binary... Done
> Creating Backups ... Done
> Installing new files ... Done
> Updated to version of hets: v0.99, 02 Mai 2013.
> @ubuntu:~/cliftest/psl$
>
> @ubuntu:~/cliftest/psl$ hets -g pslcore.het
> Analyzing file pslcore.het as library pslcore
> logic CommonLogic.FirstOrder
> Analyzing spec pslcore#Spec
> hets: SuleCFOL2SoftFOL.transPREDSYMB: unknown pred: Qual_pred_name
> psl/core (Pred_type [individual] nullRange) nullRange
>
> ------------------------------------------------------------------------
> *From:* Till Mossakowski <Till.Mossakowski at dfki.de>
> *To:* romgerale at yahoo.com.br
> *Cc:* Hets users <hets-users at informatik.uni-bremen.de>
> *Sent:* Thursday, May 2, 2013 5:13 PM
> *Subject:* Re: Hets Translation error
>
> Dear Alessandro,
>
> please use the latest version of Hets
>
> If you have installed Hets from the Ubuntu packages, you can get it with
>
> sudo hets -update
>
> Otherwise, go to
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm
> and under "Hets binaries are available here:", download a daily snapshot.
>
> All the best,
> Till
>
> Am 02.05.2013 17:01, schrieb Christian Maeder:
>  >
>  > ---------- Urspr?ngliche Nachricht ----------
>  > Von: wwwfb3 <wwwfb3 at informatik.uni-bremen.de
> <mailto:wwwfb3 at informatik.uni-bremen.de>>
>  > An: maeder at informatik.uni-bremen.de
> <mailto:maeder at informatik.uni-bremen.de>
>  > Datum: 1. Mai 2013 um 20:55
>  > Betreff: [Webseiten-Feedback] Translation error
>  > Dear all,
>  >
>  > I am trying to check consistency from PSL (psl-core.clif, made available
>  > by COLORE project).
>  > However, I am receiveing below error for any checker (except Isabelle).
>  >
>  > hets: SuleCFOL2SoftFOL.transPREDSYMB: unknown pred: Qual_pred_name
>  > pslcore (Pred_type [individual] nullRange) nullRange
>  > ets: SuleCFOL2SoftFOL.transOPSYMB: unknown op: Qual_op_name pslcore
>  > (Op_type Total [] individual nullRange) nullRange
>  >
>  > Could you help me?
>  >
>  > Best Regards,
>  > Alessandro Romero.
>  >
>  > --
>  > Diese E-Mail wurde durch den Kontaktlink der Internetseite:
>  > -->
>  >
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/documentation_e.htm
>  > <--
>  > ausgeloest.
>  >
>  > Absender: Alessandro Romero, romgerale at yahoo.com.br
> <mailto:romgerale at yahoo.com.br>
>
>
> --
> Prof. Dr. Till Mossakowski  Cartesium, room 2.51 Phone +49-421-218-64226
> DFKI GmbH Bremen                            Fax +49-421-218-9864226
> Cyber-Physical Systems Till.Mossakowski at dfki.de
> <mailto:Till.Mossakowski at dfki.de>
> Enrique-Schmidt-Str. 5, D-28359 Bremen
> http://www.informatik.uni-bremen.de/~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
>
>


-- 
Prof. Dr. Till Mossakowski  Cartesium, room 2.51 Phone +49-421-218-64226
DFKI GmbH Bremen                             Fax +49-421-218-9864226
Cyber-Physical Systems                      Till.Mossakowski at dfki.de
Enrique-Schmidt-Str. 5, D-28359 Bremen
http://www.informatik.uni-bremen.de/~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 math.semantic.web at gmail.com  Mon May 20 13:09:38 2013
From: math.semantic.web at gmail.com (Christoph LANGE)
Date: Mon, 20 May 2013 12:09:38 +0100
Subject: [Hets-users] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK),
 submission deadline 7 June
Message-ID: <519A0472.1030909@gmail.com>

25th OpenMath Workshop
Bath, UK
10 July 2013
co-located with CICM 2013
Submission deadline 7 June

http://www.cicm-conference.org/2013/openmath/

OBJECTIVES

OpenMath (http://www.openmath.org) is a language for exchanging
mathematical formulae across applications (such as computer algebra
systems).  From 2010 its importance has increased in that OpenMath
Content Dictionaries were adopted as a foundation of the MathML 3 W3C
recommendation (http://www.w3.org/TR/MathML), the standard for
mathematical formulae on the Web.

Topics we expect to see at the workshop include

   * Feature Requests (Standard Enhancement Proposals) and Discussions
     for going beyond OpenMath 2;
   * Further convergence of OpenMath and MathML 3;
   * Reasoning with OpenMath;
   * Software using or processing OpenMath;
   * OpenMath on the Semantic Web;
   * New OpenMath Content Dictionaries;

Contributions can be either full research papers, Standard Enhancement
Proposals, or a description of new Content Dictionaries, particularly
ones that are suggested for formal adoption by the OpenMath Society.

IMPORTANT DATES (all times are "anywhere on earth")

   * 7 June: Submission
   * 20 June: Notification of acceptance or rejection
   * 5 July: Final revised papers due
   * 10 July: Workshop

SUBMISSIONS

Submission is via EasyChair
(http://www.easychair.org/conferences?conf=om20131).  Final papers
must conform to the EasyChair LaTeX style.  Initial submissions in
this format are welcome but not mandatory ? but they should be in PDF
and within the given limit of pages/words.

Submission categories:

   * Full paper: 5?10 EasyChair pages
   * Short paper: 1?4 EasyChair pages
   * CD description: 1-6 EasyChair pages; a .zip or .tgz file of the
     CDs must be attached, or a link to the CD provided.
   * Standard Enhancement Proposal: 1-10 EasyChair pages (as
     appropriate w.r.t. the background knowledge required); a .zip or
     .tgz file of any related implementation (e.g. a Relax NG schema)
     should be attached.

If not in EasyChair format, 500 words count as one page.

PROCEEDINGS

Electronic proceedings will be published with CEUR-WS.org.

ORGANISATION COMMITTEE

   * Christoph Lange (University of Birmingham, UK)
   * James Davenport (University of Bath, UK)
   * Michael Kohlhase (Jacobs University Bremen, Germany)

PROGRAMME COMMITTEE

   * Lars Hellstr?m (Ume? Universitet, Sweden)
   * Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands)
   * Paul Libbrecht (Center for Educational Research in Mathematics
     and Technology, Martin-Luther-University Halle-Wittenberg)
   (to be completed)

Comments/questions/enquiries: to be sent to
openmath-workshop at googlegroups.com

-- 
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701

? Intelligent Computer Mathematics, 8?12 July, Bath, UK.
  Work-in-progress deadline 7 June; http://cicm-conference.org/2013/
? OpenMath Workshop, 10 July, Bath, UK.
  Submission deadline 7 June; http://cicm-conference.org/2013/openmath/