A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm

Datalog(^pm ) is a family of ontology languages that combine good computational properties with high expressive power. Datalog(^pm ) languages are provably able to capture many relevant Semantic Web languages. In this paper we consider the class of weakly-sticky (WS) Datalog(^pm ) programs, which allow for certain useful forms of joins in...More