DBLP Record 'conf/dlog/McGuinnessP03'

BibTeX

@inproceedings{DBLP:conf/dlog/McGuinnessP03,
  author    = {Deborah L. McGuinness and
               Peter F. Patel-Schneider},
  title     = {From Description Logic Provers to Knowledge Representation
               Systems},
  booktitle = {Description Logic Handbook},
  year      = {2003},
  pages     = {265-281},
  crossref  = {DBLP:conf/dlog/2003handbook},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dlog/2003handbook,
  editor    = {Franz Baader and
               Diego Calvanese and
               Deborah L. McGuinness and
               Daniele Nardi and
               Peter F. Patel-Schneider},
  title     = {The Description Logic Handbook: Theory, Implementation,
               and Applications},
  booktitle = {Description Logic Handbook},
  publisher = {Cambridge University Press},
  year      = {2003},
  isbn      = {0-521-78176-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}