Publications

Export 5 results:
Filters: Keyword is Knowledge representation  [Clear All Filters]
2017
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)
2013
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)
2011
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)
2010
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)
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)