DBLP:journals/logcom/HorrocksS99

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/logcom/HorrocksS99, title={A Description Logic with Transitive and Inverse Roles and Role Hierarchies}, pages={385-410}, year={1999}, volume={9}, journal={J. Log. Comput.}, number={3}, ee={http://www3.oup.co.uk/logcom/hdb/Volume_09/Issue_03/090385.sgm.abs.html}, url={http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom9.html#HorrocksS99}, author={Ian Horrocks and Ulrike Sattler} }\end{bibtex}