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)
2011
Y. Ma, Qi, G., and Hitzler, P., “Computing Inconsistency Measure based on Paraconsistent Semantics”, Journal of Logic and Computation, vol. 21, no. 6, pp. 1257–1281, 2011.PDF icon JLC-incons-measure-2011.pdf (459.85 KB)
2013
F. Maier, Ma, Y., and Hitzler, P., “Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013.PDF icon paraOWL-2013.pdf (698.73 KB)