TY  - RPRT
TI  - A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
AU  - A. Borgida
AU  - P. F. Patel-Schneider
PY  - 1994
UR  - https://arxiv.org/abs/cs/9406101
ID  - cs/9406101
ER  -