A Generator for Description Logic Formulas

J. HladikJ. Hladik

Download

J. Hladik
A Generator for Description Logic Formulas
In I. Horrocks and U. Sattler and F. Wolter, eds., Proceedings of DL 2005, 2005. CEUR-WS

Details
Bibtex

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: AutomatentheorieAutomata Theory

@inproceedings{ Hladik-DL-2005,
  author = {J. {Hladik}},
  booktitle = {Proceedings of DL 2005},
  editor = {I. {Horrocks} and U. {Sattler} and F. {Wolter}},
  note = {Available from \texttt{ceur-ws.org}},
  publisher = {CEUR-WS},
  title = {A Generator for Description Logic Formulas},
  year = {2005},
}