Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18,2000, Proceedings - Ganter, Bernhard; Mineau, Guy W. (Lecture notes in computer science,. Lecture notes in artificial intelligence, 2000)