search

w3c / rdf-semantics

https://w3c.github.io/rdf-semantics/
Other
6 stars 2 forks source link

fix up definition anchors for rules and links to RDF Concepts #27

Closed pfps closed 1 year ago

pfps commented 1 year ago

needed for citations from SPARQL Entailment Regimes also fix links to RDF Concepts

Preview | Diff

gkellogg commented 1 year ago

IIRC, in ReSpec, data-dfn-for really needs the "for" bit to be a WebIDL interface, and as there is none, it may not be doing what you expect. This is different in Bikeshed, where that isn't necessary.

You could try raising an issue on GitHub.com/w3c/respec and see how they resolve it.

Also, I think you can also use the id attribute on the dfn to give it a specific fragment identifier, for example <dfn id="dfn-rdfs-entailment-rdfs1">...</dfn> to override the default identifier issued; I think @afs had an issue like this in SPARQL Query.

pfps commented 1 year ago

@gkellogg @TallTed I was hoping to have a common data-dfn-for. The replies by Tab Atkins Jr. and Marcos Caceres (see https://lists.w3.org/Archives/Public/spec-prod/2023AprJun/0006.html) seem to indicate that this is possible. But then there is https://github.com/w3c/respec/issues/4415 seems to indicate otherwise. I'm thus unclear as to what question I should be asking.

gkellogg commented 1 year ago

Not sure if Marcos considers that a bug or not, but as there are a relatively small number of definitions, putting data-dfn-for on the dfn defining the term seems like a place to start. You can look at the resulting anchor to see if implements what you expect, and if your references work as expected. Note that there is also a data-link-for to use on anchors, but that might not be necessary using the native syntax.

TallTed commented 1 year ago

s/data-ink-for/data-link-for/, I think

pfps commented 1 year ago

@gkellogg @TallTed One problem is that the common directory isn't being found by Firefox on my local machine so I don't know whether the problems I am seeing locally are caused by this or not. Is there a way to have Firefox access this file?

gkellogg commented 1 year ago

I run python -m http.server from a parent directory and open via localhost, which should see the common files and images. For example http://localhost:8000/rdf-semantics/spec/index.html.

pfps commented 1 year ago

Thanks.