A Generator for Description Logic Formulas

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A Generator for Description Logic Formulas

J. HladikJ. Hladik
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
  • 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},
}