www.wikidata.de-de.nina.az

OMDoc Open Mathematical Documents ist eine semantische Auszeichnungssprache für mathematische Dokumente Während MathML n

OMDoc

OMDoc (Open Mathematical Documents) ist eine semantische Auszeichnungssprache für 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.

OMDoc (Open Mathematical Documents)
Dateiendung: .omdoc
MIME-Type: application/omdoc+xml
Entwickelt von: Michael Kohlhase
Erweitert von: XML, MathML, OpenMath
Standard(s): OMDoc 1.2



Umfang Bearbeiten

OMDoc kennt mathematische Ausdrücke auf drei Ebenen:

Auf jeder Ebene kann eine formale Syntax oder informale natürliche Sprache verwendet werden, abhängig von der Anwendung.

Semantik und Präsentation Bearbeiten

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.

Anwendungen Bearbeiten

Heute wird OMDoc in den folgenden Bereichen verwendet:

Geschichte Bearbeiten

OMDoc wird seit 1998 von dem deutschen Mathematiker und Informatiker Michael Kohlhase entwickelt. Bisher sind folgende Versionen erschienen:

  • 1.0 (November 2000)
  • 1.1 (Dezember 2001)
  • 1.2 (Juli 2006)

Zukünftige Entwicklungen Bearbeiten

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.

Zur besseren Integration mit anderen Semantic-Web-Anwendungen befindet sich eine OWL-Ontologie von OMDoc in der Entwicklung, außerdem eine Exportfunktion nach RDF.

Literatur Bearbeiten

Weblinks Bearbeiten

  • Homepage
  • (engl.), Archivlink abgerufen am 31. Oktober 2022
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
OMDoc Open Mathematical Documents ist eine semantische Auszeichnungssprache fur mathematische Dokumente Wahrend MathML nur mathematische Formeln darstellen kann und der verwandte OpenMath Standard daruber hinaus nur Content Dictionaries kennt die Definitionen fur in Formeln verwendete Symbole enthalten deckt OMDoc die ganze Bandbreite geschriebener Mathematik ab OMDoc Open Mathematical Documents Dateiendung omdocMIME Type application omdoc xmlEntwickelt von Michael KohlhaseErweitert von XML MathML OpenMathStandard s OMDoc 1 2 Inhaltsverzeichnis 1 Umfang 2 Semantik und Prasentation 3 Anwendungen 4 Geschichte 5 Zukunftige Entwicklungen 6 Literatur 7 WeblinksUmfang BearbeitenOMDoc kennt mathematische Ausdrucke auf drei Ebenen Objektebene Formeln geschrieben in Content MathML die strukturorientierte Teilsprache von MathML OpenMath oder Sprachen fur formale Logik Aussagenebene Definitionen Satze Beweise Beispiele und die Beziehungen zwischen ihnen etwa Dieser Beweis beweist jenen Satz Theorieebene Eine Theorie ist eine Menge kontextuell aufeinander bezogener Aussagen Theorien konnen andere Theorien importieren und bilden somit einen Graphen Als Sammlungen von Symboldefinitionen betrachtet sind OMDoc Theorien zu OpenMath Content Dictionaries kompatibel Auf jeder Ebene kann eine formale Syntax oder informale naturliche Sprache verwendet werden abhangig von der Anwendung Semantik und Prasentation BearbeitenOMDoc ist eine semantische Auszeichnungssprache in der man die Bedeutung von mathematischen Texten ausdrucken kann Im Gegensatz etwa zu LaTeX ist es nicht in erster Linie auf Prasentation 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 moglich Zu diesem Zweck kann die Notation von Symbolen definiert werden Anwendungen BearbeitenHeute wird OMDoc in den folgenden Bereichen verwendet E Lernen Erstellung benutzerdefinierter Lehrbucher Datenaustausch Viele Theorembeweiser und Computeralgebrasysteme haben Import und Exportfunktionen fur OMDoc OMDoc ist daruber hinaus als Kommunikationssprache zwischen mathematischen Webservices entworfen worden Dokumentvorbereitung Dokumente uber Mathematik konnen in OMDoc vorbereitet und spater in prasentationsorientierte Formate wie LaTeX oder XHTML MathML exportiert werden Geschichte BearbeitenOMDoc wird seit 1998 von dem deutschen Mathematiker und Informatiker Michael Kohlhase entwickelt Bisher sind folgende Versionen erschienen 1 0 November 2000 1 1 Dezember 2001 1 2 Juli 2006 Zukunftige Entwicklungen BearbeitenDie Entwicklung einer OMDoc basierten Infrastruktur fur 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 Zur besseren Integration mit anderen Semantic Web Anwendungen befindet sich eine OWL Ontologie von OMDoc in der Entwicklung ausserdem eine Exportfunktion nach RDF Literatur BearbeitenMichael Kohlhase An Open Markup Format for Mathematical Documents Version 1 2 In Lecture Notes in Artificial Intelligence Nr 4180 Springer Verlag Heidelberg ISBN 3 540 37897 9 Weblinks BearbeitenHomepage Wiki zu OMDoc und verwandten Projekten engl Archivlink abgerufen am 31 Oktober 2022 Abgerufen von https de wikipedia org w index php title OMDoc amp oldid 227529759