BitSim: An Algebraic Similarity Measure for Description Logics Concepts

TL;DR

This paper introduces BitSim, an algebraic similarity measure for concept definitions in Description Logics, using bit-codes to quantify semantic similarity with a formal interpretation.

Contribution

It presents a novel algebraic interpretation function and similarity measure for DL concepts, bridging semantic interpretation with algebraic string representations.

Findings

Defines a unique bit-code for DL concepts

Establishes a semantic correspondence with model-theoretic interpretation

Provides a detailed analysis of the algebraic similarity measure

Abstract

In this paper, we propose an algebraic similarity measure {\sigma}BS (BS stands for BitSim) for assigning semantic similarity score to concept definitions in ALCH+ an expressive fragment of Description Logics (DL). We define an algebraic interpretation function, I_B, that maps a concept definition to a unique string ({\omega}_B) called bit-code) over an alphabet {\Sigma}_B of 11 symbols belonging to L_B - the language over P B. IB has semantic correspondence with conventional model-theoretic interpretation of DL. We then define {\sigma}_BS on L_B. A detailed analysis of I_B and {\sigma}_BS has been given.