TY  - RPRT
TI  - FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
AU  - Tilman Hinnerichs
AU  - Zhenwei Tang
AU  - Xi Peng
AU  - Xiangliang Zhang
AU  - Robert Hoehndorf
PY  - 2024
UR  - https://arxiv.org/abs/2208.07628
ID  - 2208.07628
ER  -