A Four-Valued Semantics for Terminological Logics
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/ai/Patel-Schneider89a,
author = {Peter F. Patel-Schneider},
title = {A Four-Valued Semantics for Terminological Logics},
journal = {Artif. Intell.},
volume = {38},
number = {3},
year = {1989},
pages = {319-351},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
