ISSUE-82: Finalize Core/PRD alignement

Core/Alignement

Finalize Core/PRD alignement

State:
CLOSED
Product:
Core
Raised by:
Christian de Sainte Marie
Opened on:
2008-11-06
Description:
- Specify Core as a specialization of PRD
- Does the "safety" restriction resolve the problem PRD has with backward chaining?
- Does Core compatibility with RDF+OWL extend to PRD?
Related Actions Items:
No related actions
Related emails:
  1. RE: F2F12: Core safety criterion (from Harold.Boley@nrc-cnrc.gc.ca on 2009-01-12)
  2. F2F12: Core safety criterion (from der@hplb.hpl.hp.com on 2009-01-12)
  3. [DTB] ACTION-682 completed (from debruijn@inf.unibz.it on 2009-01-07)
  4. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from der@hplb.hpl.hp.com on 2008-11-25)
  5. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from csma@ilog.fr on 2008-11-25)
  6. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from gary.hallmark@oracle.com on 2008-11-25)
  7. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from der@hplb.hpl.hp.com on 2008-11-25)
  8. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from csma@ilog.fr on 2008-11-24)
  9. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from kifer@cs.sunysb.edu on 2008-11-08)
  10. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from kifer@cs.sunysb.edu on 2008-11-08)
  11. Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from der@hplb.hpl.hp.com on 2008-11-06)
  12. RE: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from palbert@ilog.fr on 2008-11-06)
  13. ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] (from sysbot+tracker@w3.org on 2008-11-06)

Related notes:

At the 12th F2F, the WG resolved to close this issue, with the Core/PRD adequately aligned. See:

http://www.w3.org/2005/rules/wg/meeting/2009-01-15#resolution_2

Christopher Welty, 21 Apr 2009, 01:18:31

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 82.html,v 1.1 2013-02-08 09:09:37 vivien Exp $