Blog
From korrekt.org
This is my, well, semi-blog. There is currently no way of adding comments, which can be only sent to me via email (Denny and I will address this remaining limitation when we find the time). You can also obtain these notes as an RSS feed.
Contents |
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).
Older entries …
