Auditing description-logic-based medical terminological systems by detecting equivalent concept definitions.

Auditing description-logic-based medical terminological systems by detecting equivalent concept definitions.