Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2008) Checking DL-Lite modularity with QBF solvers. In: Baader, F. and Lutz, C. and Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353. CEUR Workshop Proceedings.
Abstract
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satis ability of quanti ed Boolean formulas and how o -the-shelf QBF solvers perform on a number of typical DL-Litebool ontologies.
Metadata
| Item Type: | Book Section |
|---|---|
| Additional Information: | Series ISSN: 1613-0073 |
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Administrator |
| Date Deposited: | 14 Sep 2010 14:14 |
| Last Modified: | 09 Aug 2023 12:29 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/1224 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
