DMCA
A Generator for Description Logic Formulas
Cached
Download Links
- [lat.inf.tu-dresden.de]
- [www.ceur-ws.org]
- [sunsite.informatik.rwth-aachen.de]
- [ceur-ws.org]
- [www.inf.unibz.it]
- [ftp.informatik.rwth-aachen.de]
- DBLP
Other Repositories/Bibliography
by
Theoretical Computer Science
,
Tu Dresden
BibTeX
@MISC{Science_agenerator,
author = {Theoretical Computer Science and Tu Dresden},
title = {A Generator for Description Logic Formulas},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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. 1
