Large Language Model for OWL Proofs
Hui Yang; Jiaoyan Chen; Uli Sattler
- Published
- Publisher
- ACM
- Journal / collection
- Proceedings of the ACM Web Conference 2026
- Research area
- AI & compute
- Source type
- Conference paper
- DOI
- 10.1145/3774904.3792395
The original publisher provides the full text and its access options.
Cite this source
Hui Yang; Jiaoyan Chen; Uli Sattler. Large Language Model for OWL Proofs. Proceedings of the ACM Web Conference 2026. 2026-04-12. https://doi.org/10.1145/3774904.3792395