A Framework for Reasoning about Dynamic Axioms in Description Logics.

Bartosz Bednarczyk, Stphane Demri, Alessio Mansutti

Browse the full IJCAI paper archive.