%0 Journal Article %1 090385 %A Horrocks, I. %A Sattler, U. %D 1999 %J Journal of Logic and Computation %K imported %N 3 %P 385--410 %T A Description Logic with Transitive and Inverse Roles and Role Hierarchies %V 9

@article{090385, added-at = {2007-11-23T14:13:20.000+0100}, author = {Horrocks, I. and Sattler, U.}, biburl = {https://www.bibsonomy.org/bibtex/2454df62248c0675cc80df30a43bd0f6b/ramaz}, interhash = {2ab1ba23820a95f4603ecf990020e0de}, intrahash = {454df62248c0675cc80df30a43bd0f6b}, journal = {Journal of Logic and Computation}, keywords = {imported}, number = 3, owner = {Mauro}, pages = {385--410}, timestamp = {2007-11-23T14:13:33.000+0100}, title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies}, volume = 9, year = 1999 }