TY - THES T1 - Efficient Reasoning Algorithms for Fragments of Horn Description Logics T2 - Computer Science and Engineering Y1 - 2017 A1 - David Carral KW - Description Logic KW - Knowledge representation KW - Reasoning AB - 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 two fragments and (2) the implementations based on our reasoning approach significantly outperform state-of-the-art reasoners. Claims (1) and (2) are extensively proven via empirically evaluation. JF - Computer Science and Engineering PB - Wright State University CY - Dayton VL - Doctor of Philosophy (PhD) UR - http://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938 ER -