1 paper
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…