OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

update to IRI spec, issue #29 #51

Closed davidcarlisle closed 6 years ago

davidcarlisle commented 6 years ago

OK I made a PR @kohlhase yu might want to check my IRI statements @pdfion @JamesHDavenport you probably don't want to trust my typing:-) (Patrick I pinged you in particular as you don't seem to be watching this repo so miss issue notifications)

kohlhase commented 6 years ago

Is there really no xsd data type like xsd:anyIRI? It seems a bit of a pity to have to revert to xsd:string. I could not find one, have people lost interest in this?

kohlhase commented 6 years ago

Otherwise things seem fine. From my point of view this can be merged.

davidcarlisle commented 6 years ago

anyURL was clarified to mean essentially any URI but since it only talks of validation not actually the mapping to the %-encoded URL it means that any string is valid and characters not allowed in URL are assumed to be %-encoded by the application. so XSD made it explicit that the value spaces of anuURI and string are the same. So it would be nice to leave it as anyURI (and I wouldn't necessarily object to reverting that part of the suggested change) but then older relax (and XSD) validators may or may not validate CDURL elements containing non URL characters depending if they folow teh XSD 1.1 interpretation (when any content is valid) or try to follow the XSD 1.0 interpretation (which was incoherent and sometimes implied things had to be URL %-encoded, and sometimes implied they did not)

In practice if we use anyURI and avoid (as has already been done) white space things will be valid and look more natural, perhaps over time validators will catch up (or people will ignore formal validation)

kohlhase commented 6 years ago

In practice if we use anyURI and avoid (as has already been done) white space things will be valid and look more natural, perhaps over time validators will catch up (or people will ignore formal validation)

Actually I am fine either way. I will trust your instincts on this.

davidcarlisle commented 6 years ago

I think I'll revert it to anyURI and adjust the bit in the text where I justified to use xsd:string, I'll do that before pulling the pr, although perhaps not today

pdfion commented 6 years ago

I wasn't Git-watching, which I'll change if necessary, but I'm getting lots of Travis notifications, which I thought enough.

Patrick

On 10/4/17 2:07 PM, David Carlisle wrote:

OK I made a PR @kohlhase https://protect-us.mimecast.com/s/5JNoB3UWDKAH8?domain=github.com yu might want to check my IRI statements @pdfion https://protect-us.mimecast.com/s/g5G3BRs82Q6sx?domain=github.com @JamesHDavenport https://protect-us.mimecast.com/s/oXpMBRUaE7rc9?domain=github.com you probably don't want to trust my typing:-) (Patrick I pinged you in particular as you don't seem to be watching this repo so miss issue notifications)

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://protect-us.mimecast.com/s/ANW9BzhLdQgcN?domain=github.com, or mute the thread https://protect-us.mimecast.com/s/3Rv5BohGAKbFg?domain=github.com.