最近使用protege5.0开发一个本体时遇到一个困难，就是如何实现逻辑非运算，举个例子，总共有：高血压，糖尿病，冠心病，血脂异常四个病，病人患有高血压和糖尿病，则推理出病人没有患冠心病和血脂异常。就这么一个逻辑关系，我用swrl规则进行推理也实现不了，本体内关系约束也实现不了，求大神解答一下。
本体实现逻辑非运算。
最近使用protege5.0开发一个本体时遇到一个困难，就是如何实现逻辑非运算，举个例子，总共有：高血压，糖尿病，冠心病，血脂异常四个病，病人患有高血压和糖尿病，则推理出病人没有患冠心病和血脂异常。就这么一个逻辑关系，我用swrl规则进行推理也实现不了，本体内关系约束也实现不了，求大神解答
貌似 swrl 不支持 非运算