[Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.

Michael Kohlhase m.kohlhase at jacobs-university.de
Tue Feb 15 17:03:15 CET 2011


Dear Christoph,

I could now say that I am sorry about this, but I am not. I actually 
think that the xslts (which apply to the Openmath2 CDs) as well as the 
OWL (which can only realistically talk about OpenMath2) should not have 
been under OpenMath3. I think that both should have been one level up.

But I do see that the organization of the svn server is quite 
unintuitive (as not to say chaotic). I think that it would be a good 
task for the Infrastructure group established in Paris in Summer (are 
you not a member?) to make a (re)-organization proposal to improve the 
situation.

After that I will be more careful in changing the structure.

Michael

On 2/15/11 3:33 PM, Christoph LANGE wrote:
> Hi all,
>
> now that I have resumed my work on OpenMath, I had to populate the new
> "OpenMath2++" svn directory with some stuff.  For those things that I
> need to get my work done, and that existed in the former "OpenMath3"
> directory, I believe it does not make sense to continue maintaining them
> there.  To my understanding, the new name "OpenMath3-effort-2009"
> reflects that it is now an archive.  Therefore I will copy the things I
> need over to "OpenMath2++"; details below.
>
> @Michael: I'd like to suggest creating a top-level directory "archive",
> where the OpenMath3-effort-2009 and formerCVS directories and probably
> other old stuff goes.
>
> This is what I have created:
>
> owl: I have resumed the maintenance of the RDF vocabulary (a.k.a.
> ontology).  Whether I will get some official status w.r.t. the new
> OpenMath standard or not, my implementations use it, so I think it's
> appropriate to maintain it in "OpenMath2++".
>
> xsl: @Michael, the svn comment you gave when deleting that directory
> from OpenMath3-effort-2009 was wrong.  There were changes in the XSLTs:
> my refactoring of the CD→HTML XSLT to make it more reusable, and some of
> David's bugfixes that he had (accidentally?) only made in the "OpenMath
> 3" branch.  I had to restore that directory now (in OpenMath2++), as
> some of the CD→HTML code is reused in my CD→RDF translation.  I'm now
> merging the recent changes to
> http://svn.openmath.org/OpenMath/www/cdfiles2/xsl (e.g. David's
> OMOBJ→Popcorn code) into OpenMath2++ to ensure that it is up to date.
>
> lib: needed for "xsl", as I had factored some JavaScript and CSS out of
> the CD→HTML XSLT in the "OpenMath 3" branch in order to facilitate the
> reusability of that XSLT.
>
> Cheers,
>
> Christoph
>
>
>
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om3/attachments/20110215/c9991724/attachment.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 181 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20110215/c9991724/attachment.vcf 


More information about the Om3 mailing list