@article{NguyenS10, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {Checking Consistency of an {ABox} w.r.t. Global Assumptions in {PDL}}, journal = {Fundamenta Informaticae}, volume = {102}, number = {1}, year = {2010}, pages = {97-113} }