Description Logic Reasoning for Dynamic ABoxes

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/dlog/Halaschek-WienerPSK06,

 author    = {Christian Halaschek-Wiener and
              Bijan Parsia and
              Evren Sirin and
              Aditya Kalyanpur},
 title     = {Description Logic Reasoning for Dynamic ABoxes},
 booktitle = {Description Logics},
 year      = {2006},
 ee        = {http://www.ceur-ws.org/Vol-189/submission_27.pdf},
 crossref  = {DBLP:conf/dlog/2006},
 bibsource = {DBLP, http://dblp.uni-trier.de}

} \end{bibtex}