{9} News (23 matches)

OMDoc project news

Reporter Summary Ticket
Description
kohlhase 2010-06-01: Working on OMDoc1.3 #1627

We have started work on the [OMDoc1.3] specification. This is to be a maintenance release with addresses immediate needs from the OMDoc applications that have been the focus of development in the last years. The main work items are

  • a new presentation system (see #1616)
  • a new syntax for structure sharing and referencing (see #1624)
  • a new metadata framework (see #1625)
  • corresponding metadata ontolgoies (see #1626)
clange 2009-06-02: Poster demonstration on mathematical ontology documentation #1509

At the  European Semantic Web Conference, 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.

clange 2009-03-26: OMDoc news in the Trac #1500

Now we have also found a way of maintaining news about the OMDoc project in the Trac. You can subscribe to them as an RSS feed.

kohlhase 2009-03-24: Web Site moved to TRAC #1483

We have reorganized the web site to the TRAC portal, 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.

clange 2008-12-08: Mathematical Semantic Web with Krextor #1477

 Krextor is now able to extract RDFa metadata and OWL ontologies from OMDoc, thus improving the integration of OMDoc with the semantic web.

kohlhase 2008-09-03: OpenMath Content Dictionary Wiki #1478

Our semantic wiki  SWiM is now being used as a browser and editor for the official  OpenMath Content Dictionaries.

kohlhase 2008-07-28: Release of JOMDoc v0.1.1 #1479

The first version of  JOMDoc, our Java API for OMDoc documents, has been released!

clange 2008-06-17: Krextor the KWARC RDF extractor #1480

 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.

kohlhase 2007-05-22: Call for Module Maintainers #1481

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.

Please nominate yourself or others by e-mail to the developers mailing list.

kohlhase 2007-03-01: Web Site reorganization #1482

We have 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.

kohlhase 2007-02-25: www.OMDoc.org operational #1484

We have moved the OMDoc web pages to http://www.omdoc.org.

kohlhase 2007-02-25: svn.OMDoc.org operational #1485

We have moved the OMDoc Subversion Repository to  https://svn.omdoc.org/repos/omdoc, please check out the new repository.

kohlhase 2007-01-02: OMDoc.org acquired #1486

We will use the domain OMDoc.org 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.

kohlhase 2006-07-19: OMDoc-1.2 Errata Process #1488

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://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/doc/spec/errata.pdf.

A version of the OMDoc specification that contains all errata corrections (and markup of what changed) can be found at  https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/doc/spec/spec.pdf

To report an erratum, please use the  Ticketing System with component "specification" and version "1.2".

kohlhase 2006-07-17: OMDoc-1.2 released #1489

We have released the OMDoc 1.2 format.

After more than 4 years of development, his fixes a new version of the OMDoc format, and provides a stable API for developers.

This version of OMDoc introduces numerous tweaks in the OMDoc data model and syntax without changing the overall format.

For a while now OMDoc development will continue on the omdoc1.2 branch until tools and resources have stabilized. All developers should change over to the branch.

kohlhase 2006-07-16: OMDoc-1.2 branch cut #1490

We have cut a  subversion branch for OMDoc version 1.2. It can be checked out with the URL  https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.2/ via the subversion client.

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.

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.

kohlhase 2006-06-25: OMDoc Book finalized #1491

The OMDoc Book has been finalized and sent to Springer Verlag. Once the corrections are worked in, we will release the OMDoc1.2 Specification

kohlhase 2005-09-25: OMDoc Wiki #1492

A  WIKI has been introduced for the discussion of OMDoc.

kohlhase 2002-10-24: CPoint #1493

 CPoint: semantic markup tool and OMDoc converter for M$ PowerPoint? announced

kohlhase 2002-10-15: Emacs mode for OMDoc #1494

A native OMDoc mode for the emacs editor is announced

kohlhase 2001-12-29: OMDoc Version 1.1 has been released #1495

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. 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.

kohlhase 2001-11-30: OMDoc Version 1.1 Release Candidate #1496

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  here is relative to Version 1.1 now.

Please comment on the specification and the DTD until December 19, I will release OMDoc version 1.1 on December 21. 2001 (merry christmas).

kohlhase 2000-11-01: OMDoc 1.0 is released #1497

Here is the OMDoc manual.

Note: See TracReports for help on using and creating reports.