[Om3] binary vs n-ary relations

[Michael Kohlhase]

Paul Libbrecht wrote:
> My OM3 voice says +1 for the proposal below.
> I still miss "where is the translation".
what do you mean here? Under 2. I am specifying the translation.

Michael
>
> paul
>
>
>> So can we get a consensus here? We have a telcon this afternoon, where
>> we can probably decide this. So if I interpret what I have seen, your
>> preference would be:
>>
>> 1. relation symbols are binary!!!!
>>
>> 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.
>>
>> Michael
>>> James Davenport
>>> Hebron & Medlock Professor of Information Technology
>>> Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept
>>> Lecturer on CM30070, 30078, 50209, 50123, 50199
>>> Chairman, Powerful Computing WP, University of Bath
>>> OpenMath Content Dictionary Editor
>>> IMU Committee on Electronic Information and Communication
>>>
>>> _______________________________________________
>>> Om3 mailing list
>>> Om3 at openmath.org
>>> http://openmath.org/mailman/listinfo/om3
>>>
>>
>> -- 
>> ----------------------------------------------------------------------
>> 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
>> ----------------------------------------------------------------------
>>
>

-- 
----------------------------------------------------------------------
 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
----------------------------------------------------------------------