# A Generator for Description Logic Formulas

A Generator for Description Logic Formulas
In I. Horrocks and U. Sattler and F. Wolter, eds., Proceedings of DL 2005, 2005. CEUR-WS
• KurzfassungAbstract
We introduce a schema for generating random formulas for different description logics, which extends an existing pattern for modal logics. Using the DL reasoners FaCT and RACER, we test the difficulty of these formulas, and it turns out that the properties that make a formula in an expressive DL hard are quite different from those known for ALC formulas.
• Bemerkung: Note: Available from ceur-ws.org
• Forschungsgruppe:Research Group: Automatentheorie
```@inproceedings{ Hladik-DL-2005,