01111nas a2200169   4500008004100000245007600041210006900117260003600186300000700222490003100229520052800260653002200788653002900810653001400839100001800853856007000871       2017                        eng d00aEfficient Reasoning Algorithms for Fragments of Horn Description Logics0 aEfficient Reasoning Algorithms for Fragments of Horn Description  aDaytonbWright State University  a700 vDoctor of Philosophy (PhD)3 aWe 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.
10aDescription Logic10aKnowledge representation10aReasoning1 aCarral, David  uhttp://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938