Robert Hoehndorf

TAR: Neural Logical Reasoning across TBox and ABox

2022 · arXiv (Cornell University)

Many ontologies, i.e., Description Logic (DL) knowledge bases, have been developed to provide rich knowledge about various domains. An ontology consists of an ABox, i.e., assertion axioms between two entities or between a concept and …