Conceptual Structures: Knowledge Architectures for Smart Applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings - Uta Priss, Simon Polovina, Richard Hill ((Lecture Notes in Computer Science))