一种基于符号变换的描述逻辑ALC超协调推理算法
일충기우부호변환적묘술라집ALC초협조추리산법
Algorithm Based on Sign Transformation for Paraconsistent Reasoning in Description Logic ALC
저자의 최근 논문