Publications

Export 5 results:
Filters: First Letter Of Keyword is K  [Clear All Filters]
Journal Article
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.PDF icon CompComplexity-IJSI2010.pdf (478.9 KB)
M. Knorr, Alferes, J. Júlio, 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.PDF icon LocalClosed-AI-2011.pdf (354.24 KB)
P. Hitzler and van Harmelen, F., “A Reasonable Semantic Web”, Semantic Web, vol. 1, pp. 39–44, 2010.PDF icon ARSW-HH-SWJ2011.pdf (126.61 KB)
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.PDF icon ljigpl-parahkmf-2013.pdf (225.39 KB)
Thesis
D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.PDF icon PhD Dissertation Carral.pdf (578.29 KB)