Reputation: 89
I have structure like below
Now I have some expression which states which Part combination is a valid one
like these
Logical representation:
(Part1_3 and Part2_A and (Part3_0 or Part3_1))
or
(Part1_4 and Part2_B and (Part3_0 or Part3_1))
or
(Part1_3 and Part2_B and Part3_0)
How should I model this using Protege?
Also My intension to model is to find if given a combination is it valid or not?
for eg Part1_3 Part2_B Part3_1 is an invalid combo also Part1-4 and Part2-B is also invalid
Upvotes: 0
Views: 82