complexity, concrete domains, Description Logic, Description Logics, DL-Lite, explanation, Ontology-Based Query Answering, proofs, query rewriting.
