Search code examples
owlontologyprotegerestriction

Protégé object property restrictions

I defined an object property "is_part_of" where the domain is Flight and the range is Airline; i want to define the following restriction

"flight is_part_of Airline exactly 1 Airline "

I tried is_part_of only Airline exactly 1 Airline but it doesn't work. I think that the poblem is with exactly 1 Airline but i don't manage to find it

Solution

  • You do not need Airline to appear twice.

    Flight subClassOf is_part_of exactly 1 Airline

    is_part_of exactly 1 Airline is the class expression you're after.