Decidable Gdel Description Logics without the Finitely-Valued Model Property.

Stefan Borgwardt, Felix Distel, Rafael Pealoza

Browse the full KR paper archive.