Search Results for author: Tilman Hinnerichs

Found 1 papers, 1 papers with code

FALCON: Faithful Neural Semantic Entailment over ALC Ontologies

1 code implementation16 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.