Return to Article Details The Complexity of Circumscription in DLs Download Download PDF