TY  - RPRT
TI  - Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes
AU  - Ulrich Furbach
AU  - Claudia Schon
PY  - 2014
UR  - https://arxiv.org/abs/1405.1192
ID  - 1405.1192
ER  -