Model Change for Description Logic Concepts
Este artigo investiga o problema de modificar conceitos de lógica descritiva (EL e ALC) com base em modelos representados como interpretações pontuadas, definindo formalmente os conceitos de evicção, recepção e revisão, e demonstrando que a revisão não se reduz a uma simples combinação das outras duas operações.