Marek A. Suchenek Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case. 247-289 2000 25 J. Autom. Reasoning 4 db/journals/jar/jar25.html#Suchenek00