标签： owl ontology rule swrl
我想定义两个类，其成员是节点，它们是多个链接的范围。
在第一课中，其中一个链接的类型为Highway，而在第二个类中，其中没有一个是{{1}类型}。
Highway
我可以使用SWRL创建第一个类，但第二个类是不可能的，因为似乎没有否定这样的表达式。
我可以使用通用类公理来定义它们吗？
类似的东西：