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

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Calì, A, Gottlob, G, Lukasiewicz, T
অন্যান্য লেখক: Paredaens, J
বিন্যাস: Journal article
ভাষা:English
প্রকাশিত: ACM 2009