@inproceedings{DBLP:conf/dlog/HorrocksP03,
author = {Ian Horrocks and
Peter F. Patel-Schneider},
title = {Reducing OWL Entailment to Description Logic Satisfability},
booktitle = {Description Logics},
year = {2003},
ee = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/patel-schneider.pdf},
crossref = {DBLP:conf/dlog/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dlog/2003,
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Proceedings of the 2003 International Workshop on Description
Logics (DL2003), Rome, Italy September 5-7, 2003},
booktitle = {Description Logics},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {81},
year = {2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2011-11-11 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
