Avoiding Subsumption Tests During Classification Using the Atomic Decomposition

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]

Authors

Haoruo Zhao

This author has not been identified. Look up 'Haoruo Zhao' in Google

Uli Sattler

This author has not been identified. Look up 'Uli Sattler' in Google

Bijan Parsia

This author has not been identified. Look up 'Bijan Parsia' in Google