Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.

Stefan Schlobach, Ronald Cornet

Browse the full IJCAI paper archive.