Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel Description Logics without the Finitely-Valued Model Property
KR, 2014.
@inproceedings{KR-2014-BorgwardtDP, author = "Stefan Borgwardt and Felix Distel and Rafael Peñaloza", booktitle = "{Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning}", ee = "http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7803", isbn = "978-1-57735-657-8", publisher = "{AAAI Press}", title = "{Decidable Gödel Description Logics without the Finitely-Valued Model Property}", year = 2014, }