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:

Display change log