I'm trying to fulfill some action items, esp. writing up some IOPE
stuff.
One thing that we've not explicitly dealt with is negative
effects/deletions. If we're allowing SWRL as the language of PEs, then
we're allowing for lots of complications (to say the least).
(For example, it's very easy to have facts that are entailed by the kb,
say, a subclass axiom. It takes a fair bit of care to ensure that none
of those facts are negated in effect lists. Allowing them to appear
negated in effects lists opens up some interesting problems.)
(Note that the "negative effects" could be positive literals, given the
type of negation OWL and SWRL allow.0
Should we just let the chips fall? Or should we try to be a bit more
prescriptive? Or advisive?
Cheers,
Bijan Parsia.