Adding Numbers to the SHIQ Description Logic: First Results

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/kr/Lutz02,

 author    = {Carsten Lutz},
 title     = {Adding Numbers to the SHIQ Description Logic: First Results},
 booktitle = {KR},
 year      = {2002},
 pages     = {191-202},
 crossref  = {DBLP:conf/kr/2002},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Personal tools