Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family