An algorithm for axiom pinpointing in EL+ and its incremental variant.
| Anthology ID: | DBLP:conf/cikm/ChengQ11 |
|---|---|
| Volume: | Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011 |
| Year: | 2011 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 2433-2436 |
| URL: | https://doi.org/10.1145/2063576.2063985 |
| DOI: | https://doi.org/10.1145/2063576.2063985 |
| DBLP: | conf/cikm/ChengQ11 |
| BibTeX: |
@inproceedings{cheng-2011-algorithm,
author = {Xiaojun Cheng and
Guilin Qi},
editor = {Craig Macdonald and
Iadh Ounis and
Ian Ruthven},
title = {{An algorithm for axiom pinpointing in EL+ and its incremental variant}},
booktitle = {{Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011}},
pages = {2433--2436},
publisher = {ACM},
year = {2011},
url = {https://doi.org/10.1145/2063576.2063985},
doi = {https://doi.org/10.1145/2063576.2063985}
}