Autor:	Alviano, Mario, Manna, Marco
Rok vydání:	2020
Předmět:	Computer Science - Artificial Intelligence
Druh dokumentu:	Working Paper
Popis:	Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog queries. This paper surveys some of these compilations, and in particular the one addressing queries over Horn-$\mathcal{SHIQ}$ knowledge bases and its implementation in DLV2 enanched by a new version of the Magic Sets algorithm. Comment: 15 pages, 2 tables, 1 figure, 2 algorithms, under review for the book Studies on the Semantic Web Series
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2003.09698 Zobrazit plný text záznamu View this record from Arxiv