minimal unsatisfiability-preserving sub-TBoxes (MUPS)

英 美
  • 最小不一致知识子集
目录 查词历史