This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.
Author: Ken Wenzel, Fraunhofer IWU
This CD defines symbols for basic integration of RDF data into OpenMath.
It should serve as a starting point for future integration scenarios of
Linked Data and mathematics.
Author: Ken Wenzel, Fraunhofer IWU
This symbol represents an unary construction function for constructing
a set of RDF resources. It takes one string argument representing a
Manchester Syntax description as described by
http://www.w3.org/TR/owl2-manchester-syntax/#Descriptions
in order to construct a set of RDF resources.
Please note that it may also be possible to represent the class description
by using OpenMath set operations:
rdf.resourceset(
set1.intersect(
rdf.resourceset("foaf:Person"),
set1.suchthat(rdf.resourceset("rdfs:Resource"), fns1.lambda[$r -> set1.size(rdf.valueset("foaf:age", $r) > 0)])
)
)
Example:
An example to show the representation of the class of FOAF persons with a known age.
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
<OMA>
<OMS cd="rdf" name="resourceset"/>
<OMSTR>foaf:Person and foaf:age some rdfs:Literal</OMSTR>
</OMA>
</OMOBJ>
<math xmlns="http://www.w3.org/1998/Math/MathML"><apply><csymbol cd="rdf">resourceset</csymbol><cs>foaf:Person and foaf:age some rdfs:Literal</cs></apply></math>
resourceset
( "foaf:Person and foaf:age some rdfs:Literal" )
rdf.resourceset("foaf:Person and foaf:age some rdfs:Literal")
A symbol to be used within an OpenMath attribute to specify one or more RDF namespace prefixes.
The annotation value should be a set1.set of pairs of strings (prefix name, namespace URI) constructed
with the prefix symbol.
A symbol to be used as the head of the OpenMath application
to construct a prefix mapping that can be used as a value of the prefixes attribution.
The two arguments of this function should be OpenMath strings representing
in order, the prefix and the corresponding namespace URI.
Example:
The prefix mappings rdfs:<http://www.w3.org/2000/01/rdf-schema#> and foaf:<http://xmlns.com/foaf/0.1/>
for a rdf.resourceset may be represented by:
This symbol represents an unary construction function for representing
a specific RDF resource. It takes one string argument denoting an IRI reference
as prefixed name in the form "prefix:resourceName"
or as a full IRI in the form ">IRI<".
Example:
An example to show the representation of the resource http://example.org/persons#Alice
using a full IRI reference.
This symbol represents a function for accessing
the value of an RDF property. It takes two arguments, a string
denoting the property and an object denoting the RDF resource
whose property value should be retrieved.
Example:
An example that retrieves the property value for http://xmlns.com/foaf/0.1/age of
the resource http://example.org/persons#Alice.
This symbol represents a function for accessing
all values of multivalued RDF property. It takes two arguments, a string
denoting the property and an object denoting the RDF resource
whose property values should be retrieved.
Example:
An example that retrieves the property values for http://xmlns.com/foaf/0.1/knows of
the resource http://example.org/persons#Alice and hence all persons known by Alice.
A symbol to be used within an OpenMath attribute to specify the type of an RDF literal which
is represented as an OpenMath object. The annotation value should be an rdf.resource.
Example:
An example to show the representation of the typed RDF literal "This is a string."^^<http://www.w3.org/2001/XMLSchema#string>
using a full IRI reference.
A symbol to be used within an OpenMath attribute to specify the language of an RDF literal.
The annotation value should be an OpenMath string.
Example:
An example to show the representation of the RDF literal "This is an English text."@en.
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0" cdbase="http://www.openmath.org/cd">
<OMATTR>
<OMATP>
<OMS cd="rdf" name="literal_lang"/>
<OMSTR>en</OMSTR>
</OMATP>
<OMSTR>This is an English text.</OMSTR>
</OMATTR>
</OMOBJ>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<semantics><cs>This is an English text.</cs><annotation-xml cd="rdf" name="literal_lang"><cs>en</cs></annotation-xml></semantics>
</math>
Attrib([
literal_lang "en"
],
"This is an English text." )
"This is an English text."{rdf.literal_lang -> "en"}
