[Om3] binary vs n-ary relations
Michael Kohlhase
m.kohlhase at jacobs-university.de
Thu Sep 25 10:49:32 CEST 2008
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
----------------------------------------------------------------------
More information about the Om3
mailing list