%0 Book Section %1 conf/dlog/McGuinnessP03 %A McGuinness, Deborah L. %A Patel-Schneider, Peter F. %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 265-281 %T From Description Logic Provers to Knowledge Representation Systems. %U http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html#McGuinnessP03 %@ 0-521-78176-0

@incollection{conf/dlog/McGuinnessP03, added-at = {2017-11-20T00:00:00.000+0100}, author = {McGuinness, Deborah L. and Patel-Schneider, Peter F.}, biburl = {https://www.bibsonomy.org/bibtex/2d56ff17678a4fcf8f1d5e1348183cf2d/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 = {1bf77673ba6fa9b74b03752fbef589ee}, intrahash = {d56ff17678a4fcf8f1d5e1348183cf2d}, isbn = {0-521-78176-0}, keywords = {dblp}, pages = {265-281}, publisher = {Cambridge University Press}, timestamp = {2017-12-07T22:31:56.000+0100}, title = {From Description Logic Provers to Knowledge Representation Systems.}, url = {http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html#McGuinnessP03}, year = 2003 }