W3C home > Mailing lists > Public > public-sws-ig@w3.org > March 2004

[OWL-S] Negative effects/delete lists

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Sun, 28 Mar 2004 17:32:39 -0500
Message-Id: <D1E0AEFA-8107-11D8-8F97-0003936A0B26@isr.umd.edu>
To: public-sws-ig@w3.org

I'm trying to fulfill some action items, esp. writing up some IOPE 

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?

Bijan Parsia.
Received on Sunday, 28 March 2004 19:12:32 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:54:12 UTC