BIROn - Birkbeck Institutional Research Online

Checking DL-Lite modularity with QBF solvers

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.

Full text not available from this repository.

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

6 month trend
0Downloads
6 month trend
365Hits

Additional statistics are available via IRStats2.

Archive Staff Only (login required)

Edit/View Item
Edit/View Item