我想定义两个类，它们的成员是节点，它们是几个链接的范围。
在第一类中，其中一个链接具有类型Highway，而在第二类中，它们都不是类型Highway。
我可以使用 SWRL 制作第一堂课，但第二堂课是不可能的，因为似乎没有否定这样的表达。
我可以使用通用类公理来定义它们吗？
就像是：
Class1: Node and (in_extent_of some Arc and min one Arc is Highway)
Class2: Node and (in_extent_of some Arc and Arc not Highway)