Automatically Extracting OWL Versions of FOL Ontologies. - Torsten Hahmann; Robert W. Powell II (ISWC, 2021)