Towards Typed Higher-Order Description Logics.
Martin Homola, Ján Kľuka, Vojtěch Svátek, Miroslav Vacura · 2013
Abstract. We introduce a typed higher-order description logic specifically intended for reasoning about ontological coherence of domain models, motivated by a practical use case from linked data vocabularies.