Combining Horn Rules and Description Logics in CARIN

Alon Y. Levy, Marie-Christine Rousset. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998. [doi]

@article{LevyR98a,
  title = {Combining Horn Rules and Description Logics in CARIN},
  author = {Alon Y. Levy and Marie-Christine Rousset},
  year = {1998},
  doi = {10.1016/S0004-3702(98)00048-4},
  url = {http://dx.doi.org/10.1016/S0004-3702(98)00048-4},
  tags = {rule-based, rules, logic},
  researchr = {https://researchr.org/publication/LevyR98a},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {104},
  number = {1-2},
  pages = {165-209},
}