Semantic characterization of rational closure: from propositional logic to description logics

From MaRDI portal