On Finite Entailment of Non-Local Queries in Description Logics
Bibtex record
@inproceedings{KR2020-43, title = {{On Finite Entailment of Non-Local Queries in Description Logics}}, author = {Gogacz, Tomasz and Gutiérrez-Basulto, Víctor and Gutowski, Albert and Ibáñez-García, Yazmín and Murlak, Filip}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {424--433}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/43}, url = {https://doi.org/10.24963/kr.2020/43}, }