{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
D.  Carral, ?Efficient Reasoning Algorithms for Fragments of Horn Description Logics?, Wright State University, Dayton, 2017.\par \par S.  Huang, Li, Q., and Hitzler, P., ?Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases?, Logic Journal of the IGPL, vol. 21, pp. 263?290, 2013.\par \par M.  Knorr, Alferes, J. J\'falio, and Hitzler, P., ?Local Closed World Reasoning with Description Logics under the Well-Founded Semantics?, Artificial Intelligence, vol. 175, no. 9-10, pp. 1528?1554, 2011.\par \par Y.  Ma, Qi, G., Xiao, G., Hitzler, P., and Lin, Z., ?Computational Complexity and Anytime Algorithm for Inconsistency Measurement?, International Journal of Software and Informatics, vol. 4, pp. 3?21, 2010.\par \par P.  Hitzler and van Harmelen, F., ?A Reasonable Semantic Web?, Semantic Web, vol. 1, pp. 39?44, 2010.\par \par }