TY  - RPRT
TI  - Reasoning with Individuals for the Description Logic SHIQ
AU  - Ian Horrock
AU  - Ulrike Sattler
AU  - Stephan Tobies
PY  - 2000
UR  - https://arxiv.org/abs/cs/0005017
ID  - cs/0005017
ER  -