%0 Conference Paper %1 Motik2006 %A Motik, Boris %A Sattler, Ulrike %B Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006) %C Phnom Penh, Cambodia %D 2006 %E Hermann, Miki %E Voronkov, Andrei %I Springer %K imported %P 227-241 %T A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes %V 4246

@inproceedings{Motik2006, added-at = {2007-03-28T16:44:39.000+0200}, address = {Phnom Penh, Cambodia}, author = {Motik, Boris and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/2e6585c0abef1987d1e7e13b6b97e7752/moustaki}, booktitle = {Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006)}, description = {My bibtex file}, editor = {Hermann, Miki and Voronkov, Andrei}, interhash = {1ad0a68ff670c3d858ead6dd91d69ab1}, intrahash = {e6585c0abef1987d1e7e13b6b97e7752}, keywords = {imported}, month = {November}, owner = {moustaki}, pages = {227-241}, pdf = {DL/ms06kaon2.pdf}, publisher = {Springer}, series = {LNCS}, timestamp = {2007-03-28T16:44:42.000+0200}, title = {A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes}, volume = 4246, year = 2006 }