no code implementations • 9 Mar 2020 • Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
Testing containment of queries is a fundamental reasoning task in knowledge representation.