stringtranslate.com

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.

Cobertura

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.

Semántica y presentació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.

Aplicaciones

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.

Historia

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:

Desarrollos futuros

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 .

Véase también

Referencias

Enlaces externos