Ontology Materialization by Abstraction Refinement in Horn SHOIF

Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran. Ontology Materialization by Abstraction Refinement in Horn SHOIF. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

@inproceedings{GlimmKT16,
  title = {Ontology Materialization by Abstraction Refinement in Horn SHOIF},
  author = {Birte Glimm and Yevgeny Kazakov and Trung-Kien Tran},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1577/invited_paper_1.pdf},
  researchr = {https://researchr.org/publication/GlimmKT16},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016},
  editor = {Maurizio Lenzerini and Rafael Peñaloza},
  volume = {1577},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}