Diagrammatic representation and inference : 5th International Conference, Diagrams 2008 : Herrsching, Germany, September,19-21, 2008 : proceedings - Stapleton, Gem; Howse, John; Lee, John (Lecture notes in computer science. Lecture notes in artificial intelligence ;, 2008)