DBLP Record 'conf/dlog/HorrocksLTB04'

BibTeX

@inproceedings{DBLP:conf/dlog/HorrocksLTB04,
  author    = {Ian Horrocks and
               Lei Li and
               Daniele Turi and
               Sean Bechhofer},
  title     = {The Instance Store: DL Reasoning with Large Numbers of Individuals},
  booktitle = {Description Logics},
  year      = {2004},
  ee        = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/04Horrocks-final.pdf},
  crossref  = {DBLP:conf/dlog/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dlog/2004,
  editor    = {Volker Haarslev and
               Ralf M{\"o}ller},
  title     = {Proceedings of the 2004 International Workshop on Description
               Logics (DL2004), Whistler, British Columbia, Canada, June
               6-8, 2004},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {104},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}