Tag
This paper studies Controlled Query Evaluation (CQE) for Description Logic ontologies with epistemic dependency policies, introducing a new semantics based on minimal policy violation that achieves polynomial-time query answering for DL-Lite ontologies.
This paper studies rational closure for the DL-Lite family of description logics, providing a plug-in architecture for efficient non-monotonic reasoning and conjunctive query answering with minimal computational overhead.