"4"^^ . . . "Homola, M." . "2"^^ . "ontology; background models; PURO; metamodelling"@en . "Typed Higher-Order Variant of SROIQ - Why Not?" . . "[27DCD6F81CC6]" . . "Main topics of the document: ontology; background models; PURO; metamodelling" . "K\u013Euka, J." . "12"^^ . "V\u00EDde\u0148" . "2014-07-17+02:00"^^ . "Informal Proceedings of the 27th International Workshop on Description Logics" . . "31140" . . "Main topics of the document: ontology; background models; PURO; metamodelling"@en . . . . "1613-0073" . "RIV/61384399:31140/14:00045127" . . "Typed Higher-Order Variant of SROIQ - Why Not?" . "51575" . "Typed Higher-Order Variant of SROIQ - Why Not?"@en . "C\u00E1chy" . . "P(7E12042)" . . . "http://ceur-ws.org/Vol-1193/paper_56.pdf" . "Sv\u00E1tek, Vojt\u011Bch" . "CEUR" . . "Vacura, Miroslav" . "Typed Higher-Order Variant of SROIQ - Why Not?"@en . "RIV/61384399:31140/14:00045127!RIV15-MSM-31140___" . . . . .