Stefano Spaccapietra Journal on Data Semantics IV 3730 2005 3-540-31001-0 J. Data Semantics IV Lecture Notes in Computer Science Springer db/journals/jods/jods4.html