我正在玩Protégé5来构建本体.在搜索域和范围的主题后,我发现域和范围不一定是关联两件事的正确方法.
需要记住的重要一点是,OWL限制可以
推断.那么这意味着如果您提供对象属性的域和范围信息,那么可以根据属性的使用来推断这些类.特别是,域和范围
不是传统编程
语言意义上的类型检查.如果您有足够的不相交信息以便能够创建逻辑不一致,他们只能(有时)以这种方式行事.因此,例如,让我们假设我们有以下本体
类:人类
:车辆
类别:引擎
属性:hasEngine:domain车辆:范围引擎John isa Person
John hasEngine engine-1此时,将进行推断并得出结论约翰是一辆
车.这不是类型违规,因为域和范围
信息用于推断.(如果
声明Person和Vehicle 是不相交的类,则会产生不一致的本体
,这更接近于经典的类型检查结果,但它
仅适用于类真正不相交的情况).
因此,如果域和范围不好,那么我应该使用什么来建模事物类之间的关系呢？
编辑:我最初声明新版本中没有域/范围字段.几乎在发布之后,我意识到这些领域实际上仍然可用.