Remarks on Logic for Process Descriptions in Ontological Reasoning : A Drug Interaction Ontology ( DIO ) Case Study