Commit 89a82b4e authored by Ulrich's avatar Ulrich

thesis first part reworked

parent 2b965e40
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:17.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
\ No newline at end of file
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:17.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:19.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
\ No newline at end of file
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:19.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:43.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_43977252527"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:43.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_43977252527"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/cond-mat9807154.html#cse(%2F%2F*%5B%40id%3D'p8.1'%5D%2C%2F%2F*%5B%40id%3D'p8.1.m9.1.5'%5D%2C%2F%2F*%5B%40id%3D'p8.1.w235'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="float" id="p8.1.m9.1.5.cmml" xref="p8.1.m9.1.5">0.1</cn><apply><times/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="atto">a</csymbol><csymbol cd="second">s</csymbol></apply></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/cond-mat9807154.html#cse(%2F%2F*%5B%40id%3D'p8.1'%5D%2C%2F%2F*%5B%40id%3D'p8.1.m9.1.5'%5D%2C%2F%2F*%5B%40id%3D'p8.1.w235'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="-1"><apply><times/><cn type="float" id="p8.1.m9.1.5.cmml" xref="p8.1.m9.1.5">0.1</cn><apply><times/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="atto">a</csymbol><csymbol cd="second">s</csymbol></apply></apply></apply></kat:contentmathml>
</rdf:Description>
<rdf:Description rdf:nodeID="KAT_43977261573"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description rdf:nodeID="KAT_43977261573"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/cond-mat9807154.html#cse(%2F%2F*%5B%40id%3D'p9.1'%5D%2C%2F%2F*%5B%40id%3D'p9.1.m3.1.4'%5D%2C%2F%2F*%5B%40id%3D'p9.1.w94'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="integer" id="p9.1.m3.1.4.cmml" xref="p9.1.m3.1.4">0</cn><apply><times/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="atto">a</csymbol><csymbol cd="second">s</csymbol></apply></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/cond-mat9807154.html#cse(%2F%2F*%5B%40id%3D'p9.1'%5D%2C%2F%2F*%5B%40id%3D'p9.1.m3.1.4'%5D%2C%2F%2F*%5B%40id%3D'p9.1.w94'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="-1"><apply><times/><cn type="integer" id="p9.1.m3.1.4.cmml" xref="p9.1.m3.1.4">0</cn><apply><times/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="atto">a</csymbol><csymbol cd="second">s</csymbol></apply></apply></apply></kat:contentmathml>
</rdf:Description>
<rdf:Description rdf:nodeID="KAT_43977264244"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description rdf:nodeID="KAT_43977264244"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/cond-mat9807154.html#cse(%2F%2F*%5B%40id%3D'S0.E2.m3.1.2.2'%5D%2C%2F%2F*%5B%40id%3D'S0.E2.m3.1.2.2.1'%5D%2C%2F%2F*%5B%40id%3D'S0.E2.m3.1.2.2.2'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="integer" id="S0.E2.m3.1.2.2.1.cmml" xref="S0.E2.m3.1.2.2.1">3</cn><apply><times/><csymbol cd="joule">J</csymbol></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/cond-mat9807154.html#cse(%2F%2F*%5B%40id%3D'S0.E2.m3.1.2.2'%5D%2C%2F%2F*%5B%40id%3D'S0.E2.m3.1.2.2.1'%5D%2C%2F%2F*%5B%40id%3D'S0.E2.m3.1.2.2.2'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="1"><apply><times/><cn type="integer" id="S0.E2.m3.1.2.2.1.cmml" xref="S0.E2.m3.1.2.2.1">3</cn><apply><times/><csymbol cd="joule">J</csymbol></apply></apply></kat:contentmathml>
</rdf:Description>
</rdf:RDF>
\ No newline at end of file
</rdf:RDF>
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:1.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
\ No newline at end of file
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:1.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:28.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
\ No newline at end of file
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:28.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:28.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_28468297614"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:28.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_28468297614"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/hep-ph9807306.html#cse(%2F%2F*%5B%40id%3D'S3.T3.1.5.1.m1.1.8'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.5.1.m1.1.8.2'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.5.1.m1.1.8.4'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><apply id="S3.T3.1.5.1.m1.1.8.2.cmml" xref="S3.T3.1.5.1.m1.1.8.2"><csymbol cd="ambiguous" id="S3.T3.1.5.1.m1.1.8.2.1.cmml">superscript</csymbol><cn type="integer" id="S3.T3.1.5.1.m1.1.2.cmml" xref="S3.T3.1.5.1.m1.1.2">10</cn><cn type="integer" id="S3.T3.1.5.1.m1.1.3.1.cmml" xref="S3.T3.1.5.1.m1.1.3.1">6</cn></apply><apply><times/><apply><power/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="centi">c</csymbol><csymbol cd="meter">m</csymbol></apply><apply id="S3.T3.1.5.1.m1.1.5.1.cmml" xref="S3.T3.1.5.1.m1.1.5.1"><minus id="S3.T3.1.5.1.m1.1.5.1.1.cmml" xref="S3.T3.1.5.1.m1.1.5.1.1"/><cn type="integer" id="S3.T3.1.5.1.m1.1.5.1.2.cmml" xref="S3.T3.1.5.1.m1.1.5.1.2">2</cn></apply></apply><apply><power/><csymbol cd="second">s</csymbol><apply id="S3.T3.1.5.1.m1.1.7.1.cmml" xref="S3.T3.1.5.1.m1.1.7.1"><minus id="S3.T3.1.5.1.m1.1.7.1.1.cmml" xref="S3.T3.1.5.1.m1.1.7.1.1"/><cn type="integer" id="S3.T3.1.5.1.m1.1.7.1.2.cmml" xref="S3.T3.1.5.1.m1.1.7.1.2">1</cn></apply></apply></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/hep-ph9807306.html#cse(%2F%2F*%5B%40id%3D'S3.T3.1.5.1.m1.1.8'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.5.1.m1.1.8.2'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.5.1.m1.1.8.4'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="0.25"><apply><times/><apply id="S3.T3.1.5.1.m1.1.8.2.cmml" xref="S3.T3.1.5.1.m1.1.8.2"><csymbol cd="ambiguous" id="S3.T3.1.5.1.m1.1.8.2.1.cmml">superscript</csymbol><cn type="integer" id="S3.T3.1.5.1.m1.1.2.cmml" xref="S3.T3.1.5.1.m1.1.2">10</cn><cn type="integer" id="S3.T3.1.5.1.m1.1.3.1.cmml" xref="S3.T3.1.5.1.m1.1.3.1">6</cn></apply><apply><times/><apply><power/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="centi">c</csymbol><csymbol cd="meter">m</csymbol></apply><apply id="S3.T3.1.5.1.m1.1.5.1.cmml" xref="S3.T3.1.5.1.m1.1.5.1"><minus id="S3.T3.1.5.1.m1.1.5.1.1.cmml" xref="S3.T3.1.5.1.m1.1.5.1.1"/><cn type="integer" id="S3.T3.1.5.1.m1.1.5.1.2.cmml" xref="S3.T3.1.5.1.m1.1.5.1.2">2</cn></apply></apply><apply><power/><csymbol cd="second">s</csymbol><apply id="S3.T3.1.5.1.m1.1.7.1.cmml" xref="S3.T3.1.5.1.m1.1.7.1"><minus id="S3.T3.1.5.1.m1.1.7.1.1.cmml" xref="S3.T3.1.5.1.m1.1.7.1.1"/><cn type="integer" id="S3.T3.1.5.1.m1.1.7.1.2.cmml" xref="S3.T3.1.5.1.m1.1.7.1.2">1</cn></apply></apply></apply></apply></kat:contentmathml>
</rdf:Description>
<rdf:Description rdf:nodeID="KAT_28468347420"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description rdf:nodeID="KAT_28468347420"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/hep-ph9807306.html#cse(%2F%2F*%5B%40id%3D'S3.T3.1.6.1.m1.1.8'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.6.1.m1.1.8.2'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.6.1.m1.1.8.4'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><apply id="S3.T3.1.6.1.m1.1.8.2.cmml" xref="S3.T3.1.6.1.m1.1.8.2"><csymbol cd="ambiguous" id="S3.T3.1.6.1.m1.1.8.2.1.cmml">superscript</csymbol><cn type="integer" id="S3.T3.1.6.1.m1.1.2.cmml" xref="S3.T3.1.6.1.m1.1.2">10</cn><cn type="integer" id="S3.T3.1.6.1.m1.1.3.1.cmml" xref="S3.T3.1.6.1.m1.1.3.1">6</cn></apply><apply><times/><apply><power/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="centi">c</csymbol><csymbol cd="meter">m</csymbol></apply><apply id="S3.T3.1.6.1.m1.1.5.1.cmml" xref="S3.T3.1.6.1.m1.1.5.1"><minus id="S3.T3.1.6.1.m1.1.5.1.1.cmml" xref="S3.T3.1.6.1.m1.1.5.1.1"/><cn type="integer" id="S3.T3.1.6.1.m1.1.5.1.2.cmml" xref="S3.T3.1.6.1.m1.1.5.1.2">2</cn></apply></apply><apply><power/><csymbol cd="second">s</csymbol><apply id="S3.T3.1.6.1.m1.1.7.1.cmml" xref="S3.T3.1.6.1.m1.1.7.1"><minus id="S3.T3.1.6.1.m1.1.7.1.1.cmml" xref="S3.T3.1.6.1.m1.1.7.1.1"/><cn type="integer" id="S3.T3.1.6.1.m1.1.7.1.2.cmml" xref="S3.T3.1.6.1.m1.1.7.1.2">1</cn></apply></apply></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/hep-ph9807306.html#cse(%2F%2F*%5B%40id%3D'S3.T3.1.6.1.m1.1.8'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.6.1.m1.1.8.2'%5D%2C%2F%2F*%5B%40id%3D'S3.T3.1.6.1.m1.1.8.4'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="0.25"><apply><times/><apply id="S3.T3.1.6.1.m1.1.8.2.cmml" xref="S3.T3.1.6.1.m1.1.8.2"><csymbol cd="ambiguous" id="S3.T3.1.6.1.m1.1.8.2.1.cmml">superscript</csymbol><cn type="integer" id="S3.T3.1.6.1.m1.1.2.cmml" xref="S3.T3.1.6.1.m1.1.2">10</cn><cn type="integer" id="S3.T3.1.6.1.m1.1.3.1.cmml" xref="S3.T3.1.6.1.m1.1.3.1">6</cn></apply><apply><times/><apply><power/><apply><csymbol cd="Prefix">Prefix</csymbol><csymbol cd="centi">c</csymbol><csymbol cd="meter">m</csymbol></apply><apply id="S3.T3.1.6.1.m1.1.5.1.cmml" xref="S3.T3.1.6.1.m1.1.5.1"><minus id="S3.T3.1.6.1.m1.1.5.1.1.cmml" xref="S3.T3.1.6.1.m1.1.5.1.1"/><cn type="integer" id="S3.T3.1.6.1.m1.1.5.1.2.cmml" xref="S3.T3.1.6.1.m1.1.5.1.2">2</cn></apply></apply><apply><power/><csymbol cd="second">s</csymbol><apply id="S3.T3.1.6.1.m1.1.7.1.cmml" xref="S3.T3.1.6.1.m1.1.7.1"><minus id="S3.T3.1.6.1.m1.1.7.1.1.cmml" xref="S3.T3.1.6.1.m1.1.7.1.1"/><cn type="integer" id="S3.T3.1.6.1.m1.1.7.1.2.cmml" xref="S3.T3.1.6.1.m1.1.7.1.2">1</cn></apply></apply></apply></apply></kat:contentmathml>
</rdf:Description>
</rdf:RDF>
\ No newline at end of file
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:35.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_35667630748"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:35.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_35667630748"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/hep-ph9807339.html#cse(%2F%2F*%5B%40id%3D'p13.1.m2.1.7'%5D%2C%2F%2F*%5B%40id%3D'p13.1.m2.1.7.2'%5D%2C%2F%2F*%5B%40id%3D'p13.1.m2.1.7.3'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="integer" id="p13.1.m2.1.7.2.cmml" xref="p13.1.m2.1.7.2">1</cn><apply><divide/><apply><times/></apply><csymbol cd="tesla">T</csymbol></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/hep-ph9807339.html#cse(%2F%2F*%5B%40id%3D'p13.1.m2.1.7'%5D%2C%2F%2F*%5B%40id%3D'p13.1.m2.1.7.2'%5D%2C%2F%2F*%5B%40id%3D'p13.1.m2.1.7.3'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="1"><apply><times/><cn type="integer" id="p13.1.m2.1.7.2.cmml" xref="p13.1.m2.1.7.2">1</cn><apply><divide/><apply><times/></apply><csymbol cd="tesla">T</csymbol></apply></apply></kat:contentmathml>
</rdf:Description>
<rdf:Description rdf:nodeID="KAT_35667638093"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description rdf:nodeID="KAT_35667638093"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/hep-ph9807339.html#cse(%2F%2F*%5B%40id%3D'p16.1.m6.1.4'%5D%2C%2F%2F*%5B%40id%3D'p16.1.m6.1.2'%5D%2C%2F%2F*%5B%40id%3D'p16.1.m6.1.3'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="integer" id="p16.1.m6.1.2.cmml" xref="p16.1.m6.1.2">20</cn><apply><times/><csymbol cd="tesla">T</csymbol></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/hep-ph9807339.html#cse(%2F%2F*%5B%40id%3D'p16.1.m6.1.4'%5D%2C%2F%2F*%5B%40id%3D'p16.1.m6.1.2'%5D%2C%2F%2F*%5B%40id%3D'p16.1.m6.1.3'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="1"><apply><times/><cn type="integer" id="p16.1.m6.1.2.cmml" xref="p16.1.m6.1.2">20</cn><apply><times/><csymbol cd="tesla">T</csymbol></apply></apply></kat:contentmathml>
</rdf:Description>
</rdf:RDF>
\ No newline at end of file
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:41.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
\ No newline at end of file
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:41.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:16.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_16964105839"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:16.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
<rdf:Description rdf:nodeID="KAT_16964105839"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/hep-th9807198.html#cse(%2F%2F*%5B%40id%3D'S4.Ex52.m1.1.41.2.2.2.3'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex52.m1.1.16.2'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex52.m1.1.16.3'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="integer" id="S4.Ex52.m1.1.16.2.cmml" xref="S4.Ex52.m1.1.16.2">1</cn><apply><divide/><apply><times/></apply><csymbol cd="meter">m</csymbol></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/hep-th9807198.html#cse(%2F%2F*%5B%40id%3D'S4.Ex52.m1.1.41.2.2.2.3'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex52.m1.1.16.2'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex52.m1.1.16.3'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="1"><apply><times/><cn type="integer" id="S4.Ex52.m1.1.16.2.cmml" xref="S4.Ex52.m1.1.16.2">1</cn><apply><divide/><apply><times/></apply><csymbol cd="meter">m</csymbol></apply></apply></kat:contentmathml>
</rdf:Description>
<rdf:Description rdf:nodeID="KAT_16964113817"><kat:run rdf:nodeID="kat_run"></kat:run>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"></kat:kannspec>
<rdf:Description rdf:nodeID="KAT_16964113817"><kat:run rdf:nodeID="kat_run"/>
<kat:kannspec rdf:nodeID="KAT_1_QuantityExpression"/>
<kat:concept>QuantityExpression</kat:concept>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"></kat:type>
<kat:annotates rdf:resource="http://localhost/hep-th9807198.html#cse(%2F%2F*%5B%40id%3D'S4.Ex54.m1.1.39.2.2.2.3'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex54.m1.1.16.2'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex54.m1.1.16.3'%5D)"></kat:annotates>
<kat:contentmathml rdf:parseType="Literal"><apply><times/><cn type="integer" id="S4.Ex54.m1.1.16.2.cmml" xref="S4.Ex54.m1.1.16.2">1</cn><apply><divide/><apply><times/></apply><csymbol cd="meter">m</csymbol></apply></apply></kat:contentmathml>
<kat:type rdf:resource="http://kwarc.info/semanticextraction/KAnnSpec#quantityexpression"/>
<kat:annotates rdf:resource="http://localhost/hep-th9807198.html#cse(%2F%2F*%5B%40id%3D'S4.Ex54.m1.1.39.2.2.2.3'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex54.m1.1.16.2'%5D%2C%2F%2F*%5B%40id%3D'S4.Ex54.m1.1.16.3'%5D)"/>
<kat:contentmathml rdf:parseType="Literal" score="1"><apply><times/><cn type="integer" id="S4.Ex54.m1.1.16.2.cmml" xref="S4.Ex54.m1.1.16.2">1</cn><apply><divide/><apply><times/></apply><csymbol cd="meter">m</csymbol></apply></apply></kat:contentmathml>
</rdf:Description>
</rdf:RDF>
\ No newline at end of file
</rdf:RDF>
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF xmlns:kat="https://github.com/KWARC/KAT/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:d="http://kwarc.info/semanticextraction/KAnnSpec#">
<rdf:Description><kat:annotation rdf:nodeID="kat_run"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"></rdf:type><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:41.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"></kat:annotation></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"></rdf:type><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
\ No newline at end of file
<rdf:Description><kat:annotation rdf:nodeID="kat_run"/></rdf:Description>
<rdf:Description rdf:nodeID="kat_run"><rdf:type rdf:resource="kat:run"/><kat:date rdf:datatype="xs:dateTime">2017-4-10T11:58:41.000Z</kat:date><kat:tool>KAT</kat:tool><kat:runid>0</kat:runid></rdf:Description>
<rdf:Description><kat:annotation rdf:nodeID="KAT_1_QuantityExpression"/></rdf:Description>
<rdf:Description rdf:nodeID="KAT_1_QuantityExpression"><rdf:type rdf:resource="kat:kannspec"/><kat:kannspec-name>QuantityExpression</kat:kannspec-name><kat:kannspec-uri>http://localhost:3000/KAnnSpecs/units-annotations.xml</kat:kannspec-uri></rdf:Description>
</rdf:RDF>
......@@ -163,6 +163,7 @@ fn find_content(node : &mut Node, annotation_document : &Document, original_docu
let decl_score = score_declaration(&qe, declaration_symbols);
if decl_score.is_some(){
println!("found declaration score");
c_unw.remove_property("score");
c_unw.add_property("score", &decl_score.unwrap());
......
In this section, we introduce the necessary technologies for this work. They include the markup language
MathML (Section \ref{ssec:mathml}), LaTeXML -- the converter from LaTeX to XML -- (Section~\ref{ssec:latexml}),
MathML (Section \ref{ssec:mathml}), LaTeXML -- the converter from LaTeX to XML -- and the arXMLiv corpus (Section~\ref{ssec:latexml}),
the annotation tool KAT (Section~\ref{ssec:kat}) and the unit converter from Astropy (Section~\ref{ssec:astropy}).
We assume basic knowledge of LaTeX and HTML.
\label{sec:basics}
......@@ -36,7 +36,7 @@ We assume basic knowledge of LaTeX and HTML.
\subsubsection{Presentation MathML}
Figure~\ref{fig:presMathMLexample} shows an example of presentation MathML
for the formula $3.0 \cdot 10^{-17} \text{µm}$. There are two kinds of
for the formula $3.0 \cdot 10^{-17}\si{\micro\metre}$. There are two kinds of
tokens for presentation MathML -- element tokens and layout schemata.
Element tokens include numbers (\inline{mn}), operators (\inline{mo}),
identifiers (\inline{mi}) and text (\inline{mtext}), while layout schemata
......@@ -72,25 +72,45 @@ We assume basic knowledge of LaTeX and HTML.
\begin{figure}
\lstinputlisting[language=XML,frame=single]{xml/contentMathMLExample.xml}
\centering
\caption{A content MathML expression for $3.0 \cdot 10^{-17} \text{µm}$.}
\caption{A content MathML expression for $3.0 \cdot 10^{-17}\si{\micro\metre}$.}
\label{fig:contentMathMLexample}
\end{figure}
\subsection{LaTeXML}
\subsection{LaTeXML and the arXMLiv Corpus}
\label{ssec:latexml}
LaTeXML~\cite{latexmlManual} is a LaTeX to XML converter that imitates TeX,
but generates an XML document instead of a PDF document. It also contains
a postprocessor which can further convert the XML documents to HTML -- the
format of the arXMLiv documents. LaTeXML has several options to handle
math elements from LaTeX. They include translating formulae to
presentation MathML and even to content MathML. Both are used
simultaneously for the generation of the arXMLiv and additionally the
original LaTeX code is preserved. This results in MathML elements as
displayed in Figure~\ref{fig:generalMathML}. The LaTeXML manual states
a postprocessor which can further convert the XML documents to HTML.
LaTeXML has several options to handle
math elements from LaTeX. They include translating formulae to
presentation MathML and even to content MathML.
The original LaTeX code can also be preserved as an annotation.
Using all three methods results in MathML elements as
displayed in Figure~\ref{fig:generalMathML}. However, the LaTeXML manual states
that the generated content MathML is "currently rather experimental" -- we
can thus not assume that it reflects the intended semantics of the original
formula.
LaTeXML was used to convert the online e-print archive, arXiv, from LaTeX
to HTML5~\cite{stamerjohanns2010transforming}. The resulting corpus is called arXMLiv. The
arXiv contains articles from areas such as physics, mathematics, computer science
quantitative biology, quantitative finance and statistics. The articles are mostly uploaded
as LaTeX files and published as PDF and Postscript documents. PDF and Postscript files are
obviously impractical for any further processing, but also the LaTeX source is not intended for
any other purpose than typesetting.
Instead a content-oriented format, such as XML or HTML, simplifies further reasoning and
manipulation of the document.
We use the arXMLiv as the underlying corpus of this thesis.
% \subsection{arXMLiv Corpus}
% This thesis analyzes documents from the online e-print archive, \textit{arXiv}.
% The
% LaTeXML~\cite{latexmlManual} bridges this gap by converting LaTeX files to XML and further to HTML.
% Mathematical formulae are translated to MathML~\cite{Miner:14:MML}, a markup language for mathematics
% which is part of HTML5. LaTeXML has been used to transform the whole arXiv to XML. The resulting
% corpus is called the arXMLiv corpus~\cite{stamerjohanns2010transforming}.
% Due to the advantages of an XML-based format, we use arXMLiv as a corpus for this thesis.
\subsection{KAT}
\label{ssec:kat}
The KWARC Annotation Tool (KAT,~\cite{KATCICM14} and~\cite{KATCICM16}) is an annotation tool
......
This diff is collapsed.
......@@ -3,10 +3,8 @@ consists of three disjoint parts, where the first one is a small preprocessing s
Quantity expressions are spotted as a second step. The results are stored
as separate annotations, which contain references to the documents.
Rating the likelihood of the annotations is a subtask of this step. This is especially relevant, when there is more than one annotation -- this means more than one possible meaning -- for an expression. We will refer to a program as \textit{spotter}, if it creates annotations -- based on the document and potentially also based
on other annotations. In addition to that, we will call a program
\textit{scorer}, when it adds or manipulates the value of likelihoods of an
annotation -- without creating new annotations.
Rating the likelihood of the annotations is a subtask of this step. This is especially relevant, when there is more than one annotation -- this means more than one possible meaning -- for an expression. We will refer to a program as \textit{spotter}, if it creates annotations from the document. In addition to that, we will call a program
\textit{scorer}, when it is working on existing annotations and manipulates their value of likelihood.
Semantic services are based on the documents and their annotations and form the
last part.
......
......@@ -2,7 +2,7 @@
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $5GHz$ & \verb|$5GHz$| &
\cite{cond-mat/9807111} \\
......@@ -24,8 +24,8 @@
\hline
\end{tabular}
\caption{Examples of the category of simple multiplicative quantity
expressions.}
\caption{Examples of the Category of Simple Multiplicative Quantity
Expressions.}
\label{tab:simpmutcat}
\end{table}
......@@ -33,15 +33,15 @@
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $10^{20}/s$ & \verb|$10^{20}/s$| & \cite{hep-ph/9807232} \\
2 & $10^{17}$/s & \verb|$10^{17}$|/s & \cite{hep-ph/9807232} \\
3 & 20 fm/c & 20 fm/c & \cite{nucl-th/9807088} \\
\hline
\end{tabular}
\caption{Examples of the category of simple divisive quantity
expressions.}
\caption{Examples of the Category of Simple Divisive Quantity
Expressions.}
\label{tab:simpdivcat}
\end{table}
......@@ -49,13 +49,13 @@
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $1.0\cdot10^{17} \text{W/cm}^{2}$ &
\verb|$1.0\cdot10^{17}\text{W/cm}^{2}$|
& \cite{physics/9807021} \\
2 & $1.0\mbox{Wcm}^{-2}\mu\text{m}^{2}$ &
\verb|$1.0\mbox{Wcm}^{-2}| & close to \\
\verb|$1.0\mbox{Wcm}^{-2}| & \\
& & \verb|\mu\text{m}^{2}$|
& \cite{physics/9807021} \\
3 & $4.8\times 10^{9}$ cm${}^{-2}$ &
......@@ -78,33 +78,15 @@
9 & $10^{-34}{\rm gm/cm^{3}}$ & \verb|$10^{-34}{\rm gm/cm^{3}}$| & \cite{gr-qc/9211006} \\
\hline
\end{tabular}
\caption{Examples of the category of complex quantity
expressions.}
\caption{Examples of the Category of Complex Quantity Expressions.}
\label{tab:complexcat}
\end{table}
\begin{table}
\center
\begin{tabular}{|c|c|p{7.9cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
\hline
1 & five seconds & five seconds & \\
2 & 1.27 square degrees & 1.27 square degrees &
\cite{astro-ph/9807152} \\
3 & one GHz & one GHz & \cite{hep-ph/9211201} \\
\hline
\end{tabular}
\caption{Examples of the category of textual quantity
expressions.}
\label{tab:textualcat}
\end{table}
\begin{table}
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $30^\circ$ & \verb|$30^\circ$| & \cite{physics/9807021} \\
2 & $00^{h}49^{m}37^{s}.71$ & \verb|$00^{h}49^{m}37^{s}.71$| &
......@@ -118,16 +100,32 @@
6 & $10^{\prime\prime}$ & \verb|$10^{\prime\prime}$| & \cite{gr-qc/9211006} \\
\hline
\end{tabular}
\caption{Examples of the category of quantity
expressions with units in superscript.}
\caption{Examples of the Category of Quantity
Expressions with Units in Superscript.}
\label{tab:superscriptcat}
\end{table}
\begin{table}
\center
\begin{tabular}{|c|c|p{7.9cm}|c|}
\hline
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & five seconds & five seconds & \\
2 & 1.27 square degrees & 1.27 square degrees &
\cite{astro-ph/9807152} \\
3 & one GHz & one GHz & \cite{hep-ph/9211201} \\
\hline
\end{tabular}
\caption{Examples of the Category of Textual Quantity Expressions.}
\label{tab:textualcat}
\end{table}
\begin{table}
\center
\begin{tabular}{|c|c|p{7.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $0.01-0.1\mu m^{2}$ & \verb|$0.01-0.1\mu m^{2}$| &
\cite{cond-mat/9807111} \\
......@@ -138,7 +136,7 @@
& \cite{hep-ph/9211214} \\
\hline
\end{tabular}
\caption{Examples of the category of range expressions.}
\caption{Examples of the Category of Range Expressions.}
\label{tab:rangecat}
\end{table}
......@@ -146,7 +144,7 @@
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $23\;\mu\text{m}\times23\;\mu\text{m}$
&\verb|$23\;\mu\text{m}\times| & \cite{physics/9807021} \\ & &
......@@ -154,39 +152,40 @@
\hline
\end{tabular}
\caption{Examples of the category of quantity products.}
\caption{Examples of the Category of Quantity Products.}
\label{tab:unitprodcat}
\end{table}
\begin{table}
\begin{table}
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & [...] $(\rm MeV/fm^{3})$ & \verb|(\rm MeV/fm^{3})| &
\cite{nucl-th/9807088} \\
2 & in GeV ${}^2$ & in GeV \verb|${}^2$| & \cite{hep-ph/9211221} \\
1 & $3 h^{-1}$ Gpc & \verb|$3 h^{-1}$ Gpc| & \cite{hep-ph/9211201} \\
2 & $10^{-12}M_{\odot}\Omega_{a}h^{2}$ & \verb|$10^{-12}M_{\odot}\Omega_{a}h^{2}$| & \cite{hep-ph/9807232} \\
\hline
\end{tabular}
\caption{Examples of the category of quantity
expressions without numbers.}
\label{tab:onlyunitcat}
\caption{Examples of the Category of Quantity
Expressions involving Constants.}
\label{tab:constantcat}
\end{table}
\begin{table}
\center
\begin{tabular}{|c|c|p{8.5cm}|c|}
\hline
Nr. & Rendered Result & \LaTeX-source & Reference \\
Nr. & Rendered Result & LaTeX-source & Reference \\
\hline
1 & $3 h^{-1}$ Gpc & \verb|$3 h^{-1}$ Gpc| & \cite{hep-ph/9211201} \\
2 & $10^{-12}M_{\odot}\Omega_{a}h^{2}$ & \verb|$10^{-12}M_{\odot}\Omega_{a}h^{2}$| & \cite{hep-ph/9807232} \\
1 & [...] $(\rm MeV/fm^{3})$ & \verb|(\rm MeV/fm^{3})| &
\cite{nucl-th/9807088} \\
2 & in GeV ${}^2$ & in GeV \verb|${}^2$| & \cite{hep-ph/9211221} \\
\hline
\end{tabular}
\caption{Examples of the category of quantity
expressions with constants.}
\label{tab:constantcat}
\caption{Examples of Single Units.}
\label{tab:onlyunitcat}
\end{table}
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment