在Protege中添加限制

Question

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

例如，我有类GPS和Means（包含实例Spoofing，Jamming，Speed_Change，Sign_Change）对象属性HasMeans：

GPS -----＆gt; _HasMeans 意味着

我想确保类GPS的任何实例只能连接到Means类实例Jamming和Spoofing，而不能连接到其他实例。 如果我说GPS实例G1 HasMeans Speed_Change，我的目标是在运行推理器时将其归类为错误。

提前致谢！

Answer 1

您需要以下OWL2功能：

• universal quantification
• enumeration of individuals
• individual inequality

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

Prefix: : <https://stackoverflow.com/q/50004546/7879193#>

Ontology: <https://stackoverflow.com/q/50004546/7879193>

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

这是不一致性解释的样子：