search

protegeproject / swrlapi

Java API for working with the SWRL rule and SQWRL query languages
Other
99 stars 40 forks source link

protege editor prevents use of classical negation #63

Open dtdannen opened 5 years ago

dtdannen commented 5 years ago

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

martinjoconnor commented 5 years ago

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

There is no timeline for their inclusion.