%0 Conference Paper %1 Haarslev01a %A Haarslev, Volker %A Möller, Ralf %A Turhan, Anni-Yasmin %B IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning %C London, UK %D 2001 %I Springer-Verlag %K DLs RACER impresso %P 61--75 %T Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics %@ 3-540-42254-4

@inproceedings{Haarslev01a, added-at = {2008-02-20T03:42:09.000+0100}, address = {London, UK}, author = {Haarslev, Volker and M{\"o}ller, Ralf and Turhan, Anni-Yasmin}, biburl = {https://www.bibsonomy.org/bibtex/22833a81df56336acfd36e124d845d873/marciomr}, booktitle = {IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning}, description = {Artigos e livros que tenho impresso}, interhash = {bc93a9575aeef3948cb7401d4798e374}, intrahash = {2833a81df56336acfd36e124d845d873}, isbn = {3-540-42254-4}, keywords = {DLs RACER impresso}, pages = {61--75}, publisher = {Springer-Verlag}, timestamp = {2008-02-20T04:54:32.000+0100}, title = {Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}, year = 2001 }