Description Logic Reasoning with Syntactic Updates

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/otm/Halaschek-WienerPS06,

 author    = {Christian Halaschek-Wiener and
              Bijan Parsia and
              Evren Sirin},
 title     = {Description Logic Reasoning with Syntactic Updates},
 booktitle = {OTM Conferences (1)},
 year      = {2006},
 pages     = {722-737},
 ee        = {http://dx.doi.org/10.1007/11914853_44},
 crossref  = {DBLP:conf/otm/2006-1},
 bibsource = {DBLP, http://dblp.uni-trier.de}

} \end{bibtex}

Personal tools