Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Open in new window