On Instance-level Update and Erasure in Description Logic Ontologies | UPT Perpustakaan UHAMKA