Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker. Description logic programs: combining logic programs with description logic. In WWW. pages 48-57, 2003. [doi]
@inproceedings{GrosofHVD03,
title = {Description logic programs: combining logic programs with description logic},
author = {Benjamin N. Grosof and Ian Horrocks and Raphael Volz and Stefan Decker},
year = {2003},
doi = {10.1145/775152.775160},
url = {http://doi.acm.org/10.1145/775152.775160},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/GrosofHVD03},
cites = {0},
citedby = {0},
pages = {48-57},
booktitle = {WWW},
}