在 Protege 中添加限制

Question

我想对特定 class 的个体可以通过对象属性获取的值添加限制。

例如，我有 classes GPS 和 Means（包含实例 Spoofing、Jamming、Speed_Change、Sign_Change) 由对象连接属性 HasMeans:

GPS ----->_均值均值

我想确保 class GPS 的任何实例只能连接到 Means class 个实例 Jamming 和 Spoofing 而不是其他人。如果我说 GPS 实例 G1 HasMeans Speed_Change，我的 objective 是 class 当我运行推理者。

提前致谢！

Answer 1

您需要以下 OWL2 功能：

在Protégé中使用的Manchester Syntax：

Prefix: : <

Ontology: <

Class: GPS
    SubClassOf: hasMean only {jamming, spoofing}

Class: Mean

ObjectProperty: hasMean
    Domain: GPS
    Range: Mean

Individual: gps1
    Types: GPS
    Facts: hasMean jamming, hasMean spoofing

Individual: gps2
    Types: GPS
    Facts: hasMean spoofing, hasMean speed_change

DifferentIndividuals: 
    jamming, spoofing, speed_change

Individual: jamming
    Types: Mean 

Individual: spoofing
   Types: Mean

Individual: speed_change
   Types:  Mean

不一致的解释是这样的：

在 Protege 中添加限制

Add Restriction in Protege

semantic-web

owl

restriction

protege