Combined FO rewritability for conjunctive query answering in DL-Lite
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2009
Standard description logic (DL) reasoning services such as satisfiability and subsumption mainly aim to support TBox design. When the design stage is over and the TBox is used in an actual application, it is usually combined with instance data stored in an ABox, and therefore query answering becomes the most important