2018-01-04T16:09:29+00:00 http://OMDoc.github.io Michael Kohlhase kohlhase@kwarc.info 2016-09-11T00:00:00+00:00 http://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> 2013-02-04T00:00:00+00:00 http://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> 2010-06-01T00:00:00+00:00 http://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> 2009-06-02T00:00:00+00:00 http://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> 2009-03-24T00:00:00+00:00 http://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> 2008-12-08T00:00:00+00:00 http://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> 2008-09-03T00:00:00+00:00 http://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> 2008-07-28T00:00:00+00:00 http://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> 2008-06-17T00:00:00+00:00 http://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> 2007-05-22T00:00:00+00:00 http://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> 2007-01-02T00:00:00+00:00 http://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> 2006-07-19T00:00:00+00:00 http://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> 2006-07-17T00:00:00+00:00 http://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> 2006-07-16T00:00:00+00:00 http://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> 2006-06-25T00:00:00+00:00 http://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> 2005-09-25T00:00:00+00:00 http://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> 2002-10-24T00:00:00+00:00 http://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> 2002-10-15T00:00:00+00:00 http://OMDoc.github.io/2002/10/15/emacs-mode <p>A native OMDoc mode for the emacs editor is announced</p> 2001-12-29T00:00:00+00:00 http://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> 2001-11-30T00:00:00+00:00 http://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> 2000-11-01T00:00:00+00:00 http://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>