Large Language Model for OWL Proofs

Published in Proceedings of the ACM Web Conference 2026 (WWW 2026), 2026

Recommended citation: Yang, H., Chen, J., & Sattler, U. (2026). "Large Language Model for OWL Proofs." Proceedings of the ACM Web Conference 2026. https://arxiv.org/abs/2601.12444