Haoruo Zhao, Uli Sattler, Bijan Parsia. Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
@inproceedings{ZhaoSP19,
title = {Avoiding Subsumption Tests During Classification Using the Atomic Decomposition},
author = {Haoruo Zhao and Uli Sattler and Bijan Parsia},
year = {2019},
url = {http://ceur-ws.org/Vol-2373/paper-54.pdf},
researchr = {https://researchr.org/publication/ZhaoSP19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019},
editor = {Mantas Simkus and Grant E. Weddell},
volume = {2373},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}