Improves definitions
},
{
"cell_type": "code",
- "execution_count": 88,
+ "execution_count": 92,
"metadata": {},
"outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "true\n",
+ "false\n"
+ ]
+ },
{
"data": {
"text/plain": [
- "isComplete=true\n",
- "result=[{}]"
+ "null"
]
},
- "execution_count": 88,
+ "execution_count": 92,
"metadata": {},
"output_type": "execute_result"
}
"FOLKnowledgeBase kb = Utils.getCategoryKnowledgeBase(domain);\n",
"kb.tell(\"Member(GermanShepherd,Dog)\");\n",
"kb.tell(\"Subset(Dog,Animals)\");\n",
- "return kb.ask(\"Member(GermanShepherd,Animals)\");"
+ "System.out.println(! kb.ask(\"Member(GermanShepherd,Animals)\").getProofs().isEmpty());\n",
+ "System.out.println(! kb.ask(\"Member(Dog,Animals)\").getProofs().isEmpty());"
]
},
{
