Logical Separability of Incomplete Data under Ontologies
Bibtex record
@inproceedings{KR2020-52,
title = {{Logical Separability of Incomplete Data under Ontologies}},
author = {Jung, Jean Christoph and Lutz, Carsten and Pulcini, Hadrien and Wolter, Frank},
booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}},
pages = {517--528},
year = {2020},
month = {9},
doi = {10.24963/kr.2020/52},
url = {https://doi.org/10.24963/kr.2020/52},
}