Decidable Gödel Description Logics without the Finitely-Valued Model Property

Open in new window