@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}
}