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.