swrlapi icon indicating copy to clipboard operation
swrlapi copied to clipboard

protege editor prevents use of classical negation

Open dtdannen opened this issue 5 years ago • 1 comments

When trying to add a rule with classical negation like the following:

Person(?x) ^ (not Parent)(?x) -> child(?x)

the SWRL TAB Editor gives the error: Screenshot from 2019-09-11 15-36-55

I believe classical negation like this should be supported. Tested in Protege 5.5 with SWRLTab 2.0.6

dtdannen avatar Sep 11 '19 19:09 dtdannen

Unfortunately, the SWRLAPI's parser does not support OWL class expressions in rules.

There is no timeline for their inclusion.

martinjoconnor avatar Sep 16 '19 16:09 martinjoconnor