Re: Reminder: MathML semantics meeting Thursday 3 Sept

Hi Neil, all,

A public thought prior the meeting on 1.b),

Depending on how the group feels about both "search" as a topic to
specify for, and "interoperability" with other specifications, we
could consider whether the broader target of aiding search shouldn't
be left to other specifications.
To make this specific, the Semantic Web world has had some success
with getting browsers to adopt *some* RDFa annotations as search cues.
If MathML+RDFa was considered a healthy combination, one could imagine
the entire topic of search delegated to RDFa annotations, instead of
reinventing parts of their wheels.

Here is a small formula with three annotated <mi> elements, one
annotated <mo> and a "subject" annotation on the <math> element:

https://gist.github.com/dginev/be5029e8c4ecf095b9abacd78d81aa9a

I still find it helpful to consider approaches for "type"-like
annotations (e.g. an mi/ci element that is a "prime-number") to be
deposited, even if that place is not the specification this group will
be writing. Such metadata-level information is quite useful for
search, and basically unnecessary for accessibility.

Just some food for thought,
Deyan


On Wed, Sep 2, 2020 at 12:06 AM Neil Soiffer <soiffer@alum.mit.edu> wrote:
>
> We meet again on Thursday, 3 Sept at 10am Pacific, 1pm Eastern, 7pm Central European Time.
>
> Let's pick up where we left off on discussing namings, variants, and a small "level 1"...
>
> 1. Semantics names -- continue discussion
>    a) Should the names brought over from Content MathML be changed to follow this naming convention? [I don't think this was resolved]
>    b) More discussion on the meaning/purpose of the various levels
> 2) Continued discussion on "semantics"
>    a) continue discussion of David C's idea to deal with alignment
>    b) continue discussion on n-ary operators, especially +/- and relational operators
>
> The zoom meeting link is the one we used last week. Due to zoombombing, I can't send it out to the public mailing list. If you would like to join and don't have the link, please send me email at least 10 minutes before the meeting.

Received on Thursday, 3 September 2020 15:35:41 UTC