LastCallPlan

From RIF
Jump to: navigation, search

Documents to Last Call:

Core

RESOLVED: Publish Core as Last Call, pending completion of Action-822
Reviewers: YesYChanghai, YesYStella, YesYCsma
Expected: May 4

  • references to xml schema updated to 1.1 Action-765 (Sandro)
  • Update xml schema syntax for CORE lists Action-762 (Harold)

YesY update mathematical syntax for Core lists Action-803 (Adrian)
YesY Binding patterns for lists (?)
YesY Fix safeness conformance section to require all conformant Core documents be safe Action-749 (Axel & Jos)
YesY Fix E-S safety discussion and make informative instead of at-risk Action-749 (Axel & Jos)
YesY Use <anyURI> in xml schema for imports Action-755 (Harold)
YesY Add conjunction back into conclusion Action-758 (Harold)
YesY Add restricted lists Action-761 (Adrian)
YesY Drop restriction that there are no nested externals Action-758
YesY Update ps to add <> to base, prefix and import Action-756
YesY Add text to compliance restricting use of symbol spaces Action-750

BLD

RESOLVED: Publish BLD as second Last Call, pending completion of Action-823
Reviewers: YesYAxel, YesYChristian
Expected: May 4

  • references to xml schema updated to 1.1 Action-765 (Sandro)
  • modularize XML schema (as was done for PRD) Action-780 (Harold/Gary)

YesY add D sub L to BLD Action-807 (Michael)
YesY add lists syntax & semantics Action-759 (Michael)
YesY Use <anyURI> in xml schema for imports Action-755 (Harold)
YesY Add text with examples of how to translate some things (like maybe equality) to core Action-745 (Harold)
YesY Add text to compliance restricting use of symbol spaces Action-750
YesY Update ps to add <> to base, prefix and import Action-756

SWC

Reviewers: YesYAxel, YesYGary
Expected: May 4 (all but resolution on rdf lists)

  • Revisit proofs in appendix (Jos)
  • Make rdf lists extensions with 1:1 at risk Action-808 (Jos)

YesY references to xml schema updated to 1.1 Action-765
YesY Write paragraph with examples of embedding in Core
YesY Revisit Owl 2 specs (Jos)
YesY Add conformance section Action-799 (Jos)

DTB

RESOLVED: Publish DTB as Last Call, pending completion of Actions 815-820, and review of those actions Action-821
Reviewers: YesYChris, YesYAdrian
Expected: May 4

YesY fix shortnames in symbol spaces action-820
YesY repair definition of is-literal-not-identical (Axel)
YesY refine all informal builtin definitions (Axel)
YesY finalize naming conventions for casting and type funtions Action-740 (Axel)
YesY add list builtins Action-760 (Sandro)
YesY add all missing owl datatypes (except rational and real) Action-739 Action-738 Action-737 Action-735 Action-734 (Axel)
YesY references to xml schema updated to 1.1 Action-765
YesY add datatype guards back and remove isLiteralOfType Action-754 (Axel)
YesY Resolve issues on implementation dependent casts and numeric functions.

PRD

Reviewers: YesYHarold, YesYChanghai, Jos
Expected: April 30

  • Check (syntactic) list restriction from core (csma)
  • references to xml schema updated to 1.1 Action-765 (Csma)

YesY Add text with examples of how to translate some things to core (like do/assert) Action-744 (Gary)
YesY Add a conformance clause Action-800 (Csma)
YesY update the presentation syntax Action-801 (Adrian)
YesY Finalize and check conflict resolution (Csma)
YesY add examples and remove vestigial editors notes (Csma)

  • Check xml list syntax from Core (see Action-762) (CKE)

YesY add lists Action-763
YesY add execute, modify, and print Action-751

FLD

Reviewers: YesYChris, YesYStella
Expected: May 4

  • references to xml schema updated to 1.1 Action-765 (Michael)

YesY add lists
YesY update the xml schema syntax esp. to account for generalized quantifiers Action-802 (Michael)