@misc{indiciaee8421ae59711,
  title = {Handling Nominals and Inverse Roles using Algebraic Reasoning},
  author = {Humaira Farid and Volker Haarslev},
  year = {2018},
  url = {https://arxiv.org/abs/1810.00916},
  note = {Source identifier: 1810.00916}
}