Franz Baader Ulrike Sattler Knowledge Representation in Process Engineering. 74-78 1996 conf/dlog/1996 Description Logics db/conf/dlog/dlog1996.html#BaaderS96a