BIROn - Birkbeck Institutional Research Online

Checking DL-Lite modularity with QBF solvers

Kontchakov, Roman and Ryzhikov, V. 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.
Official URL: http://ceur-ws.org/Vol-353/

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.

Item Type: Book Section
Additional Information: Series ISSN: 1613-0073
School or Research Centre: Birkbeck Schools and Research Centres > School of Business, Economics & Informatics > Computer Science and Information Systems
Depositing User: Administrator
Date Deposited: 14 Sep 2010 14:14
Last Modified: 13 May 2013 12:13
URI: http://eprints.bbk.ac.uk/id/eprint/1224

Archive Staff Only (login required)

Edit/View Item Edit/View Item