Abstraction on clinical data sequences: an object-oriented data model and a query language based on the Event Calculus