Jan Hladik. A Generator for Description Logic Formulas. In Ian Horrocks, Ulrike Sattler, Frank Wolter, editors, Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. Volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
Abstract is missing.