OpenAlex
Inconsistency-tolerant reasoning with OWL DL
Work