Add Restriction in Protege

Question

I would like to add restrictions to the values that individuals of a particular class can take via an object property.

For example, I have the classes GPS and Means (contains instances Spoofing, Jamming, Speed_Change, Sign_Change) connected by the object property HasMeans:

GPS -----> _HasMeans Means

I want to ensure that any instance of the class GPS can only connect to the Means class instancesJamming and Spoofing and not the others. If I say GPS instance G1 HasMeans Speed_Change, my objective is to classify this as an error when I run the reasoner.

Thanks in advance!

Answer 1

You need the following OWL2 capabilities:

• universal quantification
• enumeration of individuals
• individual inequality

In the Manchester Syntax used in Protégé:

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

This is how inconsistency explanation looks like: