Module Extraction in Expressive Ontology Languages via Datalog Reasoning

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. (JAIR), 55:499-564, 2016. [doi]

@article{RomeroKGH16,
  title = {Module Extraction in Expressive Ontology Languages via Datalog Reasoning},
  author = {Ana Armas Romero and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks},
  year = {2016},
  doi = {10.1613/jair.4898},
  url = {http://dx.doi.org/10.1613/jair.4898},
  researchr = {https://researchr.org/publication/RomeroKGH16},
  cites = {0},
  citedby = {0},
  journal = {J. Artif. Intell. Res. (JAIR)},
  volume = {55},
  pages = {499-564},
}