A general datalog-based framework for tractable query answering over ontologies.

In this paper, we introduce a family of expressive extensions of Datalog, called Datalog±, as a new paradigm for query answering over ontologies. The Datalog± family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontology querying. W...

全面介紹

書目詳細資料
Main Authors: Calì, A, Gottlob, G, Lukasiewicz, T
其他作者: Paredaens, J
格式: Journal article
語言:English
出版: ACM 2009

相似書籍