%0 Conference Paper %1 Kazakov09 %A Kazakov, Yevgeny %B IJCAI %D 2009 %E Boutilier, Craig %K Ontology, Reasoning %P 2040-2045 %T Consequence-Driven Reasoning for Horn SHIQ Ontologies. %U http://ijcai.org/papers09/Papers/IJCAI09-336.pdf

@inproceedings{Kazakov09, added-at = {2015-01-14T21:25:14.000+0100}, author = {Kazakov, Yevgeny}, biburl = {https://www.bibsonomy.org/bibtex/24e64fdf222469b3648e2d9417c332342/diverzulu}, booktitle = {{IJCAI}}, crossref = {conf/ijcai/2009}, editor = {Boutilier, Craig}, ee = {http://ijcai.org/papers09/Papers/IJCAI09-336.pdf}, file = {:D\:\\ASUS-FINO\\Inkhognito_M\\David\\PhD\\Web Semântica\\Biomedicine Ontology\\Reasoners\\2009-slides-CONSEQUENCE-DRIVEN REASONING FOR HORN SHIQ ONTOLOGIES - Kazakov_CB_InfoSys_09.pdf:PDF}, interhash = {cd17b262dd7d8d29b4b4369f1a1e47ad}, intrahash = {4e64fdf222469b3648e2d9417c332342}, keywords = {Ontology, Reasoning}, note = {IJCAI Distinguished Paper Award Winner}, pages = {2040-2045}, timestamp = {2015-01-14T21:25:14.000+0100}, title = {{Consequence-Driven Reasoning for Horn SHIQ Ontologies.}}, url = {http://ijcai.org/papers09/Papers/IJCAI09-336.pdf}, x-fetchedfrom = {Bibsonomy}, year = 2009 }