Library

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 11 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

A

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, Guohui Xiao, Zuoquan Lin, Pascal Hitzler. An Anytime Algorithm for Computing Inconsistency Measurement. In Third International Conference, KSEM 2009. 2009.

(238.94 KB)

C

Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin. Computational Complexity and Anytime Algorithm for Inconsistency Measurement. International Journal of Software and Informatics. 2010 ;:3-21.

(478.9 KB)

Yue Ma, Guilin Qi, Pascal Hitzler. Computing Inconsistency Measure based on Paraconsistent Semantics. 2011 ;.

(459.85 KB)

D

Yue Ma, Pascal Hitzler. Distance-based Measures of Inconsistency and Incoherency for Description Logics. Waterloo, Canada: 23rd International Workshop on Description Logics (DL2010); 2010.

M

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, 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)

P

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)

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)

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)