TermLog: a Logic for Terminological Knowledge
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ismis/DoniniL88,
author = {Francesco M. Donini and
Maurizio Lenzerini},
title = {TermLog: a Logic for Terminological Knowledge},
booktitle = {ISMIS},
year = {1988},
pages = {408-417},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
