OMDoc (Open Mathematical Documents) es un formato de marcado semántico para documentos matemáticos . Mientras 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 las fórmulas, OMDoc cubre toda la gama de matemáticas escritas.
Extensión de nombre de archivo | .omdoc |
---|---|
Tipo de medio de Internet | aplicación / omdoc + xml |
Desarrollado por | Michael Kohlhase |
Tipo de formato | Lenguaje de marcado |
Contenedor para | MathML , OpenMath |
Extendido desde | OpenMath |
Estándar | OMDoc 1.2 |
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, demostraciones, ejemplos y las relaciones entre ellos (por ejemplo, "esta prueba prueba ese teorema").
- Nivel teórico
- Una teoría es un conjunto de afirmaciones relacionadas contextualmente. Las teorías pueden importarse entre sí, formando así un gráfico . Consideradas 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 la sintaxis formal y el lenguaje natural informal, según 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 presentaciones. Un documento OMDoc no necesita especificar cómo debería verse su contenido. Sin embargo, es posible 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
Hoy, OMDoc se utiliza en las siguientes configuraciones:
- E-aprendizaje
- Creación de libros de texto personalizados.
- El intercambio de datos
- Los módulos de importación y exportación de OMDoc están disponibles para muchos probadores de teoremas automatizados y sistemas de álgebra informática . OMDoc está destinado a ser utilizado para la comunicación entre servicios web matemáticos .
- Preparación del documento
- Los documentos sobre matemáticas se pueden preparar en OMDoc y luego exportar a un formato orientado a presentaciones como LaTeX o XHTML + MathML.
Historia
OMDoc ha sido desarrollado por el matemático e informático alemán Michael Kohlhase desde 1998. Hasta ahora, ha habido los siguientes lanzamientos:
- 1.0 (noviembre de 2000)
- 1.1 (diciembre de 2001)
- 1.2 (julio de 2006)
Futuros desarrollos
Está previsto crear la infraestructura para una " web semántica para la tecnología y la ciencia" basada en OMDoc. Con este fin, OMDoc se está extendiendo hacia otras ciencias además de las matemáticas. El primer resultado es PhysML , una variante de OMDoc extendida hacia la física .
Para una mejor integración con otras aplicaciones de Web Semántica, se está desarrollando una ontología OWL de OMDoc, así como una función de exportación a RDF .
Ver también
Referencias
- Michael Kohlhase (2006): un formato de marcado abierto para documentos matemáticos (versión 1.2) . Notas de la conferencia sobre inteligencia artificial , núm. 4180. Springer Verlag , Heidelberg. ISBN 3-540-37897-9 .
enlaces externos
- Página web oficial
- Wiki para OMDoc y proyectos relacionados