  This paper presents a software implementation of a general framework for time
series interpretation based on abductive reasoning. The software provides a
data model and a set of algorithms to make inference to the best explanation of
a time series, resulting in a description in multiple abstraction levels of the
processes underlying the time series. As a proof of concept, a comprehensive
knowledge base for the electrocardiogram (ECG) domain is provided, so it can be
used directly as a tool for ECG analysis. This tool has been successfully
validated in several noteworthy problems, such as heartbeat classification or
atrial fibrillation detection.
