Finding Maximally Satisfiable Terminologies for the Description Logic ALC.

Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan

Browse the full AAAI paper archive.