You may have heard about the URL homonym problem.
The term “URL” is spelled and pronounced the same way but can mean:
URL as defined by Uniform Resource Identifier (URI): Generic Syntax, RFC 3986, or
URL as defined by HTML5 (Draft, December 17, 2012)
To refresh your memory:
URL in RFC 3986 is defined as:
The term “Uniform Resource Locator” (URL) refers to the subset of URIs that, in addition to identifying a resource, provide a means of locating the resource by describing its primary access mechanism (e.g., its network “location”).
A URL in RFC 3986 is a subtype of URI.
URL in HTML5 is defined as:
A URL is a string used to identify a resource.
A URL in HTML5 is a supertype of URI and IRI.
I would say that going from being a subtype of URI to being a supertype of URI + IRI is a “…willful violation of RFC 3986….”
In LTM syntax, I would solve the URL homonym problem as follows:
#VERSION "1.3"
/* association types */
[supertype-subtype = "Supertype-subtype";
@"http://psi.topicmaps.org/iso13250/model/supertype-subtype"]
[supertype = "Supertype";
@"http://psi.topicmaps.org/iso13250/model/supertype"]
[subtype = "Subtype";
@"http://psi.topicmaps.org/iso13250/model/subtype"]
/* topics */
[uri = "URI";
@"http://tools.ietf.org/html/rfc3986#1.1"]
[url-rfc3986 = "URL";;"URL-RFC 3986"
@"http://tools.ietf.org/html/rfc3986#1.1.3"]
supertype-subtype(uri : supertype,url-rfc3986 : subtype)
[url-html5 = "URL";;"URL-HTML5"
@"http://www.w3.org/TR/2012/CR-html5-20121217/infrastructure.html#urls"]
supertype-subtype(url-html5 : supertype,uri : subtype)
A solution to the URL homonym problem only in the sense of distinguishing which definition is in use.
