Ken Kaneiwa. A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases. New Generation Comput., 24(1):29-51, 2005. [doi]
@article{Kaneiwa05,
title = {A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases},
author = {Ken Kaneiwa},
year = {2005},
url = {http://www.ohmsha.co.jp/ngc/abstract/24-1-2.htm},
researchr = {https://researchr.org/publication/Kaneiwa05},
cites = {0},
citedby = {0},
journal = {New Generation Comput.},
volume = {24},
number = {1},
pages = {29-51},
}