Skip to Main Content
Frequently Asked Questions
Submit an ETD
Global Search Box
Need Help?
Keyword Search
Participating Institutions
Advanced Search
School Logo
Files
File List
PhD Dissertation Carral.pdf (578.29 KB)
ETD Abstract Container
Abstract Header
Efficient Reasoning Algorithms for Fragments of Horn Description Logics
Author Info
Carral, David
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938
Abstract Details
Year and Degree
2017, Doctor of Philosophy (PhD), Wright State University, Computer Science and Engineering 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.
Committee
Pascal Hitzler, Ph.D. (Advisor)
Bernardo Cuenca Grau, Ph.D. (Committee Member)
Krishnaprasad Thirunarayan, Ph.D. (Committee Member)
MIchael Raymer, Ph.D. (Committee Member)
Pages
70 p.
Subject Headings
Computer Engineering
;
Computer Science
Keywords
Knowledge-representation
;
Description-logics
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Carral, D. (2017).
Efficient Reasoning Algorithms for Fragments of Horn Description Logics
[Doctoral dissertation, Wright State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938
APA Style (7th edition)
Carral, David.
Efficient Reasoning Algorithms for Fragments of Horn Description Logics.
2017. Wright State University, Doctoral dissertation.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938.
MLA Style (8th edition)
Carral, David. "Efficient Reasoning Algorithms for Fragments of Horn Description Logics." Doctoral dissertation, Wright State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
wright1491317096530938
Download Count:
345
Copyright Info
© 2017, all rights reserved.
This open access ETD is published by Wright State University and OhioLINK.