@proceedings {770,
	title = {Completion Reasoning Emulation for the Description Logic EL+},
	journal = {Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice},
	volume = {2600},
	year = {2020},
	month = {03/2020},
	publisher = {CEUR-WS.org},
	address = {Stanford University, Palo Alto, California, USA},
	abstract = {<p>We present a new approach to integrating deep learning with knowledge-based systems that we believe shows promise. Our approach seeks to emulate reasoning structure, which can be inspected part-way through, rather than simply learning reasoner answers, which is typical in many of the black-box systems currently in use. We demonstrate that this idea is feasible by training a long short-term memory (LSTM) artificial neural network to learn EL+ reasoning patterns with two different data sets. We also show that this trained system is resistant to noise by corrupting a percentage of the test data and comparing the reasoner{\textquoteright}s and LSTM{\textquoteright}s predictions on corrupt data with correct answers.</p>
},
	keywords = {Deep Learning, Description Logic, EL+, LSTM, NeSy, Reasoning},
	url = {http://ceur-ws.org/Vol-2600/paper5.pdf},
	author = {Aaron Eberhart and Monireh Ebrahimi and Lu Zhou and Cogan Shimizu and Pascal Hitzler}
}
@mastersthesis {633,
	title = {Efficient Reasoning Algorithms for Fragments of Horn Description Logics},
	volume = {Doctor of Philosophy (PhD)},
	year = {2017},
	pages = {70},
	school = {Wright State University},
	address = {Dayton},
	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.
},
	keywords = {Description Logic, Knowledge representation, Reasoning},
	url = {http://rave.ohiolink.edu/etdc/view?acc_num=wright1491317096530938},
	author = {David Carral}
}
