BibTeX record conf/dlog/HorrocksG97

download as .bib file

@inproceedings{DBLP:conf/dlog/HorrocksG97,
  author    = {Ian Horrocks and
               Graham Gough},
  title     = {Description Logics with Transitive Roles},
  booktitle = {Proceedings of the 1997 International Workshop on Description Logics,
               Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
               en Informatique {LRI}},
  year      = {1997},
  crossref  = {DBLP:conf/dlog/1997},
  url       = {http://dl.kr.org/dl97/proceedings/horrocks.ps.gz},
  timestamp = {Thu, 11 Mar 2004 11:07:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dlog/HorrocksG97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dlog/1997,
  editor    = {Ronald J. Brachman and
               Francesco M. Donini and
               Enrico Franconi and
               Ian Horrocks and
               Alon Y. Levy and
               Marie{-}Christine Rousset},
  title     = {Proceedings of the 1997 International Workshop on Description Logics,
               Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
               en Informatique {LRI}},
  series    = {{URA-CNRS}},
  volume    = {410},
  year      = {1997},
  timestamp = {Thu, 11 Mar 2004 11:07:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dlog/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}