%0 Conference Paper %1 Gore2007 %A Goré, Rajeev %A Nguyen, Linh Anh %B Proc. TABLEAUX 07 %D 2007 %K %P 133-148 %T EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies %V 4548

@inproceedings{Gore2007, added-at = {2012-07-01T20:55:36.000+0200}, author = {Gor{\'e}, Rajeev and Nguyen, Linh Anh}, biburl = {https://www.bibsonomy.org/bibtex/26f859a083d2d3aab08ce6e5ab37f5567/ralenda}, booktitle = {Proc. TABLEAUX 07}, groups = {public}, interhash = {aa383e71dcc000623a6844967d2c2433}, intrahash = {6f859a083d2d3aab08ce6e5ab37f5567}, keywords = {}, pages = {133-148}, series = {LNAI}, timestamp = {2012-07-01T20:55:36.000+0200}, title = {EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies}, username = {ralenda}, volume = 4548, year = 2007 }