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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
