01027nas a2200121 4500008004100000245007700041210006900118260004500187490000800232520053500240100001800775856011200793 2016 eng d00aEfficient Reasoning Algorithms for Fragments of Horn Description Logics0 aEffi cient Reasoning Algorithms for Fragments of Horn Descriptio aDayton, OH, USAbWright State University0 vPhD3 a
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.
1 aCarral, David uhttps://daselab.cs.ksu.edu/publications/effi%0Ecient-reasoning-algorithms-fragments-horn-description-logics