Automated reasoning support for first-order ontologies

Peter Baumgartner^*, Fabian M. Suchanek

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review