semantic reasoner

software able to infer logical consequences from a set of asserted facts or axioms

카테고리: