OMDoc - OMDoc
| Расширение имени файла | .omdoc |
|---|---|
| Тип интернет-СМИ | приложение / omdoc + xml |
| Разработан | Майкл Кольхейз |
| Тип формата | Язык разметки |
| Контейнер для | MathML, OpenMath |
| Расширен с | OpenMath |
| Стандарт | OMDoc 1.2 |
OMDoc (Открытые математические документы) - это семантический формат разметки для математический документы. Пока MathML охватывает только математические формулы и связанные с ними OpenMath Стандарт поддерживает только формулы и «словари содержания», содержащие определения символов, используемых в формулах, OMDoc охватывает весь спектр письменной математики.
Покрытие
OMDoc допускает математические выражения на трех уровнях:
- Уровень объекта
- Формулы, написанные в Контенте MathML (непрезентабельное подмножество MathML), OpenMath или языки для математическая логика.
- Уровень заявления
- Определения, теоремы, доказательства, примеры и отношения между ними (например, «это доказательство доказывает эту теорему»).
- Теоретический уровень
- Теория - это набор утверждений, связанных с контекстом. Теории могут импортировать друг друга, формируя тем самым график. Теории OMDoc, которые рассматриваются как коллекции определений символов, совместимы со словарями содержимого OpenMath.
На каждом уровне могут использоваться формальный синтаксис и неформальный естественный язык, в зависимости от приложения.
Семантика и представление
OMDoc - это семантический язык разметки, позволяющий записывать смысл текстов по математике. В отличие от Латекс например, он не ориентирован в первую очередь на презентацию. В документе OMDoc не нужно указывать, как должно выглядеть его содержимое. Преобразование в LaTeX и XHTML (с презентацией MathML для формул), хотя. С этой целью можно определить представление каждого символа.
Приложения
Сегодня OMDoc используется в следующих настройках:
- Электронное обучение
- Создание индивидуальных учебников.
- Обмен данными
- Модули импорта и экспорта OMDoc доступны для многих автоматические средства доказательства теорем и системы компьютерной алгебры. OMDoc предназначен для связи между математическими веб-сервисы.
- Подготовка документов
- Документы по математике можно подготовить в OMDoc, а затем экспортировать в формат, ориентированный на представление, например LaTeX или XHTML + MathML.
История
OMDoc был разработан немецким математиком и компьютерным ученым. Майкл Кольхейз с 1998 года. На данный момент выпущены следующие релизы:
- 1.0 (ноябрь 2000 г.)
- 1.1 (декабрь 2001 г.)
- 1.2 (июль 2006 г.)
Будущие разработки
Планируется создать инфраструктуру для «семантическая сеть для технологий и науки »на основе OMDoc. С этой целью OMDoc расширяется и на другие науки, помимо математики. Первый результат PhysML, вариант OMDoc, расширенный до физика.
Для лучшей интеграции с другими приложениями семантической сети СОВА онтология OMDoc находится в стадии разработки, а также возможность экспорта в RDF.
Смотрите также
Рекомендации
- Майкл Кольхейз (2006): Открытый формат разметки для математических документов (версия 1.2). Конспект лекций по искусственному интеллекту, нет. 4180. Springer Verlag, Гейдельберг. ISBN 3-540-37897-9.
