Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.

Régis Alenda Nicola Olivetti Camilla Schwind

Published in: TABLEAUX (2009)

Keyphrases

modal logic
functional dependencies
number restrictions
description logics
similarity measure
fuzzy relations
edit distance
comparative analysis
decision procedures
real time
image retrieval
natural language
distance measure
case study
semantic similarity
inference rules
similarity metric