Completion Reasoning Emulation for the Description Logic EL+

Aaron Eberhart, Monireh Ebrahimi, Lu Zhou, Cogan Shimizu, Pascal Hitzler. Completion Reasoning Emulation for the Description Logic EL+. In Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen, editors, Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, AAAI-MAKE 2020, Palo Alto, CA, USA, March 23-25, 2020, Volume I. Volume 2600 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]

@inproceedings{EberhartEZSH20,
  title = {Completion Reasoning Emulation for the Description Logic EL+},
  author = {Aaron Eberhart and Monireh Ebrahimi and Lu Zhou and Cogan Shimizu and Pascal Hitzler},
  year = {2020},
  url = {http://ceur-ws.org/Vol-2600/paper5.pdf},
  researchr = {https://researchr.org/publication/EberhartEZSH20},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, AAAI-MAKE 2020, Palo Alto, CA, USA, March 23-25, 2020, Volume I},
  editor = {Andreas Martin and Knut Hinkelmann and Hans-Georg Fill and Aurona Gerber and Doug Lenat and Reinhard Stolle and Frank van Harmelen},
  volume = {2600},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}