ОМДок

Открытые математические документы

Расширение имени файла	.omdoc
Тип интернет-СМИ	приложение/omdoc+xml
Разработано	Майкл Кольхазе
Тип формата	Язык разметки
Контейнер для	MathML , OpenMath
Расширено с	OpenMath
Стандартный	ОМДок 1.2

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

Покрытие

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 распространяется на другие науки, помимо математики. Первым результатом является PhysML , вариант OMDoc, расширенный в сторону физики .

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

См. также

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

Ссылки

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

Внешние ссылки

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