Rough, brief entries
Conversational answers
Strawman versions
Comments Welcome
Additions Welcome
Editors Welcome
An XML language for writing down mathematical expressions.
Two styles: Presentation and Content
Content markup for the set: {x | x < 1} :
<set> <bvar><ci> x </ci></bvar> <condition> <apply> <lt/> <ci> x </ci> <cn> 1 </cn> </apply> </condition> <ci> x </ci> </set>
MathML might be suitable for expressing rules (ie a RIF syntax!).
We may want to use MathML in writing our documents.
W3C Math Working Group
Stan Devitt (RIF-WG Alternate from Agfa) credited among the "principal authors"
http://www.w3.org/TR/MathML2/
Core design of the Web (post hoc), focussing on good practices.
Architecture of
the World Wide Web, Volume One
W3C Recommendation 15
December 2004
These are the minimally constraining design guidelines that allowed the Web to spread the way it did: a little a time, with each new bit benefitting from the rest of the Web.
(TAG intersect Rules): Tim Berners-Lee, Dan Connolly: Rep by me
Elements of an expression language operating on XSD
Used in part by SWRL, SPARQL, (not to mention XQuery, XPath, XSLT)
Expertise?
Lets you query RDF knowedge bases; HTTP-based protocol