Typed Higher-Order Variant of SROIQ - Why Not?
Martin Homola, Ján Kľuka, Vojtěch Svátek, Miroslav Vacura · 2014
Abstract. We provideTH(SROIQ) a typed higher-order extension ofSROIQ, that is itself a syntactic variant of SROIQ, i.e., it is polynomially reducible into it. We also discuss modelling scenarios in which such a language is useful. 1