<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
code
{mso-style-priority:99;
font-family:"Courier New";}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:1432051254;
mso-list-template-ids:816378228;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-GB" style="mso-fareast-language:EN-US">Hi Paul,<br>
<br>
this is a good point. Unfortunately, this is an HTML-level redirect and could only be understood by HTML clients. As RDF files (or also OpenMath CDs) are usually requested via non-HTML-aware HTTP clients this approach won’t work.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="mso-fareast-language:EN-US">Best regards,<br>
Ken<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b>Von:</b> Om <svcmathdoxmail@tue.nl> <br>
<b>Gesendet:</b> Montag, 19. Juni 2023 11:37<br>
<b>An:</b> svcmathdoxmail@tue.nl<br>
<b>Cc:</b> om@openmath.org<br>
<b>Betreff:</b> Re: [Om] Use w3id.org/openmath/ for redirections<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p><span style="font-family:"Arial",sans-serif">Hello Ken,<o:p></o:p></span></p>
<p><span style="font-family:"Arial",sans-serif">Any reason why an element such as the following could not be used in the named index.html?<o:p></o:p></span></p>
<p><code><span style="font-size:10.0pt;color:black;background:#F7F7F7"><meta http-equiv="refresh" content="0;url=https://github.com/OpenMath/om-rdf/blob/main/ontologies/math.ttl" /></span></code><span style="font-family:"Arial",sans-serif"><o:p></o:p></span></p>
<p><span style="font-family:"Arial",sans-serif">Thanks<br>
Paul<o:p></o:p></span></p>
<p><span style="font-family:"Arial",sans-serif">On 19 Jun 2023, at 9:31, <a href="mailto:svcmathdoxmail@tue.nl">
<span style="color:#3983C4">svcmathdoxmail@tue.nl</span></a> wrote:<o:p></o:p></span></p>
</div>
<blockquote style="border:none;border-left:solid #777777 1.5pt;padding:0cm 0cm 0cm 4.0pt;margin-left:0cm;margin-right:0cm;margin-bottom:3.75pt">
<div id="AF7277CE-F07D-4BBD-93E9-697A23E34692">
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-family:"Arial",sans-serif;color:#777777">Dear community,<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-family:"Arial",sans-serif;color:#777777"> <o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">I like to serve the OpenMath ontologies for the RDF-encoding (<a href="https://openmath.org/om-rdf/">https://openmath.org/om-rdf/</a>)
under stable URLs.</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">The ontologies for the mathematical objects and the content dictionaries use the two URLs:</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"><a href="http://openmath.org/vocab/math">http://openmath.org/vocab/math</a></span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"><a href="http://openmath.org/vocab/math/meta">http://openmath.org/vocab/math/meta</a></span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">Those URLs do not directly address concrete files but namespaces of vocabularies which may be delivered in
different formats (Turtle, RDF/XML etc.).</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">Currently, as the content at</span><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">
</span><span style="font-family:"Arial",sans-serif;color:#777777"><a href="https://openmath.org/"><span lang="EN-GB">https://openmath.org/</span></a>
</span><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">is served via Github pages, it is not possible to redirect
<a href="http://openmath.org/vocab/math">http://openmath.org/vocab/math</a> to the concrete file at
<a href="https://github.com/OpenMath/om-rdf/blob/main/ontologies/math.ttl">https://github.com/OpenMath/om-rdf/blob/main/ontologies/math.ttl</a></span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">To accomplish this, two solutions are possible:</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph" style="color:#777777;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo1">
<span lang="EN-GB" style="mso-fareast-language:EN-US">Setup a web server for openmath.org that allows to use URL rewriting to rewrite or redirect from the namespace to the concrete file. As this would impose costs, I expect that this is no viable solution?!</span><span style="mso-fareast-language:EN-US"><o:p></o:p></span></li><li class="MsoListParagraph" style="color:#777777;margin-top:0cm;margin-bottom:0cm;mso-list:l0 level1 lfo1">
<span lang="EN-GB" style="mso-fareast-language:EN-US">Use w3id.org as proposed in this Github ticket
<a href="https://github.com/OpenMath/om-rdf/issues/3#issuecomment-1534391670">https://github.com/OpenMath/om-rdf/issues/3#issuecomment-1534391670</a> to create stable long-lived URLs<br>
This would allow us to use URLS like</span><span lang="EN-GB" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#656D76;background:white;mso-fareast-language:EN-US"> </span><span lang="EN-GB" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white;mso-fareast-language:EN-US"><a href="http://www.w3id.org/openmath/vocab/math">http://www.w3id.org/openmath/<span style="font-size:11.0pt;font-family:"Calibri",sans-serif">vocab/math</span></a></span><span lang="EN-GB" style="mso-fareast-language:EN-US">
</span><span lang="EN-GB" style="mso-fareast-language:EN-US">for our content.</span><span style="mso-fareast-language:EN-US"><o:p></o:p></span></li></ul>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">Now my question is, if someone has any objections in registering/using</span><span lang="EN-GB" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#656D76;background:white"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><a href="http://www.w3id.org/openmath/"><span lang="EN-GB" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;background:white;text-decoration:none">http://www.w3id.org/openmath/</span></a>
</span><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">and if I am allowed to do this?</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777"> </span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">Thank you and best regards,</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span lang="EN-GB" style="font-family:"Arial",sans-serif;color:#777777">Ken</span><span style="font-family:"Arial",sans-serif;color:#777777"><o:p></o:p></span></p>
</div>
</div>
</blockquote>
<div>
<blockquote style="border:none;border-left:solid #777777 1.5pt;padding:0cm 0cm 0cm 4.0pt;margin-left:0cm;margin-right:0cm;margin-bottom:3.75pt">
<p><span style="font-family:"Arial",sans-serif;color:#777777">_______________________________________________
<br>
Om mailing list <br>
<a href="mailto:Om@openmath.org">Om@openmath.org</a><o:p></o:p></span></p>
</blockquote>
</div>
<div>
<blockquote style="border:none;border-left:solid #777777 1.5pt;padding:0cm 0cm 0cm 4.0pt;margin-left:0cm;margin-right:0cm;margin-bottom:3.75pt">
<p><span style="font-family:"Arial",sans-serif;color:#777777"><a href="https://mailman.openmath.org/cgi-bin/mailman/listinfo/om"><span style="color:#777777">https://mailman.openmath.org/cgi-bin/mailman/listinfo/om</span></a><o:p></o:p></span></p>
</blockquote>
</div>
</div>
</div>
</body>
</html>