DCWA also provides an approximation for the generalized closedworldassumption (GCWA) and supports argumentation.
同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近。
2
ClosedWorldAssumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.