TY  - RPRT
TI  - Large-scale Ontological Reasoning via Datalog
AU  - Mario Alviano
AU  - Marco Manna
PY  - 2020
UR  - https://arxiv.org/abs/2003.09698
ID  - 2003.09698
ER  -