Question on csymbol usage

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 243294

Received on Monday, 12 October 2009 08:57:53 UTC