[Om] OpenMath Organization at github
math.semantic.web at gmail.com
Sun Jul 3 18:27:28 CEST 2016
Paul Libbrecht on 2016-07-02 22:42:
> Konrad Hinsen wrote:
>>> Also: Are media-types adjustments possible? (and... some
>> I don't know.
> This might be the biggest deal.
> Could you try a .xhtml file? An .ocd file? A .sts file?
> (we have not been very eager at doing the media type registrations
> I remember there was also some automatic negotiation which we tried to
> establish with Christoph Lange so that a form of cool-URLs appears (in
> the sort of the "namespace document"). I pretty much fear this is not
> going to hold anymore.
github.io doesn't support content negotiation. However, as you suggest …
> Custom domains seem supported.
> We certainly do not want to loose all the many URLs to inside OM, in
> particular to the CDs.
… we can't afford entirely giving up openmath.org anyway, as too many
canonical URIs of CDs are hosted there.
If we had to start over and could afford deprecating all existing URIs,
https://w3id.org/ would be modern choice for a configurable URL
Dr. Christoph Lange, Enterprise Information Systems Department
Applied Computer Science @ University of Bonn; Fraunhofer IAIS
http://langec.wordpress.com/about, Skype duke4701
→ Please note: I will be on parental leave from 29 July to 28 October.
Colleagues will stand in for me mainly based on projects.
More information about the Om