Publications

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