Franz Baader Engineering of Logics for the Content-Based Representation of Information. 2-3 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=2 2004 conf/jelia/2004 JELIA db/conf/jelia/jelia2004.html#Baader04