Ontology Approximation in Horn Description Logics

Anneke Bötcher, Carsten Lutz, Frank Wolter. Ontology Approximation in Horn Description Logics. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 1574-1580, ijcai.org, 2019. [doi]

Authors

Anneke Bötcher

This author has not been identified. Look up 'Anneke Bötcher' in Google

Carsten Lutz

This author has not been identified. Look up 'Carsten Lutz' in Google

Frank Wolter

This author has not been identified. Look up 'Frank Wolter' in Google