Piero Bonatti

DL^N: a utilitarian nonmonotonic description logic