@inproceedings{ma:hal-01524986,
  TITLE = {{An ABox Abduction Algorithm for the Description Logic ALCI}},
  AUTHOR = {Ma, Yanwei and Gu, Tianlong and Xu, Binbin and Chang, Liang},
  URL = {https://inria.hal.science/hal-01524986},
  NOTE = {Part 4: Automatic Reasoning},
  BOOKTITLE = {{7th International Conference on Intelligent Information Processing (IIP)}},
  ADDRESS = {Guilin, China},
  EDITOR = {Zhongzhi Shi and David Leake and Sunil Vadera},
  PUBLISHER = {{Springer}},
  SERIES = {Intelligent Information Processing VI},
  VOLUME = {AICT-385},
  PAGES = {125-130},
  YEAR = {2012},
  MONTH = Oct,
  DOI = {10.1007/978-3-642-32891-6\_17},
  KEYWORDS = {abductive reasoning ; ABox abduction problem ; Tableau ; consistency of knowledge base},
  PDF = {https://inria.hal.science/hal-01524986/file/978-3-642-32891-6_17_Chapter.pdf},
  HAL_ID = {hal-01524986},
  HAL_VERSION = {v1},
}