Inspired by a post from Denny Vrandečić, I came up with more quotes from pop culture, rewritten in logics – enjoy, and please correct me if anything should be wrong:

• ¬∃knows.TroubleI’veSeen (Spiritual)
• Bier ⊑ ¬∃gibtsAuf.Hawaii ⇒ Ich ⊑ (¬∃fahreNach.Hawaii)⊓(∀bleibe.Hier) (Kuhn, 1963)
• ¬(⋄I ⊑ ∃get.¬“⊨”) (Jagger/Richards, 1965)
• ¬∃ b:Business . b = ShowBusiness (Berlin, 1946)
• I ⊑ ∃shot.Sheriff ⊓ ∀shot.¬Deputy (Marley, 1973)
• ¬(⊥ ⊓ ¬HoundDog) (Presley, 1956)
• ¬∃ ¬Sunshine ← gone(She) (Withers, 1971)
• ∀x ∃y . needs(x, y) ∧ loves(x, y) (Blues Brothers, 1981)
• I ⊑ ∃feel.(Pretty ⊓ Witty ⊓ Gay) (Bernstein/Sondheim, 1961)

I recently switched to BibLaTeX and also convinced Michael.  Key advantages are: a huge supply of entry types and fields, comprehensive customizability, better Unicode awareness, and an exhaustive documentation.  Among the best features is that one can now properly cite URLs.  Not only is the url field supported (and displayed!) for almost all entry types, but also there is a standard way of saying when you last visited a URL – either a combination of the fields urlyear, urlmonth and urlday, or alternatively urldate = {YYYY-MM-DD}. The only tedium that remains is entering such dates. Users who, like me, use the AUCTeX Emacs mode for editing LaTeX and BibTeX, might find the following macro helpful. It is ready to be used in your ~/.emacs file:

The following line binds it to the keyboard shortcut C-c u:

With the default BibLaTeX style, the urldate field will render as (visited on MM/DD/YYYY).

Only today I became aware of microdata, the proposed way of embedding semantic annotations into HTML5. (Yes, they adopted the syntax that Michael also prefers for OMDoc, and which I personally hate, but I will get used to it.) Microdata are not to be confused with microformats, a poor man’s way of annotation that (ab)uses CSS classes and thus is compatible with HTML 4. Microdata are something like RDFa but

1. are slightly easier to use for people who don’t understand XML namespaces
   • granted, RDFa’s excessive reliance on XML namespaces makes it hard to parse, and makes it unbearably complex to copy/paste a fragment, which is an important use case for HTML5
2. allow for ad hoc pseudo-semantic markup when you do not use an ontology
   • What’s the point in annotating at all, then?
3. compatible with the non-XML syntax of HTML5 (which should have been ditched IMHO, but, well, in the interest of reactionary users and software, they decided differently)

The fight for the future of RDFa in HTML is going on, but what does that mean to KWARC? We have incorporated RDFa into OMDoc as a means of extending the metadata vocabularies. RDFa, originally designed for XHTML, is prepared for being integrated into any XML language, including OMDoc. HTML5 microdata are an integral part of the HTML5 specification and would not work in other XML languages. OK, but we present OMDoc documents as HTML to make them human-readable. In this output, we want to preserve the semantics of the OMDoc markup, and for that we had always been thinking about using RDFa. (We know exactly how to do it, but just have not yet implemented that step, though.) We could use HTML5 microdata instead, but:

1. RDFa has little software support so far, but microdata have none (beyond proofs of concept)
2. We generate XML-compliant HTML. The non-XML syntax of HTML5 supports embedded MathML, but I doubt that it will support parallel OpenMath markup, where elements from yet another namespace are embedded into the MathML formulae.
3. We generate HTML. The embedded annotations need not be authored manually, so they do not have to be easy to author.
4. We are interested in using well-defined ontologies to express semantics, so we don’t need ad hoc “semantic” markup.

What do you think?

The LNCS format does not print nicely on A4, because the LNCS book pages are much smaller. However, most preprints, your own LNCS papers, and papers you get for reviewing are formatted for A4. Printing one page per sheet wastes a lot of paper for the wide margin, but when you print two pages per sheet you can hardly read the small text any more. Here is a fix: