[Om3] binary vs n-ary relations

[Michael Kohlhase]

>> 2. we still have pragmatic MathML of the form
>>      <apply><eq/>a b c</apply>
>>      but that will be translated to
>>      <apply>
>>        <csymbol cd="logic1">and</csymbol>
>>        <apply><csymbol cd="relation1">eq</csmbol>a b</csmbol></apply>
>>        <apply><csymbol cd="relation1">eq</csmbol>b c</csmbol></apply>
>>      </apply>
>>      in the content to strict translation.
>>     
> and for the other transitive ones (> etc), but NOT for neq.
> I don't know what to do about a<b>c etc.: as far as I can tell pragmatic 
> did not have them, so we shouldn't add them.
> Ditto a>b,c>d, which seems to have no clear semantics.
> James
>   
Hmmm, we could even do better now that we have <OMR> and <share> I would
propose

  <apply>
   <csymbol cd="logic1">and</csymbol>
   <apply><csymbol cd="relation1">eq</csmbol>a b(xml:id="foo")</csmbol></apply>
   <apply><csymbol cd="relation1">eq</csmbol><share href="foo"/> c</csmbol></apply>
  </apply>

I must say that I like this a lot.

Michael

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------