@misc{indiciaebf3091798271,
  title = {A Journey into Ontology Approximation: From Non-Horn to Horn},
  author = {Anneke Haga and Carsten Lutz and Johannes Marti and Frank Wolter},
  year = {2020},
  url = {https://arxiv.org/abs/2001.07754},
  note = {Source identifier: 2001.07754}
}