Tb0x masoning的意思|示意
美 / /
英 / /
Tb0x梅森
Tb0x masoning的网络常见释义
可满足性 基于Tbox和Abox的描述逻辑推理研究 关键词：描述逻辑；Tbox推理；Ab0x推理；可满足性；一致性 [gap=1244]Key words：description logles；Tb0x masoning；Ab0x reasoning；~tisfiability；consistency