Towards Higher-order OWL

Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura. Towards Higher-order OWL. KI, 34(3):417-421, 2020. [doi]

Abstract

Abstract is missing.