Logics for Managing Medical Terminologies -- Ontology for Task-Based Clinical Guidelines