Next Steps for Description Logics of Minimal Knowledge and Negation as Failure
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/KeS08,
author = {Peihong Ke and
Ulrike Sattler},
title = {Next Steps for Description Logics of Minimal Knowledge and
Negation as Failure},
booktitle = {Description Logics},
year = {2008},
ee = {http://ceur-ws.org/Vol-353/KeSattler.pdf},
crossref = {DBLP:conf/dlog/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
