Efficient Reasoning Algorithms for Fragments of Horn Description Logics

TitleEfficient Reasoning Algorithms for Fragments of Horn Description Logics
Publication TypeThesis
Year of Publication2016
AuthorsCarral, D
Academic DepartmentDepartment of Computer Science and Engineering, Wright State University
DegreePhD
UniversityWright State University
CityDayton, OH, USA
Thesis TypeDissertation
Abstract

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.

Projects: