Publications

Export 6 results:
Filters: Author is Yue Ma  [Clear All Filters]
2009
Y. Ma, Qi, G., Xiao, G., Hitzler, P., and Lin, Z., An Anytime Algorithm for Computing Inconsistency Measurement, in Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, 2009, vol. 5914, pp. 29–40.PDF icon AnytimeAlgo-ksem2009.pdf (238.94 KB)
Y. Ma and Hitzler, P., Paraconsistent Reasoning for OWL 2, in Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, 2009, vol. 5837, pp. 197–211.PDF icon Paracons-owl2-RR2009.pdf (188.59 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)
Y. Ma and Hitzler, P., Distance-based Measures of Inconsistency and Incoherency for Description Logics, in Proceedings of the 23rd International Workshop on Description Logics (DL2010), Waterloo, Canada, 2010, vol. 573, pp. 475-485.PDF icon Distance-Inconsistency-DL2010.pdf (457.5 KB)