Ontology Materialization by Abstraction Refinement in Horn SHOIF Birte Glimm

@inproceedings{Kazakov2017OntologyMB,
  title={Ontology Materialization by Abstraction Refinement in Horn SHOIF Birte Glimm},
  author={Yevgeny Kazakov and Trung-Kien Tran},
  year={2017}
}
Abstraction refinement is a recently introduced technique using which reasoning over large ABoxes is reduced to reasoning over small ‘abstract’ ABoxes. Although the approach is sound for any classical Description Logic such as SROIQ, it is complete only for Horn ALCHOI. In this paper, we propose an extension of this method that is now complete for Horn… CONTINUE READING