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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Calì, A, Gottlob, G, Lukasiewicz, T
Awduron Eraill: Paredaens, J
Fformat: Journal article
Iaith:English
Cyhoeddwyd: ACM 2009

Eitemau Tebyg