Efficient Reasoning Algorithms for Fragments of Horn Description Logics

@inproceedings{2017EfficientRA,
  title={Efficient Reasoning Algorithms for Fragments of Horn Description Logics},
  author={},
  year={2017}
}
  • Published 2017
Carral, David. PhD. Department of Computer Science and Engineering, Wright State University, 2017. Efficient Reasoning Algorithms for Fragments of Horn Description Logics. We characterize two fragments of Horn Description Logics and we define two specialized reasoning algorithms that effectively solve the standard reasoning tasks over each of such fragments. We believe our work to be of general interest since (1) a rather large proportion of real-world Horn ontologies belong to some of these… CONTINUE READING