From korrekt.org
Semantic MediaWiki 1.2: bringing OWL to the Web
Jul 11 2008. After a lot of work it finally done: version 1.2 of Semantic MediaWiki has been released and is available for download. The new release does of course include many new features, but it also has some interesting additions regarding proper Semantic Web technologies. Read more …
Semantic Web reloaded
Apr 25 2008. After quite some work during the last week, semanticweb.org now has received a new look and content organisation that is more suitable for the «Homepage of the Semantic Web». The existing content of the former ontoworld.org turned out to be rather more promissing than expected: interesting collections not only of events and people, but also of tools and ontologies did in fact exist. Now it is at the community to take the chance of using this very visible platform for advertising their work. As far as I recon, I better hire some students to support them …
Semantic MediaWiki 1.1 released
Apr 20 2008. The new version of Semantic MediaWiki, SMW 1.1, is now available for download. Upgrade from SMW 1.0(.1) is very simple and needs no special scripts, but you will need MediaWiki >=1.11 now. SMW1.1 was tested up to MW1.13 alpha. Besides the mandatory bugfixes, the new release brings various additional features. Read more …
Semantic Web Chicken Farms
Feb 8 2008. The Semantic Web community has long contemplated about its very own version of the infamous Chicken and Egg Problem: is it the semantic data or the application for that data that appears first? We always considered Semantic MediaWiki to be an answer to that issue, but now I learned that this is true in rather unexpected ways. More …
Happy New Year!
Jan 23 2008. While the world's new year is already three weeks old, and the Year of the Pig still lasts for almost three weeks, Germany has started a new year today: The Year of Mathematics (German link). Good astrological conditions for getting my dissertation done …
The Past and Future of Ideas
Jan 18 2008. As Lawrence Lessig – law professor, free-culture proponent, and gifted speaker – announced on Tuesday [1], his latest book «The Future of Ideas» is now free. Download it at the-future-of-ideas.com. Note that the latter should not be confused with what may once become the past of ideas.
Mislead by Intuition(ism)
Jan 14 2008. Sure, I could have seen that earlier. Instead, I spent quite some time pondering about how to use intuitionistic semantics as an approximation for faster ontological reasoning. I still claim that this is not completely stupid: intuitionistic logic is known to be strictly weaker than the classical Boolean calculus, and it thus allows us to conclude only some of the classical consequences of, say, an ontological theory. For that purpose it introduces weaker forms of implication and universal quantification, and does not allow for a classical negation operator. So couldn't there be an interesting fragment of intuitionistic logic that is easier to compute with, while still giving a lot of interesting consequences? Probably not – at least I will show below how even weak intuitionistic negation leads to computational intractability. Read more …
Semantic MediaWiki 1.0 is available
Dec 31 2007. After a lot of holiday programming, the first stable version of Semantic MediaWiki, SMW 1.0, is now available for download. Among numerous improvements, it introduces semantic RSS feeds, that will also see much use on this site. Read more …
How to escape McDonald’s
Nov 8 2007. Vegetarians like me of course tend to avoid certain vendors of digestibles (shall we say «food»?), but the industry seems to have misunderstood my wish of escaping them as often as possible:
Problems with LaTeX Beamer (and a fix)
Sept 24 2007. The otherwise nice beamer package for LaTeX recently broke on my (K)Ubuntu Feisty installation. The symptoms are pieces of text becoming hidden or invisible in certain beamer themes, as described in this bug report. Here is my workaround. Read more …
The meaning of life
Sept 18 2007. Ever wondered what it is all about? As usual, Wikipedia has the answers: «For other meanings of "life", see Life (disambiguation)» (found today on Wikipedia's article about life).
Using SMW for content management
Sept 15 2007. After quite some setup time, I finally got a first functional version of my homepage running. As this probably is also the first example of how to use Semantic MediaWiki as a personal content management system, I will take some time to explain the necessary setup steps. Read more …
PHP5 migration problems with MediaWiki
Sept 6 2007. Finally, I managed to fix the annoying PHP5 problems that prevented SMW from working properly on this site. Read more …
Improved site style
Jan 18 2007. Site cleaned up, fixed (most of) the style to work with IE. Open issues: upgrade to MediaWiki 1.9 and install Semantic MediaWiki. Unfortunately, this requires PHP 5 to be installed first.
Canon EOS 400D and Linux
Nov 2 2006. Added some notes on running Canon EOS 400D under Linux.
