... knowledge bases. Inference in such knowledge bases is based on first-order logic. KnowWE[1] is a semantic wiki system that was build as an extension to JSP wiki ...
確定! 回上一頁