Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers - Harrie Swart, Ewa Or.owska, Gunther Schmidt, Marc Roubens ((Lecture Notes in Computer Science))