Axiomatisation of general concept inclusions from finite interpretations

Daniel Borchmann, Felix Distel, Francesco Kriegel. Axiomatisation of general concept inclusions from finite interpretations. Journal of Applied Non-Classical Logics, 26(1):1-46, 2016. [doi]

Abstract

Abstract is missing.