An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web