OMDoc (Open Mathematical Documents) เป็น รูปแบบการมาร์ก อัปเชิงความหมายสำหรับเอกสารทางคณิตศาสตร์ ในขณะที่ MathMLครอบคลุมเฉพาะสูตรทางคณิตศาสตร์ และ มาตรฐาน OpenMath ที่เกี่ยวข้อง รองรับเฉพาะสูตรและ "พจนานุกรมเนื้อหา" ที่มีคำจำกัดความของสัญลักษณ์ที่ใช้ในสูตรเท่านั้น แต่ OMDoc ครอบคลุมคณิตศาสตร์ที่เขียนขึ้นทั้งหมด

OMDoc อนุญาตให้ใช้สูตรทางคณิตศาสตร์ได้ในสามระดับ:

ระดับวัตถุ

สูตรที่เขียนด้วย Content MathML (ส่วนย่อยที่ไม่แสดงผลของ MathML), OpenMathหรือภาษาสำหรับตรรกะทางคณิตศาสตร์

ระดับคำแถลง

คำจำกัดความ ทฤษฎีบท การพิสูจน์ ตัวอย่าง และความสัมพันธ์ระหว่างสิ่งเหล่านี้ (เช่น "การพิสูจน์นี้พิสูจน์ทฤษฎีบทนั้น")

ระดับทฤษฎี

ทฤษฎีคือชุดของข้อความที่เกี่ยวข้องกันในบริบท ทฤษฎีต่างๆ อาจนำเข้าซึ่งกันและกันได้ จึงก่อให้เกิดเป็นกราฟเมื่อมองว่าทฤษฎี OMDoc เป็นชุดของคำจำกัดความเชิงสัญลักษณ์ ทฤษฎีเหล่านี้จึงเข้ากันได้กับพจนานุกรมเนื้อหาของ OpenMath

ในแต่ละระดับ สามารถใช้ทั้งไวยากรณ์ที่เป็นทางการและภาษาธรรมชาติที่ไม่เป็นทางการได้ ขึ้นอยู่กับการใช้งาน

OMDoc เป็นภาษามาร์กอัปเชิงความหมายที่ช่วยให้สามารถเขียนความหมายของข้อความเกี่ยวกับคณิตศาสตร์ได้ แตกต่างจากLaTeXเช่น OMDoc ไม่ได้เน้นการนำเสนอเป็นหลัก เอกสาร OMDoc ไม่จำเป็นต้องระบุว่าเนื้อหาควรมีลักษณะอย่างไร อย่างไรก็ตาม สามารถแปลงเป็น LaTeX และXHTML (โดยใช้ Presentation MathMLสำหรับสูตร) ​​ได้ โดยสามารถกำหนดรูปแบบการแสดงผลของแต่ละสัญลักษณ์ได้

ปัจจุบัน OMDoc ถูกนำไปใช้ในบริบทต่อไปนี้:

การเรียนรู้ผ่านระบบอิเล็กทรอนิกส์

การสร้างตำราเรียนที่ปรับแต่งตามความต้องการเฉพาะ

การแลกเปลี่ยนข้อมูล

โมดูลนำเข้าและส่งออกของ OMDoc สามารถใช้งานได้กับโปรแกรมพิสูจน์ทฤษฎีบทอัตโนมัติและระบบพีชคณิตคอมพิวเตอร์ หลายระบบ OMDoc มีจุดประสงค์เพื่อใช้ในการสื่อสารระหว่างบริการเว็บ ทาง คณิตศาสตร์

การจัดเตรียมเอกสาร

เอกสารเกี่ยวกับคณิตศาสตร์สามารถจัดทำใน OMDoc แล้วส่งออกไปยังรูปแบบที่เน้นการนำเสนอ เช่น LaTeX หรือ XHTML+MathML ได้ในภายหลัง

OMDoc ได้รับการพัฒนาโดยไมเคิล โคห์ลฮาเซ นักคณิตศาสตร์และนักวิทยาศาสตร์คอมพิวเตอร์ชาวเยอรมัน มาตั้งแต่ปี 1998 จนถึงปัจจุบัน มีการออกเวอร์ชันต่างๆ ดังนี้:

• 1.0 (พฤศจิกายน 2543)
• 1.1 (ธันวาคม 2544)
• 1.2 (กรกฎาคม 2549)

มีการวางแผนที่จะสร้างโครงสร้างพื้นฐานสำหรับ “ เว็บเชิงความหมายสำหรับเทคโนโลยีและวิทยาศาสตร์” โดยใช้ OMDoc เป็นพื้นฐาน เพื่อบรรลุเป้าหมายนี้ OMDoc กำลังถูกขยายไปสู่สาขาวิทยาศาสตร์อื่นๆ นอกเหนือจากคณิตศาสตร์ ผลลัพธ์แรกคือPhysMLซึ่งเป็น OMDoc เวอร์ชันที่ขยายไปสู่สาขา ฟิสิกส์

เพื่อการบูรณาการที่ดีขึ้นกับแอปพลิเคชัน Semantic Web อื่นๆ กำลังอยู่ระหว่างการพัฒนาออนโทโลยี OWLสำหรับ OMDoc รวมถึงฟังก์ชันการส่งออกไปยังRDFด้วย

• การจัดการความรู้ทางคณิตศาสตร์

• เว็บไซต์อย่างเป็นทางการ
• วิกิสำหรับ OMDoc และโครงการที่เกี่ยวข้องเก็บถาวรเมื่อวันที่ 27 มิถุนายน 2007 ที่Wayback Machine