OMDoc

OMDoc (Open Mathematical Documents) - это семантический формат разметки для математических документов. В то время как MathML охватывает только математические формулы, а соответствующий стандарт OpenMath поддерживает только формулы и «словари содержания», содержащие определения символов, используемых в формулах, OMDoc охватывает весь диапазон письменной математики.

• 1 Охват
• 2 Семантика и представление
• 3 Приложения
• 4 История
• 5 Будущие разработки
• 6 См. Также
• 7 Ссылки
• 8 Внешние ссылки

OMDoc допускает математические выражения на трех уровнях:

Уровень объекта

Формулы, написанные в Content MathML (непрезентабельное подмножество MathML), OpenMath или языки для математической логики.

Уровень утверждения

Определения, теоремы, доказательства, примеры и отношения между ними (например, «это доказательство доказывает ту теорему»).

Теоретический уровень

Теория - это набор контекстуально связанных утверждений. Теории могут импортировать друг друга, образуя график. Теории OMDoc, рассматриваемые как наборы определений символов, совместимы со словарями содержимого OpenMath.

На каждом уровне могут использоваться формальный синтаксис и неформальный естественный язык, в зависимости от приложения.

OMDoc - это язык семантической разметки, который позволяет записывать значение текстов по математике. В отличие от LaTeX, например, он не ориентирован в первую очередь на презентацию. В документе OMDoc не нужно указывать, как должно выглядеть его содержимое. Однако преобразование в LaTeX и XHTML (с Presentation MathML для формул) возможно. С этой целью можно определить представление каждого символа.

Сегодня OMDoc используется в следующих настройках:

Электронное обучение

Создание индивидуальных учебников.

Обмен данными

Модули импорта и экспорта OMDoc доступны для многих автоматических программ доказательства теорем и систем компьютерной алгебры. OMDoc предназначен для использования для связи между математическими веб-службами.

Подготовка документов

Документы по математике могут быть подготовлены в OMDoc, а затем экспортированы в формат, ориентированный на представление, например LaTeX или XHTML + MathML.

OMDoc был разработан немецким математиком и компьютерным ученым Михаэлем Колхазе с 1998 года. На данный момент были выпущены следующие версии:

• 1.0 (ноябрь 2000 г.)
• 1.1 (декабрь 2001 г.)
• 1.2 (июль 2006 г.)

Планируется создать инфраструктуру для «семантической сети для науки и техники »на основе OMDoc. С этой целью OMDoc расширяется и на другие науки, помимо математики. Первым результатом является вариант OMDoc, расширенный до физики.

. Для лучшей интеграции с другими приложениями семантической паутины разрабатывается онтология OMDoc OWL, а также возможность экспорта в RDF.

• Управление математическими знаниями

• Майкл Кольхейз (2006): Открытый формат разметки для математических документов (версия 1.2). Конспект лекций по искусственному интеллекту, вып. 4180. Springer Verlag, Гейдельберг. ISBN 3-540-37897-9.

• Официальный сайт
• Wiki для OMDoc и связанных проектов