TY  - RPRT
TI  - Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
AU  - Bernardo Cuenca Grau
AU  - Boris Motik
AU  - Giorgos Stoilos
AU  - Ian Horrocks
PY  - 2014
DO  - 10.1613/jair.3470
UR  - https://arxiv.org/abs/1401.4604
ID  - 1401.4604
ER  -