Toward Updates in Description Logics Mathieu Roger, Ana Simonet, and Michel Simonet   View Paper (PDF)   Return to Papers Abstract The use of DL systems to add reasoning capabilities to database is now a major trend in convergence between knowledge base and database system but is still confronted with the issue of data update. DL systems provide fact additions and retractions but no real object update mechanisms. We present a semantics for update that favours attribute values to concept membership and deals with incomplete information. After relating our work to an existing previous one on update semantics we address implementation issues. DiSC'03 © 2003 Association for Computing Machinery