From: Andreas Maier <MAIERA@de.ibm.com>

Date: Mon, 12 Oct 2009 08:41:11 +0200

To: W3C MathML Mailing List <www-math@w3.org>

Message-ID: <OF41EA9DD0.D84023C6-ONC125764D.0024B155-C125764D.0024BB11@de.ibm.com>

Date: Mon, 12 Oct 2009 08:41:11 +0200

To: W3C MathML Mailing List <www-math@w3.org>

Message-ID: <OF41EA9DD0.D84023C6-ONC125764D.0024B155-C125764D.0024BB11@de.ibm.com>

Hi, I am relatively new to MathML and I am exploring its use for describing logic expressions of certain boolean conditions that we define in our domain. The resulting MathML expression would be embedded in an XML instance document that describes our domain in certain terms, and when that description needs to express a logic expression of our boolean conditions, it would use a MathML fragment. There are about a handful of these boolean conditions. An example would be "the feature f has been implemented". The idea is to represent that boolean condition as a user defined MathML operator (e.g. named "featureimpl") over the feature name (e.g. "name"). So for the logic expression: "feature f1 has been implemented or feature f2 has been implemented" the MathML expression would have the structure: or( featureimpl (f1), featureimpl (f2) ) I understand that the csymbol operator can be used to define user defined operators, e.g.: <apply> <csymbol encoding="text" definitionURL="http://some.org/featureimpl">featureimpl</csymbol> <ci>name</ci> </apply> What is not clear to me is how I would place a MathML fragment containing the *definition* of such an operator into a common XML instance document, separate from the MathML fragment *using* the operator in another XML instance document (that would include the common XML instance document). Does the MathML fragment shown above represent the definition of the operator, or its usage (in which case, the content of the <ci> element would need to be changed to the actual feature names, e.g. f1 or f2) ? Andy Andreas Maier IBM Senior Technical Staff Member, Systems Management Architecture & Design IBM Research & Development Laboratory Boeblingen, Germany maiera@de.ibm.com, +49-7031-16-3654 _________________________________________________________________________________ IBM Deutschland Research & Development GmbH; Geschaeftsfuehrung: Erich Baier; Vorsitzender des Aufsichtsrats: Martin Jetter; Sitz der Gesellschaft: Boeblingen; Registergericht: Amtsgericht Stuttgart, HRB 243294Received on Monday, 12 October 2009 08:57:56 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:42 UTC
*