Mathematical Semantic Web with Krextor
Krextor is now able to extract RDFa metadata and OWL ontologies from OMDoc, thus improving the integration of OMDoc with the semantic web.
OpenMath Content Dictionary Wiki
Our semantic wiki SWiM is now being used as a browser and editor for the official OpenMath Content Dictionaries.
Release: JOMDoc v0.0.1
The first version of JOMDoc, our Java API for OMDoc documents, has been released!
Krextor: KWARC RDF extractor
Krextor is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations.
SWiM 0.2 released
SWiM is a semantic wiki for mathematical knowledge management, based on the markup languages OMDoc, OpenMath, and MathML.
mdpm is going public!
The mdpm project is online!
panta rhei demo online!!!
The pana rhei demo is online. Login and post your comments!
locutor v0.0.5 released!
locutor v0.0.5 available for download.
KWARC hosts CADE
The KWARC research group hosts the 21st Conference on Automated Deduction.
First public announcement!
TMate Software has added a link to locutor on its web page. It's getting real now!
JEM workshop in August
JEM workshop in August!
WSML goes transitional!
The web site should look better now in more browsers!
locutor v0.0.5 coming up!
locutor v0.0.5 is going to be extended by several new features/bugfixes.
MathWeb Wiki reopened
The MathWeb Wiki is open for contributions now!
Web Montag Bremen
Die KWARC-Gruppe stellt ihre Web-2.0-Forschung auf dem 3. Bremer Web Montag vor.
New Web Site Design
We have a new website design. The web pages are generated from XML sources via the WSML package.
50 Years AI Symposium
We have helped organize this international symposium that celebrates the 50 years achievement since the famed 1956 Dartmouth conference that coined the term "Artificial Intelligence".
New Project
The SWiM project develops a semantic wiki for mathematics based on the OMDoc format.