Towards Higher-order OWL

Autor:	Ján Kľuka, Miroslav Vacura, Petra Hozzová, Vojtěch Svátek, Martin Homola
Rok vydání:	2020
Předmět:	Theoretical computer science Description logic Artificial Intelligence Computer science Order (business) 020204 information systems 0202 electrical engineering electronic engineering information engineering Foundation (engineering) 020207 software engineering 02 engineering and technology
Zdroj:	KI - Künstliche Intelligenz. 34:417-421
ISSN:	1610-1987 0933-1875
DOI:	10.1007/s13218-020-00665-8
Popis:	We summarize our ongoing endeavour towards proposing a suitable higher-order description logic that could serve as the semantic foundation for higher-order OWL, similarly to $$\mathcal {SROIQ}$$ serving as the semantic foundation of regular OWL.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3e6e5327923dc4f3bcd6225e56ed77b3 https://doi.org/10.1007/s13218-020-00665-8 Zobrazit plný text záznamu Full text from SpringerLink