Technical Reports 



   Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
by Régis Alenda, Nicola Olivetti, and Camilla Schwind (pdf)

   Reasoning about comparative similarity in ontologies: a first step
by Régis Alenda, Nicola Olivetti, and Camilla Schwind (pdf)

   Tableau calculi for CSL over minspaces
by Régis Alenda, Nicola Olivetti, Camilla Schwind, and Dmitry Tishkovsky (pdf)


logo du LSIS Laboratoire des Sciences de l'Information et des Systèmes U3 : Université Aix-Marseille