%0 Conference Paper %1 conf/dlog/HorrocksG97 %A Horrocks, Ian %A Gough, Graham %B Description Logics %D 1997 %E Brachman, Ronald J. %E Donini, Francesco M. %E Franconi, Enrico %E Horrocks, Ian %E Levy, Alon Y. %E Rousset, Marie-Christine %K dblp %T Description Logics with Transitive Roles. %U http://dblp.uni-trier.de/db/conf/dlog/dlog1997.html#HorrocksG97 %V 410

@inproceedings{conf/dlog/HorrocksG97, added-at = {2022-04-12T00:00:00.000+0200}, author = {Horrocks, Ian and Gough, Graham}, biburl = {https://www.bibsonomy.org/bibtex/2480d31b430c31ba4b71f5cf2a8544a9b/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/1997}, editor = {Brachman, Ronald J. and Donini, Francesco M. and Franconi, Enrico and Horrocks, Ian and Levy, Alon Y. and Rousset, Marie-Christine}, ee = {http://dl.kr.org/dl97/proceedings/horrocks.ps.gz}, interhash = {4392102e031010418770cd9556e7a606}, intrahash = {480d31b430c31ba4b71f5cf2a8544a9b}, keywords = {dblp}, series = {URA-CNRS}, timestamp = {2024-04-10T00:59:59.000+0200}, title = {Description Logics with Transitive Roles.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog1997.html#HorrocksG97}, volume = 410, year = 1997 }