Documento OMDoc

OMDoc (Open Mathematical Documents) es un formato de marcado semántico para documentos matemáticos . Mientras que MathML solo cubre fórmulas matemáticas y el estándar OpenMath relacionado solo admite fórmulas y “diccionarios de contenido” que contienen definiciones de los símbolos utilizados en fórmulas, OMDoc cubre toda la gama de matemáticas escritas.

OMDoc permite expresiones matemáticas en tres niveles:

Nivel de objeto

Fórmulas escritas en Content MathML (el subconjunto no presentacional de MathML), OpenMath o lenguajes para lógica matemática .

Nivel de declaración

Definiciones, teoremas, pruebas, ejemplos y las relaciones entre ellos (por ejemplo, “esta prueba prueba ese teorema”).

Nivel teórico

Una teoría es un conjunto de enunciados relacionados contextualmente. Las teorías pueden importarse entre sí, formando así un gráfico . Vistas como colecciones de definiciones de símbolos, las teorías de OMDoc son compatibles con los diccionarios de contenido de OpenMath.

En cada nivel, se puede utilizar sintaxis formal y lenguaje natural informal, dependiendo de la aplicación.

OMDoc es un lenguaje de marcado semántico que permite escribir el significado de textos sobre matemáticas. A diferencia de LaTeX , por ejemplo, no está orientado principalmente a la presentación. Un documento OMDoc no necesita especificar cómo debe ser su contenido. Sin embargo, es posible realizar una conversión a LaTeX y XHTML (con Presentation MathML para las fórmulas). Para ello, se puede definir la presentación de cada símbolo.

Actualmente, OMDoc se utiliza en los siguientes entornos:

Aprendizaje electrónico

Creación de libros de texto personalizados.

Intercambio de datos

Los módulos de importación y exportación de OMDoc están disponibles para muchos demostradores de teoremas automatizados y sistemas de álgebra computacional . OMDoc está diseñado para usarse en la comunicación entre servicios web matemáticos .

Preparación de documentos

Se pueden preparar documentos sobre matemáticas en OMDoc y luego exportarlos a un formato orientado a presentaciones como LaTeX o XHTML+MathML.

OMDoc ha sido desarrollado por el matemático y científico informático alemán Michael Kohlhase desde 1998. Hasta el momento, se han publicado los siguientes lanzamientos:

• 1.0 (noviembre de 2000)
• 1.1 (diciembre de 2001)
• 1.2 (julio de 2006)

Se prevé crear la infraestructura para una “ web semántica para la tecnología y la ciencia” basada en OMDoc. Para ello, OMDoc se está ampliando hacia otras ciencias además de las matemáticas. El primer resultado es PhysML, una variante de OMDoc ampliada hacia la física .

Para una mejor integración con otras aplicaciones de la Web Semántica, se está desarrollando una ontología OWL de OMDoc, así como una facilidad de exportación a RDF .

• Gestión del conocimiento matemático

• Michael Kohlhase (2006): un formato de marcado abierto para documentos matemáticos (versión 1.2) . Apuntes de conferencias sobre inteligencia artificial , núm. 4180. Springer Verlag , Heidelberg. ISBN  3-540-37897-9 .

• Sitio web oficial
• Wiki para OMDoc y proyectos relacionados