[Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL]

[Christoph LANGE]

Hi James, hi David,

  OK, I got an idea.  It seems to me that, contrarily to what I had thought,
the OpenMath CD language is not quite suitable for expressing RDF-like links
to external datasets.

My motivation for trying to maintain these links inside the CDs was to
facilitate maintenance, and to make these links accessible to the CD→XHTML
rendering process.  But there _is_ a way of achieving the same with links
maintained externally.  For each CD, e.g. transc1.ocd, we could have an
RDF/XML file transc1.links.rdf, with content e.g. as follows:

<rdf:RDF
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">
  <rdf:Description about="http://www.openmath.org/cd/transc1#sin">
    <owl:sameAs rdf:resource="http://dlmf.nist.gov/4.14.E1"/>
    <!-- or <rdfs:seeAlso>, or <relation1:eq>, etc. -->
  </rdf:Description>
</rdf:RDF>

With a little discipline we could keep these RDF/XML files sufficiently
well-structured, so that our XSLTs could easily parse them in order to find
the outgoing links and add them to the XHTML.

If we assign URIs to FMPs etc. (which my CD→RDF extraction already does), we
can obviously also annotate FMPs, e.g. if we don't want to say that
transc1#sin is the same as something in DLMF, but only that the 1st FMP of
transc1#sin is the same as some equation in DLMF.

If, in the near future, we shall also serve RDF to linked data clients
accessing the OpenMath symbol URIs, they would receive an RDF document
obtained by merging the cdname.links.rdf and any other RDF extracted from the
OCD file (e.g. what name the CD has, when it was created, what CMPs/FMPs there
are for symbols).  It is feasible to automate the generation of such a merged
RDF.  The whole process would be:

       -cd.ocd#--RDF extraction of CD metadata--> cd.metadata.rdf
      /                                                  |
     /   cd.links.rdf# ----------------------------------| merge
     \       |                                           |
      \      |                                           v
       \--------> cd.xhtml (with links)                cd.rdf (for LD clients)
            XSLT

… where files marked with # would be maintained manually, and the rest
generated.  What do you think about that?  

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20100718/84e95e10/attachment.pgp