Publication Date
2017
Document Type
Dissertation
Committee Members
Bernardo Cuenca Grau (Committee Member), Pascal Hitzler (Advisor), MIchael Raymer (Committee Member), Krishnaprasad Thirunarayan (Committee Member)
Degree Name
Doctor of Philosophy (PhD)
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.
Page Count
70
Department or Program
Department of Computer Science and Engineering
Year Degree Awarded
2017
Copyright
Copyright 2017, all rights reserved. My ETD will be available under the "Fair Use" terms of copyright law.
