Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar. The DATALOG:::DL::: Combination of Deduction Rules and Description Logics. Computational Intelligence, 23(3):356-372, 2007. [doi]
@article{MeiLBLB07,
title = {The DATALOG:::DL::: Combination of Deduction Rules and Description Logics},
author = {Jing Mei and Zuoquan Lin and Harold Boley and Jie Li and Virendrakumar C. Bhavsar},
year = {2007},
doi = {10.1111/j.1467-8640.2007.00311.x},
url = {http://dx.doi.org/10.1111/j.1467-8640.2007.00311.x},
tags = {rule-based, rules, C++, logic, Datalog},
researchr = {https://researchr.org/publication/MeiLBLB07},
cites = {0},
citedby = {0},
journal = {Computational Intelligence},
volume = {23},
number = {3},
pages = {356-372},
}