Régis Alenda Nicola Olivetti Camilla Schwind Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus http://arxiv.org/abs/0902.0899 2009 CoRR abs/0902.0899 db/journals/corr/corr0902.html#abs-0902-0899 informal publication