语义网的关键推理问题可以化为公式的可满足性判定问题。

The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.

youdao

语义网的关键推理问题可以化为公式的可满足性判定问题。

The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.

youdao