标签: semantic-web logical-operators vocabulary
我想存储元组{a implies c, not c,...}。我如何参考运营商?我应该使用特定的词汇吗?
{a implies c, not c,...}
在第一次评论后编辑