Consequence-Driven Reasoning for Horn SHIQ Ontologies
| Type of publication: | Inproceedings |
| Citation: | DBLP:conf/ijcai/Kazakov09 |
| Booktitle: | IJCAI |
| Year: | 2009 |
| Pages: | 2040-2045 |
| Crossref: | DBLP:conf/ijcai/2009 |
| URL: | http://ijcai.org/papers09/Pape... |
| Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, date-added={2012-09-25 16:14:00 +0200}, date-modified={2012-09-25 16:14:00 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|