https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=OMDocOMDoc - Versionsgeschichte2026-05-27T01:50:42ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=OMDoc&diff=863732&oldid=previmported>SchlurcherBot: Bot: http → https2025-10-21T21:13:07Z<p>Bot: http → https</p>
<p><b>Neue Seite</b></p><div>{{Infobox Dateiformat<br />
| Name = OMDoc (Open Mathematical Documents)<br />
| Icon = <br />
| Logo = <br />
| Screenshot = <br />
| Beschreibung = <br />
| Dateiendung = .omdoc<br />
| MIME = application/omdoc+xml<br />
| MIME-Anm =<br />
| MagischeZahl = <br />
| MagischeZahlNotation = <br />
| MagischeZahlHex = <br />
| Entwickler = [[Michael Kohlhase]]<br />
| Veröffentlicht = <br />
| LetzteVersion = <br />
| LetzteVersionDatum = <br />
| Art = <br />
| Container für = <br />
| Enthalten in = <br />
| Erweitert von = [[Extensible Markup Language|XML]], [[MathML]], [[OpenMath]]<br />
| Erweitert zu = <br />
| Standard = [http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf OMDoc 1.2]<br />
| Website = <br />
}}<br />
<br />
'''OMDoc''' (Open Mathematical Documents) ist eine [[Semantik|semantische]] [[Auszeichnungssprache]] für [[Mathematik|mathematische]] Dokumente. Während [[MathML]] nur mathematische Formeln darstellen kann und der verwandte [[OpenMath]]-Standard darüber hinaus nur „Content Dictionaries“ kennt, die Definitionen für in Formeln verwendete Symbole enthalten, deckt OMDoc die ganze Bandbreite geschriebener Mathematik ab.<br />
<br />
== Umfang ==<br />
OMDoc kennt mathematische Ausdrücke auf drei Ebenen:<br />
<br />
;Objektebene:Formeln, geschrieben in Content MathML (die strukturorientierte Teilsprache von MathML), [[OpenMath]] oder Sprachen für [[formale Logik]].<br />
;Aussagenebene:Definitionen, Sätze, Beweise, Beispiele und die Beziehungen zwischen ihnen (etwa „Dieser Beweis beweist jenen Satz.“)<br />
;Theorieebene:Eine Theorie ist eine Menge kontextuell aufeinander bezogener Aussagen. Theorien können andere Theorien importieren und bilden somit einen [[Graph (Graphentheorie)|Graphen]]. Als Sammlungen von Symboldefinitionen betrachtet, sind OMDoc-Theorien zu OpenMath Content Dictionaries kompatibel.<br />
<br />
Auf jeder Ebene kann eine formale Syntax oder informale natürliche Sprache verwendet werden, abhängig von der Anwendung.<br />
<br />
== Semantik und Präsentation ==<br />
OMDoc ist eine semantische Auszeichnungssprache, in der man die ''Bedeutung'' von mathematischen Texten ausdrücken kann. Im Gegensatz etwa zu [[LaTeX]] ist es nicht in erster Linie auf Präsentation ausgerichtet. Ein OMDoc-Dokument muss nicht festlegen, wie sein Inhalt aussehen soll. Eine Konvertierung nach LaTeX oder [[XHTML]] (mit Formeln in Presentation MathML) ist jedoch möglich. Zu diesem Zweck kann die Notation von Symbolen definiert werden.<br />
<br />
== Anwendungen ==<br />
Heute wird OMDoc in den folgenden Bereichen verwendet:<br />
<br />
;[[E-Lernen]]:Erstellung benutzerdefinierter Lehrbücher<br />
;Datenaustausch:Viele [[Maschinengestütztes Beweisen|Theorembeweiser]] und [[Computeralgebrasystem]]e haben Import- und Exportfunktionen für OMDoc. OMDoc ist darüber hinaus als Kommunikationssprache zwischen mathematischen [[Webservice]]s entworfen worden.<br />
;Dokumentvorbereitung:Dokumente über Mathematik können in OMDoc vorbereitet und später in präsentationsorientierte Formate wie LaTeX oder XHTML+MathML exportiert werden.<br />
<br />
== Geschichte ==<br />
OMDoc wird seit 1998 von dem deutschen Mathematiker und Informatiker [[Michael Kohlhase]] entwickelt. Bisher sind folgende Versionen erschienen:<br />
<br />
* 1.0 (November 2000)<br />
* 1.1 (Dezember 2001)<br />
* 1.2 (Juli 2006)<br />
<br />
== Zukünftige Entwicklungen ==<br />
Die Entwicklung einer OMDoc-basierten Infrastruktur für ein „[[Semantisches Web]] der Ingenieurs- und Naturwissenschaften“ ist geplant. Dazu wird OMDoc auf andere Wissenschaften als Mathematik ausgeweitet. Erstes Ergebnis ist [[PhysML]], eine OMDoc-Variante, die in Richtung [[Physik]] erweitert ist.<br />
<br />
Zur besseren Integration mit anderen Semantic-Web-Anwendungen befindet sich eine [[Web Ontology Language|OWL]]-Ontologie von OMDoc in der Entwicklung, außerdem eine Exportfunktion nach [[Resource Description Framework|RDF]].<br />
<br />
== Literatur ==<br />
* Michael Kohlhase: ''An Open Markup Format for Mathematical Documents (Version 1.2)'' In: ''[[Lecture Notes in Computer Science|Lecture Notes in Artificial Intelligence]].'' Nr. 4180. Springer-Verlag, Heidelberg, ISBN 3-540-37897-9.<br />
<br />
== Weblinks ==<br />
* [https://www.omdoc.org/ Homepage]<br />
* [https://web.archive.org/web/20070627223750/https://mathweb.org/wiki/OMDoc Wiki zu OMDoc und verwandten Projekten] (engl.), Archivlink abgerufen am 31. Oktober 2022<br />
<br />
[[Kategorie:XML-basierte Sprache]]<br />
[[Kategorie:Datenformat]]<br />
[[Kategorie:Semantisches Web]]<br />
[[Kategorie:Mathematik]]<br />
[[Kategorie:Abkürzung]]</div>imported>SchlurcherBot