A Kernel Revision Operator for Terminologies
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/QiHHP08,
author = {Guilin Qi and
Peter Haase and
Zhisheng Huang and
Jeff Z. Pan},
title = {A Kernel Revision Operator for Terminologies},
booktitle = {Description Logics},
year = {2008},
ee = {http://ceur-ws.org/Vol-353/QiHaaseHuangPan.pdf},
crossref = {DBLP:conf/dlog/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
