Library

Export 11 results:
Filters: Author is Yue Ma  [Clear All Filters]
2009
Yue Ma, Guilin Qi, Guohui Xiao, Zuoquan Lin, Pascal Hitzler. An Anytime Algorithm for Computing Inconsistency Measurement. In Third International Conference, KSEM 2009. 2009.  (238.94 KB)
Yue Ma, Pascal Hitzler. Paraconsistent Reasoning for OWL 2. In Third International Conference, RR. Chantilly, VA, USA: Web Reasoning and Rule Systems, Third International Conference, RR 2009; 2009. p. 197-211.  (188.59 KB)
2008
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Reasoning for Expressive and Tractable Description Logics. In 21st International Workshop on Description Logics, DL2008; 2008.  (0 bytes)
2007
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. In Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet,Tunisia; 2007. p. 91-102.  (494.11 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Algorithms for Paraconsistent Reasoning with OWL. In 4th European Semantic Web Conference, ESWC2007. Innsbruck, Austria; 2007.
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (152.34 KB)
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet, Tunisia; 2007.  (152.34 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Resolution for Four-valued Description Logics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (179.34 KB)