描述逻辑FL0循环术语集的可满足性

描述逻辑FL0循环术语集的可满足性

汪天友1，曹发生2，3

Satisfiability of terminological cycles in description logic FL0

WANG Tianyou1, CAO Fasheng2，3

计算机工程与应用 . 2012, (14): 56 -59 .