Tractable Queries for Lightweight Description Logics
Complexity and Expressive Power of Logic Programming