protegeproject/cellfie-plugin

"Facts" cannot be some special values

imane0897 opened this issue · 1 comments

I'm just using the case in the tutorial. I typed the following in the Transformation Rule Editor and get an error.

Individual: @A*
   Types: NOT

image

I also test "OR" and "AND" and they are not allowed as values of "Type" either. This seems to be wired since Protege allows "class" value to be "OR", "AND" and "NOT".

Those are language keywords so cannot be used as entity names.

From a modelling point of view I don't think it would be a good idea to have a class called NOT, OR, or AND.