DL clog: A Hybrid System Integrating Rules and Description Logics with Circumscription
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/YangC07,
author = {Fangkai Yang and
Xiaoping Chen},
title = {DL_clog: A Hybrid System Integrating Rules and Description
Logics with Circumscription},
booktitle = {Description Logics},
year = {2007},
ee = {http://ceur-ws.org/Vol-250/paper_43.pdf},
crossref = {DBLP:conf/dlog/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
