Query Answering in Lattice-based Description Logic

Krishna Manoorkar, Ruoding Wang

Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking…