Publications

Export 12 results:
Filters: Author is Yue Ma  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Web Ontology Language
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)
Knowledge representation
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)
inconsistency measurement
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)
Description Logic
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)
computational complexity
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)
Automated Deduction
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)