Skip to content

Translating FOL-theories into SROIQ-Tboxes.

Fatima Danash, Danielle Zibelin

Year2023
ProceedingsSAC

Browse the full SAC paper archive.