You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on May 25, 2020. It is now read-only.
In order to spot quantity expressions, I would like to extend the annotation graph by a further element, namely an element containing content MathML. This should contain the scalar part and the unit symbol i.e. in the following form for "3 m/s":
I think what you really mean is that we want to have another predicate
```KAT:cmml-formalization``` (or something like that) in the KAT
annotation ontology and use that to link the annotation node (in the
center of the diagram in the last KAT paper) to a "literal XML node"
(this exists in RDF, but probably has another name).
You can already generate the correct XML syntax (of the extended RDF) in
your spotter. KAT will silently ignore this new relation. But it would
be nice if the review annotations mode of KAT had an interaction in KAT
that shows the XML, or - even better - some kind of presentation of the
XML, e.g. a syntax tree of the CMML.
On 07/12/2016 14:00, urabenstein wrote:
In order to spot quantity expressions, I would like to extend the
annotation graph by a further element, namely an element containing
content MathML. This should contain the scalar part and the unit
symbol i.e. in the following form for "3 m/s":
|<apply> <csymbol cd="?"> Quantity Expression </csymbol> <cn> 3 </cn>
<apply> <divide cd="QEBasE:QENDiv"> </divide> <csymbol
cd="SIBase:Meter"> meter </csymbol> <csymbol cd="SIBase:Second">
second </csymbol> </apply> </apply> |
The URIs fit to Tom's unit formalization in MMT.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#69>, or mute the thread
<https://github.com/notifications/unsubscribe-auth/AD2bokiAhvUnsDA-Ym4C3Ffbj6dccCv0ks5rFq3fgaJpZM4LGkNf>.
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42
Professur für Wissensrepräsentation & -verarbeitung
FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de
Adjunct Professor of Computer Science
Jacobs University Bremen, Campus Ring 1, D-28759 Bremen, Room 168, R1,
tel/fax: +49 421 200-3140/-493140, m.kohlhase@jacobs-university.de
----------------------------------------------------------------------
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
In order to spot quantity expressions, I would like to extend the annotation graph by a further element, namely an element containing content MathML. This should contain the scalar part and the unit symbol i.e. in the following form for "3 m/s":
The URIs fit to Tom's unit formalization in MMT.
The text was updated successfully, but these errors were encountered: