OMDoc2018-01-04T16:09:29+00:00http://OMDoc.github.ioMichael Kohlhasekohlhase@kwarc.infoOMDoc.org site based on gh-pages2016-09-11T00:00:00+00:00http://OMDoc.github.io/2016/09/11/gh-pages<p>We have the beginnings of a <a href="http://omdoc.github.io">new OMDoc web</a> site based on github pages.</p>
Restarting Work OMDoc2013-02-04T00:00:00+00:00http://OMDoc.github.io/2013/02/04/restarting<p>After a long time of exploring OMDoc applications and redeveloping the formal core of OMDoc as MMT, we have restarted the development of the second version of the OMDoc representation format. The development has re-started with a string of blue notes available at [https://svn.omdoc.org/repos/omdoc/doc/blue]. These notes are still in an early stage, but give a glimbse at the direction we will take in the next months.</p>
Work Started on OMDoc 1.32010-06-01T00:00:00+00:00http://OMDoc.github.io/2010/06/01/OMDoc1.3<p>We have started work on the [OMDoc1.3] specification. This is to be a maintenance release with addresses immediate needs from the [wiki:OMDocToolsProjects OMDoc applications] that have been the focus of development in the last years. The main work items are</p>
<ul>
<li>a new presentation system (see #1616)</li>
<li>a new syntax for structure sharing and referencing (see #1624)</li>
<li>a new metadata framework (see #1625)</li>
<li>corresponding metadata ontolgoies (see #1626)</li>
</ul>
OMDoc Poster at European Semantic Web Conference2009-06-02T00:00:00+00:00http://OMDoc.github.io/2009/06/02/poster<p>At the <a href="http://www.eswc2009.org">European Semantic Web Conference</a>, we will present a poster on documenting ontologies with OMDoc. Motivated by deficiencies of the common ontology language RDFS and OWL w.r.t. documentation, we developed a way of modeling such ontologies in OMDoc, where documentation on more diverse granularities, and where it can be interlinked with formal knowledge. From an OMDoc source, both an OWL ontology and a human-readable documentation can be generated.</p>
<ul>
<li><a href="http://kwarc.info/clange/pubs/onto-doc-eswc09-poster.pdf">Abstract</a></li>
<li><a href="http://kwarc.info/clange/pubs/onto-doc-eswc09-a0poster.pdf">Poster</a></li>
</ul>
Web Site moved to TRAC2009-03-24T00:00:00+00:00http://OMDoc.github.io/2009/03/24/trac<p>We have reorganized the web site to the <a href="http://trac.omdoc.org/TRAC">TRAC portal</a>, this makes it editable by all developers, so that it is better up-to-date in the fugure. Please report any problems and inconsistencies by submitting tickets for the www component.</p>
Mathematical Semantic Web with Krextor2008-12-08T00:00:00+00:00http://OMDoc.github.io/2008/12/08/semweb-krextor<p><a href="http://kwarc.info/projects/krextor">Krextor</a> is now able to extract RDFa metadata and OWL ontologies from OMDoc, thus improving the integration of OMDoc with the semantic web.</p>
OpenMath Content Dictionary Wiki2008-09-03T00:00:00+00:00http://OMDoc.github.io/2008/09/03/omwiki<p>Our semantic wiki <a href="http://kwarc.info/projects/swim/">SWiM</a> is now being used as a browser and editor for the official <a href="http://www.openmath.org">OpenMath Content Dictionaries</a>.</p>
Release of JOMDoc v0.1.12008-07-28T00:00:00+00:00http://OMDoc.github.io/2008/07/28/JOMDoc1.1<p>The first version of <a href="http://omdoc.org/jomdoc">JOMDoc</a>, our Java API for OMDoc documents, has been released!</p>
Krextor the KWARC RDF extractor2008-06-17T00:00:00+00:00http://OMDoc.github.io/2008/06/17/krextor<p>Krextor](http://kwarc.info/projects/krextor) is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages (including OMDoc) as well as multiple output RDF notations.</p>
Call for Module Maintainers2007-05-22T00:00:00+00:00http://OMDoc.github.io/2007/05/22/call-module-maintainers<p>We will restart development on the OMDoc format with the goal of reaching Version 2.0. To make the format more modular, speed up the development process and share the burden, we will have module maintainers who drive the development process in close cooperation with the OMDoc project leader.</p>
<p>Please nominate yourself or others by e-mail to the developers mailing list.</p>
OMDoc.org acquired, moving infrastructure2007-01-02T00:00:00+00:00http://OMDoc.github.io/2007/01/02/omdoc-org<p>We will use the domain <code class="highlighter-rouge">OMDoc.org</code> for the OMDoc project. Expect to see the web pages at
http://www.omdoc.org, the repository at https://svn.omdoc.org and the ticketing system at
https://trac.omdoc.org.</p>
<p>We have moved</p>
<ul>
<li>the OMDoc Subversion Repository to
https://svn.omdoc.org/repos/omdoc, please check out the new repository.</li>
<li>We have moved the OMDoc web pages to http://www.omdoc.org and reorganized the web site to better reflect the division of the OMDoc format and the OMDoc community portal. Please report any problems and inconsistencies by submitting tickets for the www component.</li>
</ul>
OMDoc-1.2 Errata Process2006-07-19T00:00:00+00:00http://OMDoc.github.io/2006/07/19/OMDoc1.2-errata<p>As with any release, the release of the OMDoc 1.2 specification will bring wider use and this flush out bugs that went unnoticed. These bugs (called errata for paper documents) are tracked in an errata document at https://github.com/OMDoc/OMDoc-1.2/doc/spec/errata.pdf.</p>
OMDoc-1.2 released2006-07-17T00:00:00+00:00http://OMDoc.github.io/2006/07/17/OMDoc1.2<p>We have released the OMDoc 1.2 format.</p>
<p>After more than 4 years of development, his fixes a new version of the OMDoc format, and provides a stable API for developers.</p>
<p>This version of OMDoc introduces numerous tweaks in the OMDoc data model and syntax without changing the overall format.</p>
<p>For a while now OMDoc development will continue on the <code class="highlighter-rouge">omdoc1.2</code> branch until tools and resources have stabilized. All developers should change over to the branch.</p>
OMDoc-1.2 branch cut2006-07-16T00:00:00+00:00http://OMDoc.github.io/2006/07/16/OMDoc1.2branch<p>We have cut a
<a href="https://github.com/OMDoc/OMDoc-1.2/">subversion branch</a> for OMDoc version 1.2. It can be checked out with the URL
subversion client.</p>
<p>The purpose of this branch is to maintain the OMDoc 1.2 specification and resources. There will not be any more development of the OMDoc format on this branch though errata and bug fixes will be maintained.</p>
<p>Projects that develop towards OMDoc-1.2 should work on this branch.
Since trunk development is currently on hold for project planning, we expect most development to take place on the omdoc-1.2 branch.</p>
OMDoc Book finalized2006-06-25T00:00:00+00:00http://OMDoc.github.io/2006/06/25/lnai<p>The OMDoc Book has been finalized and sent to Springer Verlag. Once
the corrections are worked in, we will release the OMDoc1.2 Specification</p>
OMDoc Wiki2005-09-25T00:00:00+00:00http://OMDoc.github.io/2005/09/25/wiki<p>A <a href="http://www.mathweb.org/wiki/OMDoc">WIKI</a> has been introduced for the discussion of OMDoc.</p>
CPoint2002-10-24T00:00:00+00:00http://OMDoc.github.io/2002/10/24/CPoint<p><a href="http://kwarc.info/projects/CPoint">CPoint</a>: semantic markup tool and OMDoc converter for M$ PowerPoint announced</p>
Emacs mode for OMDoc2002-10-15T00:00:00+00:00http://OMDoc.github.io/2002/10/15/emacs-mode<p>A native OMDoc mode for the emacs editor is announced</p>
OMDoc Version 1.1 has been released2001-12-29T00:00:00+00:00http://OMDoc.github.io/2001/12/29/OMDoc1.1<p>This version is mainly a bug-fix release that has become necessary by the experiments of encoding legacy material and theorem prover interfaces in OMDoc. The changes are relatively minor, mostly adding optional fields. Version 1.1 of OMDoc freezes the development so that version 2.0 can be started off.</p>
<p>In contrast to the OMDoc format which has not changed much, the manual is a total re-write, it closes many documentation gaps, clarifies various remaining issues. and adds a multitude of new examples.</p>
OMDoc 1.1 Release Candidate2001-11-30T00:00:00+00:00http://OMDoc.github.io/2001/11/30/OMDoc1.1-rc<p>I have put the DTD and the omdoc manual in the final resting place, and changed the CVS sources to the OMDoc 1.1 tree. Everything you see <a href="https://github.com/OMDoc/OMDoc-1.1/">here</a> is relative to Version 1.1 now.</p>
<p>Please comment on the specification and the DTD until December 19, I will release OMDoc version 1.1 on December 21. 2001 (merry christmas).</p>
OMDoc 1.0 released2000-11-01T00:00:00+00:00http://OMDoc.github.io/2000/11/01/OMDoc1.0<p>Here is the <a href="http://www.omdoc.org/pubs/omdoc1.0.pdf">OMDoc manual</a>.</p>