%0 Book Section %1 conf/dlog/Horrocks03 %A Horrocks, Ian %B Description Logic Handbook %D 2003 %E Baader, Franz %E Calvanese, Diego %E McGuinness, Deborah L. %E Nardi, Daniele %E Patel-Schneider, Peter F. %I Cambridge University Press %K dblp %P 306-346 %T Implementation and Optimization Techniques. %U http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html#Horrocks03 %@ 0-521-78176-0

@incollection{conf/dlog/Horrocks03, added-at = {2017-11-20T00:00:00.000+0100}, author = {Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/24bb54ac6b5af378e0b99d7e5f09d4f3f/dblp}, booktitle = {Description Logic Handbook}, crossref = {conf/dlog/2003handbook}, editor = {Baader, Franz and Calvanese, Diego and McGuinness, Deborah L. and Nardi, Daniele and Patel-Schneider, Peter F.}, interhash = {56f1e4a59ac5ea9f1ac66a59e0843a6b}, intrahash = {4bb54ac6b5af378e0b99d7e5f09d4f3f}, isbn = {0-521-78176-0}, keywords = {dblp}, pages = {306-346}, publisher = {Cambridge University Press}, timestamp = {2017-12-07T22:31:56.000+0100}, title = {Implementation and Optimization Techniques.}, url = {http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html#Horrocks03}, year = 2003 }