OMDoc
OMDoc| 파일 이름 확장명 | .omdoc |
|---|---|
| 인터넷 미디어 유형 | application/omdoc+xml |
| 개발자 | 마이클 콜하세 |
| 형식 유형 | 마크업어 |
| 컨테이너: | MathML, OpenMath |
| 연장 위치 | 오픈매트릭스 |
| 표준 | OMDoc 1.2 |
OMDoc(Open Matheical Documents)은 수학 문서에 대한 의미 마크업 형식이다.MathML은 수학적 공식만을 다루고 관련 OpenMath 표준은 공식에 사용되는 기호의 정의가 포함된 공식과 "내용 사전"만 지원하는 반면, OMDoc은 전체 범위의 수학을 다룬다.
커버리지
OMDoc은 다음 세 가지 수준에서 수학 식을 허용한다.
- 객체 레벨
- Formulae는 Content MathML(MathML의 비현상 부분집합), OpenMath 또는 수학 논리를 위한 언어로 작성된다.
- 전표수준
- 정의, 정리, 증명, 예시 및 그들 사이의 관계(예: "이 증명서는 그 정리를 증명한다").
- 이론 수준
- 이론은 문맥적으로 관련된 진술들의 집합이다.이론은 서로 수입하여 그래프를 형성할 수도 있다.기호 정의 모음으로 간주되는 OMDoc 이론은 OpenMath 내용 사전과 호환된다.
각 수준에서는 용도에 따라 형식 구문과 비공식 자연어를 사용할 수 있다.
의미론 및 프리젠테이션
OMDoc은 수학에 관한 지문의 의미를 적는 것을 허용하는 의미론적 마크업 언어다.예를 들어, LaTeX와는 대조적으로, 주로 프레젠테이션 지향적이지는 않다.OMDoc 문서는 내용물이 어떤 모양이어야 하는지를 명시할 필요가 없다.그러나 LaTeX 및 XHTML로 변환할 수 있다(공식에 대한 Presentation MathML 포함).이를 위해 각 기호의 표시를 정의할 수 있다.
적용들
오늘날 OMDoc은 다음 설정에서 사용된다.
- e-러닝
- 맞춤 교과서 제작.
- 데이터 교환
- OMDoc 수입 및 수출 모듈은 많은 자동화된 정리 프로버와 컴퓨터 대수 시스템에 사용할 수 있다.OMDoc은 수학 웹 서비스 사이의 통신에 사용되도록 고안되었다.
- 문서작성
- 수학에 관한 문서는 OMDoc으로 작성되어 나중에 LaTeX나 XHTML+MathML과 같은 프레젠테이션 지향 형식으로 내보낼 수 있다.
역사
OMDoc은 1998년부터 독일의 수학자 겸 컴퓨터 과학자 마이클 콜하세에 의해 개발되었다.지금까지 다음과 같은 발매가 있었다.
- 1.0 (2000년 11월)
- 1.1(2001년 12월)
- 1.2(2006년 7월)
미래 발전
OMDoc을 기반으로 한 '기술과 과학을 위한 대서양 웹' 인프라를 조성할 계획이다.이를 위해 OMDoc은 수학 이외의 과학으로 확장되고 있다.첫 번째 결과는 물리학을 향해 확장된 OMDoc 변종인 PhysML이다.
다른 시멘틱 웹 애플리케이션과의 더 나은 통합을 위해, OMDoc의 OWL 온톨로지 개발 중이고, RDF로의 수출 시설도 개발 중에 있다.
참고 항목
참조
- Michael Kholhase(2006):수학 문서를 위한 개방형 마크업 형식(버전 1.2).4180번 인공지능 강의 노트스프링거 베를라크, 하이델베르크. ISBN3-540-37897-9.