ISSUE-79: Negative guards in DTB - is this another dialect?
Neg Guards
Negative guards in DTB - is this another dialect?
- State:
- CLOSED
- Product:
- DTB
- Raised by:
- Christopher Welty
- Opened on:
- 2008-09-27
- Description:
- Negative guards in BLD introduce negation into the language. Jos has demonstrated through several test cases that this allows contradictions and unsatisfiability. Should we move negative guards out of BLD and make it a simple extension?
- Related Actions Items:
- No related actions
- Related emails:
- Minutes of the Jan 2009 Telecon (from kifer@cs.sunysb.edu on 2009-01-06)
- Re: [Admin] Agenda for RIF telecon 6 January (from axel.polleres@deri.org on 2009-01-06)
- Re: [Admin] Agenda for RIF telecon 6 January (from kifer@cs.sunysb.edu on 2009-01-05)
- [Admin] Agenda for RIF telecon 6 January (from csma@ilog.fr on 2009-01-05)
- [Admin] Agenda for RIF telecon 23 December (from csma@ilog.fr on 2008-12-22)
- [Admin] Agenda for RIF telecon December 16 (from csma@ilog.fr on 2008-12-15)
- [Admin] Agenda RIF telecon 9 December (from csma@ilog.fr on 2008-12-08)
- [Admin] Agenda for RIF telecon December 2 (from csma@ilog.fr on 2008-12-01)
- Draft minutes RIF Nov25 (from adrian.paschke@gmx.de on 2008-11-30)
- [Admin] Agenda for the RIF telecon November 25 (from csma@ilog.fr on 2008-11-24)
- [Admin] Agenda for RIF telecon 18 November (from csma@ilog.fr on 2008-11-17)
- planning for next telecon (from cawelty@gmail.com on 2008-11-12)
- [Admin] Agenda for RIF telecon 11 November (from csma@ilog.fr on 2008-11-10)
Related notes:
[ChrisW]: Negative guards
25 Nov 2008, 16:56:56At the Jan. 6, 2009 telecon, the WG resolved to close this issue by restricting the definition of negative guards to return false for all non-literals, e.g. IsLiteralNotOfType(integer, ex:a) returns false, because ex:a is not a literal. See http://www.w3.org/2009/01/06-rif-irc#T16-52-45 (late pointer, scan upwards).
Christopher Welty, 6 Jan 2009, 16:57:23Display change log