Work

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)