Revising General Knowledge Bases in Description Logics

Open in new window