Model-based Revision Operators for Terminologies in Description Logics

Open in new window