Author:
Publication: Artificial Intelligence
How many diagnoses do we need?
On the logical properties of the nonmonotonic description logic DLN