%0 Journal Article %1 journals/fuin/NguyenS10 %A Nguyen, Linh Anh %A Szalas, Andrzej %D 2010 %J Fundam. Informaticae %K dblp %N 1 %P 97-113 %T Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. %U http://dblp.uni-trier.de/db/journals/fuin/fuin102.html#NguyenS10 %V 102

@article{journals/fuin/NguyenS10, added-at = {2020-09-18T00:00:00.000+0200}, author = {Nguyen, Linh Anh and Szalas, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2c691941d3999c5d3283918159b2a051c/dblp}, ee = {https://doi.org/10.3233/FI-2010-299}, interhash = {b526a1139239251793de72e359ae4b85}, intrahash = {c691941d3999c5d3283918159b2a051c}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 1, pages = {97-113}, timestamp = {2020-09-19T11:37:37.000+0200}, title = {Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin102.html#NguyenS10}, volume = 102, year = 2010 }