Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice