Dear OpenMath Community, we've recently developed a simple OpenMath CD for accessing and representing RDF data within mathematical expressions. The CD tries to provide a minimal set of symbols required to integrate Linked Data and OpenMath.
Thanks to Paul Libbrecht the description of rdf.ocd is now available under: http://www.openmath.org/cd/contrib/cd/rdf.xhtml The basic idea is to provide an OM vocabulary for representing RDF resources and literals (rdf.resource, rdf.literal_type, rdf.literal_lang) along with prefix mappings for short names (rdf.prefixes, rdf.prefix). For the retrieval of existing resources and their property values the symbols rdf.resourceset, rdf.value and rdf.valueset are provided. The most complex symbol is "rdf.resourceset" which accepts an Manchester OWL expression as OpenMath string: http://www.openmath.org/cd/contrib/cd/rdf.xhtml#resourceset This symbol requires an implementor to create a Manchester OWL parser that is able to interpret the given class description. An alternative would be to express the class description by using OpenMath set expressions. I hope that the RDF vocabulary is already useful and provides a starting point for further investigations on this topic. Best regards, Ken Wenzel _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
