On the SemanticWebBus, not everybody can find a proof, but everybody can check one. In addition to basic stuff like graph matching and modus-ponens, we expect some relations to be ubiquitously understood. These are often called functions and operators.
For exampleFootNote(written in ShorthandRDF), concluding
:jenny :age 15.
:jenny :age [is math:sum of (10 5)].
could be spelled out in detail using peano postulates: the sum of 10 and 5 is the sum of 10 and succ(4), which is the sum of 11 and 4, and so on. But in practice, we trust our machines to add numbersFootNote(with a few noteable exceptions, e.g. overflow, rounding, etc.) consistently, so we'll just publish lists of numeric functions an operators and all agree on those.
These should be shared between XML and RDF, of course. So let's look at using XQuery 1.0 and XPath 2.0 Functions and Operators in RDF.
- which namespace to use?
http://www.w3.org/2001/XMLSchema-datatypes? the 2May2003 XML Query draft seems to use the former. Whew! That's what OWL uses too.