daniel added a comment.
@Physikerwelt I'm confused - what opinion was not respected? Is this about the
TeX vs MathML thing?
I think the "invalid" bit is a misunderstanding. Thiemo said //-1 means "please
improve". A -1 with no reason given is invalid//. This is indeed our policy: A
CR-1 vote needs to come with a reason and way forward, otherwise it's
considered stonewalling, and can be ignored - though it's preferred to ask for
clarification before overriding a CR-1. I suppose you consider your inline
comments to be the reason for the CR-1, but that isn't clear from looking at
the discussion, or the comments.
FWIW, I don't see how the ontology.owl patch is related to the MathML vs TeX
discussion. All ontology.owl does is give a description of the data types, it
doesn't say anything about the format of literals or the structure of values.
We could mention the format in the description of the data type, but we don't
do that for any of the other types, and I would consider it a bad idea. It
would mean mixing two levels of abstraction: the data type is about
interpretation ("mathematical expression"), the literal type is about the
format or encoding (TeX, MathML, etc). The format is specified by the uri given
as the literal's type, and the uri should resolve to a description of the
format.
Btw, I'm not very happy about an extension defined data type being in
ontology.owl, but I don't think it's a disaster either. I tried to come up with
a better mechanism in I7599e7fa5391f9, but using that for math would mean a
breaking change.
TASK DETAIL
https://phabricator.wikimedia.org/T67397
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: Physikerwelt, daniel
Cc: gerritbot, ArthurPSmith, TomT0m, Llyrian, WickieTheViking, Aklapper,
MGChecker, Micru, Sannita, Ricordisamoa, Rits, Liuxinyu970226, Tpt,
Physikerwelt, Wikidata-bugs, Bene, Tobias1984, Lydia_Pintscher, daniel, Izno,
mobrovac, Prod, aude, fredw, Pkra, scfc, Mbch331, Ltrlg
_______________________________________________
Wikidata-bugs mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
