no code implementations • 15 May 2024 • Tilman Hinnerichs, Robin Manhaeve, Giuseppe Marra, Sebastijan Dumancic
Neuro-symbolic systems (NeSy), which claim to combine the best of both learning and reasoning capabilities of artificial intelligence, are missing a core property of reasoning systems: Declarativeness.
1 code implementation • 16 Aug 2022 • Zhenwei Tang, Tilman Hinnerichs, Xi Peng, Xiangliang Zhang, Robert Hoehndorf
Many ontologies, i. e., Description Logic (DL) knowledge bases, have been developed to provide rich knowledge about various domains, and a lot of them are based on ALC, i. e., a prototypical and expressive DL, or its extensions.