Publications

Found 6 results
Filters: Author is Yue Ma  [Clear All Filters]
2013
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.
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.
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.
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.
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.
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.