Beth Definability in Expressive Description Logics.

Balder ten Cate, Enrico Franconi, Inan Seylan

Browse the full IJCAI paper archive.