swrlapi
swrlapi copied to clipboard
protege editor prevents use of classical negation
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:
I believe classical negation like this should be supported. Tested in Protege 5.5 with SWRLTab 2.0.6
Unfortunately, the SWRLAPI's parser does not support OWL class expressions in rules.
There is no timeline for their inclusion.