Warning:
This wiki has been archived and is now read-only.

Current events

From RIF
Jump to: navigation, search


Older events

  • 10 Aug RIF Telecon Agenda Minutes
  • 27 July RIF Telecon Agenda minutes
  • 13 July RIF Telecon Agenda Minutes
  • 22 June RIF is a Recommendation (REC)!!!
  • 13 July RIF Telecon Agenda Minutes
  • 22 June RIF is a Recommendation (REC)!!!
  • Telecon 8 June Agenda Minutes
  • Telecon 1 June CANCELLED
  • Telecon 18 May Agenda Minutes
    • RESOLVED: update http://www.w3.org/2005/rules/wg/meeting/2009-01-15#resolution_3 with including the folling text in section 2.3 of RIF Core: Equality terms and class membership terms cannot occur in universal facts, variable-free atomic formulas outside of rule premises, or rule conclusions -- they are allowed only in rule premises.
  • 11 May RIF is a Proposed Rec (PR)!!!
  • Telecon 4 May Agenda Minutes
  • Telecon 20 April Agenda Minutes
  • Telecon 23 March Agenda Minutes
    • RESOLVED: replace bullet 2 in "RIF-BLD Specific Clauses" with "A conformant BLD consumer must reject any document containing features it does not support" (removing at-risk feature)
    • RESOLVED: Request PR for Core
    • RESOLVED: Request PR for BLD
    • RESOLVED: Request PR for PRD
    • RESOLVED: Request PR for DTB
    • RESOLVED: Request PR for SWC
    • RESOLVED: Request PR for FLD
  • Telecon 16 March Agenda Minutes
  • Telecon 9 March Agenda Minutes
    • RESOLVED: keep the 1-to-1 lists (feature at risk)
    • RESOLVED: keep equality in the head (feature at risk)
    • RESOLVED: keep the DL-safeness restriction (feature at risk)
    • RESOLVED: keep indexing lists from zero (feature at risk)
    • RESOLVED: request a 6 month extension contingent on reaching PR
  • Telecon 2 March Agenda Minutes (draft)
  • Telecon 16 February Agenda Minutes
  • Telecon 9 February Agenda Minutes
    • RESOLVED: Publish the new draft of PRD as a Last Call WD, after csma changes simple actions to actions, corrects a few typos, and pending Adrian's positive review by 6am ET Thursday. (Others are also free to object by that time, as well.)
    • RESOLVED: remove Modify_noloop
  • Telecon 2 February Agenda Minutes
    • RESOLVED: We clarify that relative IRIs are allowed in RIF syntaxes (anywhere IRIs are allowed, including Const rif:iri, symbol spaces, location, and profile), and that xml:base is used in making them absolute; the absolute form is seen and used internally, so that's the lexical space.
    • RESOLVED: approve AssertRetract
  • Telecon 19 January Agenda Minutes
  • Telecon 5 January Agenda Minutes
  • Telecon 22 December CANCELLED
  • Telecon 8 December Agenda Minutes
  • Telecon 24 November Agenda Minutes
  • Telecon 10 November Agenda Minutes
    • RESOLVED: to approve Assert with a note saying that this is not good practice (since it is translatable in COre, it should be in Core)
  • Telecon 27 October Agenda Minutes
  • Telecon 13 October Agenda Minutes
  • Telecon 29 September Agenda Minutes
    • RESOLVED: Publish RIF-OWL2/RL as first public working draft.
    • RESOLVED: Publish RIF-XMLdata as first public working draft, subject to agreement on editorial notes.
    • RESOLVED: Publish RIF-Guide as "RIF Overview".
    • RESOLVED: Publish RIF Test cases as 2nd public working draft.
  • Telecon 15 September Agenda Minutes
  • Telecon 1 September Agenda Minutes
    • RESOLVED: accept RIF CR Exit criteria
    • RESOLVED: RIF Last Call drafts (Core, BLD, PRD, DTB, SWC, and FLD) are ready to be published as Candidate Recommendations
    • RESOLVED: close issue-37 as it is addressed by the draft note on RIF combination with XML Data
    • RESOLVED: close issue-38 as it is addressed by the draft note on RIF combination with XML Data
  • Last Call comments period ended July 31
  • Telecon 25 August Agenda Minutes
    • RESOLVED: move RDF Plain Literal to PR
  • Telecon 28 July Agenda Minutes
  • Telecon 21 JulyAgenda Minutes
  • Telecon 7 July Agenda Minutes
  • 3 July Last Call drafts published
  • Telecon 23 June Agenda Minutes
    • RESOLVED: Switch the safeness definition, in Core, from the tree-decomposition one to the bottom-up one.
    • RESOLVED: Move mime types appendix to Core.
  • Telecon 9 June Agenda Minutes
  • Telecon 2 June Agenda Minutes
    • RESOLVED: the formal semantics of list operations, ACTION-814, can wait until after Last Call for DTB.
    • RESOLVED: We approve rdf:PlainLiteral (formerly rdf:text) as ready for Candidate Recommendation (or second Last Call, if others block it from being CR), pending completion of action 834, 835 and 836.
  • Telecon 26 May Agenda Minutes
    • RESOLVED: Publish PRD as Last Call, contingent on completion of actions 824, 825, 827, and 828.
    • RESOLVED: publish SWC as Last Call, pending completion of actions 829, 831, and 830.
    • RESOLVED: Publish FLD as Last Call pending completion of action 832.
  • Telecon 19 May Agenda Minutes
    • RESOLVED: Publish Core as last call draft, pending completion of Core actions.
    • RESOLVED: Publish BLD as a second Last Call, pending axel review that his request have been implemented.
    • RESOLVED: Publish DTB as last call. draft, pending completion of all DTB actions.
    • RESOLVED: rdf:text will be marked at risk in DTB
    • RESOLVED: The LC drafts will have the 'flat' schemas, with an editors note saying we expect to refactor the schemas in the future (to use "include"), but do not expect to change which XML instance documents will be valid.
    • RESOLVED: add append as a new list-builtin and remove ceiling of list indexes.
    • RESOLVED: following editor's note in Core 6.1, all of the binding patterns with "u" for the equality predicates will be removed. (this leaves only pred:iri-string and pred:list-contains as (b, u))
  • Telecon 12 May Agenda Minutes
  • Telecon 5 May Agenda Minutes
    • RESOLVED: RDF-RIF list semantics will be at least "extension", with 1-to-1 being 'at risk'.
    • RESOLVED: make OWLRL document a WG note.
  • Telecon 28 April Agenda Minutes
  • Telecon 21 April Agenda Minutes
  • F2F13, 15-17 April, Cambridge, MA Agenda, Minutes day 1, day 2, day 3
  • Telecon 7 April Agenda Minutes
    • RESOLVED: CORE will not have bounded quantifiers, closing ISSUE-91.
    • RESOLVED: Drop string-<, string->, string-<=, string->= from DTB, closing ISSUE-67.
    • RESOLVED: Keep rtfn:compare and rtfn:length as AT RISK
  • Telecon 31 March Agenda Minutes
    • RESOLVED: Accept changes reflected in DTB version [1], closing issue-80
  • Telecon 24 March Agenda Minutes
    • RESOLVED: To keep the separation between preds, funcs, and individuals, but pred, func, external symbols can have multiple arities. Closing ISSUE-92.
  • Telecon 17 March Agenda Minutes
  • Telecon 10 March Agenda Minutes
  • Telecon 3 March Agenda Minutes
  • Telecon 24 February Agenda Minutes
  • Telecon 17 February Agenda Minutes
    • RESOLVED: RIF-RDF combinations are not defined in case rif:iri or rdf:text are used in the imported RDF graphs.
    • RESOLVED: Change the test cases to "import rejection tests" and close issue-90.
  • Telecon 10 February Agenda Minutes
    • RESOLVED: Close ISSUE-63 with the understanding that the Group construct is sufficient.
    • RESOLVED: Close ISSUE-65 with the understanding that PRD does not add specific syntax to specify halting tests.
  • Telecon 3 February 2009 Agenda Minutes
  • Telecon 27 Jan 2009 Agenda Minutes
  • Telecon 20 Jan 2009 Agenda Minutes
  • F2F12, 14-15 January 2009, hosted by Oracle in Portland, OR. Minutes day one, day two
    • RESOLVED: approve test case RDF_Combination_Blank_Node for BLD, Core, PRD, and Safe-Core.
    • RESOLVED: Approve test case RDF_Combination_Constant_Equivalence_2 (for all dialects, and it's Safe).
    • RESOLVED: Approve test case RDF_Combination_Constant_Equivalence_3 (for all dialects, and it's Safe).
    • RESOLVED: Approve test case RDF_Combination_Constant_Equivalence_Graph_Entailment_2 but be sure to make it clear that this is a different kind of test case, about RDF entailment. (Current wiki template does not properly show that.).
    • RESOLVED: Approve test case RDF_Combination_Member_1 for all dialects (BLD, Core, CoreSafe, PRD).
    • RESOLVED: Close issue-39, saying ruleset-imports is in Core, and we're not going to define an "includes" at this time (in part because we don't know what it might mean). 'Imports' ends up in PRD, where it's not ideal, but not really harmful. Some version of PRD may do a more sophisticated import at some point.
    • RESOLVED: PRD will not address interop with RDF and OWL directly -- there is no work to do there. SWC will instead be updated to be phrased in terms of [safe] Core, so it can be (in most ways) inherited for PRD.
    • RESOLVED: Close issue-82, given understandings in discussion so far today. Core as specialization of PRD is just work to do. Yes, safeness restriction will resolve backward chaining problem (action on Jos). Does Core compatibility with RDF+OWL extend to PRD? only to the extend that's automatic through Core.
    • RESOLVED: Close issue-48. membership (#) in Core facts and conditions. subclass (##) not in Core.
    • RESOLVED: close issue-68 with no Named-Argument Uniterms (NAU) in Core or PRD.
    • RESOLVED: Close issue-72 saying "No" (Option D). (Nothing like skolem functions in Core.) We regret we were unable to find a good design to address this need.
    • RESOLVED: Close issue-33 with the understand that our mechanisms for accessing RDF and XML data sources, and using externals, will be sufficient.
    • RESOLVED: Close issue-78. The only Externals in BLD (and Core, and PRD) will be Predicates and Functions. No external frames, no external equality, etc.
    • RESOLVED: Close issue-69; there will be a Core schema, included in BLD and PRD schemas. see ACTION-692.
    • RESOLVED: Close issue-46; no decision to make at this time. If someone produces a proposal for modules, we may consider it.
    • RESOLVED: Add xsd:nonNegativeInteger, xsd:anyURI, xsd:hexBinary, xsd:base64Binary to RIF Core. In RIF, the xsd numeric types will have disjoint value spaces (as in XSD1.1, unlike current OWL 2 drafts)-- we'll push for OWL to change and assume they will. [The owl:* types will be decided separately. Value spaces of Binaries will be decided separately. When those are decided, it will close issue-81].
    • RESOLVED: Add owl:real and owl:realPlus to RIF Core, BLD, PRD.
  • Telecon 13 Jan 2009: Cancelled
  • Telecon 6 January 2009 Agenda Minutes
    • RESOLVED: add isLiteralOfType and isLiteralNotOfType (Changing guards to return true only for literals that are/are not of the type, false for non-literals) and remove specific type-named guards (e.g. isInteger, isNotInteger). Closing ISSUE-79 and the membership/non-membership part of ISSUE-80.
  • Telecon 30 December 2008: Cancelled
  • Telecon 23 December 2008 Agenda Minutes
  • Telecon 16 December 2008 Agenda Minutes
  • Telecon 9 December 2008 Agenda Minutes
    • RESOLVED: Replace in UCR the requirement on Rule language coverage by the following statement: Because of the great diversity of rule languages, no one interchange language is likely to be able to bridge between all. Instead, RIF provides dialects which are each targeted at a cluster of similar rule languages. RIF must allow intra-dialect interoperation, i.e. interoperability between semantically similar rule languages (via interchange of RIF rules) within one dialect, and it should support inter-dialect interoperation, i.e. interoperation between dialects with maximum overlap.
    • RESOLVED: Publish UCR as WD4
    • RESOLVED: Publish Core as WD2
    • RESOLVED: Publish PRD as WD2
    • RESOLVED: Publish DTB as WD2
  • Telecon 2 December 2008 Agenda Minutes
    • RESOLVED: to publish the test case document as FPWD (conditional on Sandro's approval of modifications)
  • Telecon 25 Nov 2008 Agenda Minutes
    • RESOLVED: Include in UCR a new requirement on Internationalized text: RIF must support internationalized text - that is, text that additionally conveys information in terms of a language tag.
    • RESOLVED: Add equal and not-equal builtins for string in DTB.
  • Telecon 18 Nov 2008 Agenda Minutes
  • Telecon 11 Nov 2008 Agenda Minutes
    • RESOLVED: Publish rdf:text as a FPWD, jointly with OWL-WG, adding an editor's note about infinity (actions Jos, Axel)
    • RESOLVED: In RIF-PRD, the conflict resolution strategy for a set of rules will be indicated in some way, associated with the top-level group. RIF-PRD 1.0 will specify only one normative conflict resolution strategy, as specified in csma's email [9] (essentially: refraction+priority+recency).
    • RESOLVED: RIF-PRD 1.0 MAY specify other conflict resolution strategies for suggested use, but these will not be mandatory.
    • RESOLVED: Close ISSUE-64.
  • Telecon 4 November 2008 Agenda Minutes
    • RESOLVED: Parameterize the conformance clauses of Core with safeness requirements "strict" and "none" (default: "none"). Closing ISSUE-70.
  • Telecon 28 Oct 2008 CANCELLED
  • Telecon 21 Oct 2008 Agenda Minutes
    • RESOLVED: Core should keep safe disjunction in rule bodies. Implementations can be direct or use a well-known preprocessing step.
    • RESOLVED: Close Issue-75.
    • RESOLVED: accept Test Case Annotation Entailment
  • Telecon 14 Oct 2008 Agenda Minutes
  • Telecon 7 Oct 2008 Agenda Minutes
    • RESOLVED: Add "New" construct with Gary's proposed semantics to represent the creation of new frame objects in then-part of PRD rules; not excluding extending it later with the use of constructors once we resolve how to call "methods".
    • RESOLVED: Add a construct with Gary's proposed semantics to represent the declaration of local variables for binding to New frames in the then-part of PRD rules ; not excluding that later resolutions might extend the use of local variables in the action part.
    • RESOLVED: Extend "Retract" construct with Gary's semantics to represent the removal of a frame object in then-part of PRD rules, that is, to represent the removal of an object from the instances of its class as well as all the frames with that object in the object position.
    • RESOLVED: accept http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_2
  • Telecon 30 Sep 2008 Agenda Minutes
  • F2F11 Sept 26-27, 2008, NY; Minutes of Day 1 Day 2
  • Telecon 23 Sep 2008 Agenda Minutes
    • RESOLVED: Each RIF test case MUST, eventually, be provided in RIF XML, and MAY be provided in some syntax for which a translator-to-XML has been promised. The translator SHOULD be available for use by the WG to check the translation.
  • Telecon 16 Sep 2008 Agenda Minutes
    • RESOLVED: Core will not have equality in the conclusion
  • Telecon 9 Sep 2008 Agenda Minutes
    • RESOLVED: Core will not have named-argument uniterms
  • Telecon 2 Sep 2008 Agenda Minutes
  • Telecon 26 Aug 2008 Agenda Minutes
  • Telecon 18 Aug 2008 Agenda Minutes
  • Telecon 12 Aug 2008 Agenda Minutes
  • Telecon 5 Aug 2008 Agenda Minutes
    • RESOLVED: Remove section 4.3.5 (casting function for rif:iri) from DTB.
  • New WDs published: UCR, FLD, DTB, and PRD
  • Telecon 29 July 2008 Agenda Minutes
  • Telecon 22 July 2008 Agenda Minutes
  • Telecon 15 July 2008 Agenda Minutes
  • Telecon 8 July 2008 Agenda Minutes
  • Telecon 1 July 2008 Agenda Minutes
    • RESOLVED: Mark "External Frames" AT RISK in BLD.
    • RESOLVED: Change the tag name of the sub elements of Equal in BLD XML from side to left and right
  • Telecon 24 June 2008 Agenda Minutes
    • RESOLVED: BLD refers to DTB by version number. If/when dialects need other things, they refer to new versions. BLD still refers to old one.
  • Telecon 17 June 2008 Agenda Minutes
  • Telecon 10 June 2008 Agenda Minutes
    • RESOLVED: reword req. 5.2.8 to "RIF semantics"
    • RESOLVED: replace req. 5.2.9 with re-wording: "The semantics of a RIF document must be uniquely determined by the content of the document, without out-of-band data."
    • RESOLVED: change req. 5.2.12 to "must" support ability to merge rule sets
    • RESOLVED: change req. 5.2.13 "will" to "must" & remove parenthetical comment: RIF must support the identification of rule sets.
    • RESOLVED: Move 5.3.1 to 5.2.14 and make it a SHOULD instead of MUST. (support XML as data)
  • Telecon 3 June 2008 Agenda Minutes
    • RESOLVED: change text of 5.1.3 to: It must be possible to create new RIF dialects which extend existing dialects (thus providing backward compatibility) and are handled gracefully by systems which support existing dialects (thus providing forward compatibility).
    • RESOLVED: For this next draft of UCR, add an editor's note to 5.1.6 to note that we're still working on how to define a coverage requirement. (unless we come up with some consensus text before publication)
    • RESOLVED: rephrase 5.2.1 to: The RIF specifications must provide clear conformance criteria, defining what is or is not a conformant RIF implementation.
  • F2F10 26-28 May, 2008, Galway Minutes
    • RESOLVED: Publish BLD as last call!
    • RESOLVED: Publish SWC as last call!
    • RESOLVED: Publish DTB and PRD as FPWD
    • RESOLVED: Publish FLD as 2PWD
    • RESOLVED: Request a 1-year extension
    • ...over 40 resolutions passed
  • Telecon 20 May 2008 Agenda Minutes
  • Telecon 13 May 2008 Agenda Minutes
    • RESOLVED: to close ISSUE-52 per the current version of BLD and SWC drafts, with the understanding that ISSUE-33 and ISSUE-39, and the new issue to be raised about profile mixing, are moved out of BLD critical path as a consequence.
    • RESOLVED: (on Axel's point 4) go with Prefix as Axel proposes (whitespace between prefix name and uri), as long as in the presentation syntax it is in a pre-amble, as a directive, so it is not easily confused with a fact.
    • RESOLVED: Presentation Syntax will follow option 1a (where Const ::= ANGLEBRACKIRI | CURIE | STRING^^ANGLEBRACKIRI | STRING^^CURIE )
  • Telecon 6 May 2008 Agenda Minutes
  • Telecon 29 April 2008 Agenda Minutes
  • Telecon 22 April 2008 Agenda Minutes
    • RESOLVED: ISSUE-37 is not critical path for BLD.
    • RESOLVED: ISSUE-38 is not critical path for BLD.
    • RESOLVED: ISSUE-46 is not critical path for BLD.
    • RESOLVED: ISSUE-48 is not critical path for BLD.
  • Telecon 15 April 2008 Agenda Minutes
    • RESOLVED: That FLD be published as a FPWD with [three additional] Editor's Notes.
    • RESOLVED: That BLD be published as a WD with [three additional] Editor's Notes (same as FLD).
    • RESOLVED: Publish rif-rdf-owl (aka SWC) as WD.
    • RESOLVED: Close ISSUE-14. It is addressed in the RDF+OWL document
    • RESOLVED: Close ISSUE-15. It is addressed in the RDF+OWL document
    • RESOLVED: Close ISSUE-24. It is addressed in the RDF+OWL document. At the time the issue was opened, Core was BLD.
    • RESOLVED: Close ISSUE-16, it is addressed (as far as Phase 1) in FLD and BLD through the external call mechanism
    • RESOLVED: Postpone ISSUE-17, ISSUE-18, ISSUE-19 and ISSUE-20. They are not covered by Phase I of RIF.
    • RESOLVED: Close ISSUE-21 - unclear what it means and most likely subsumed by ISSUE-38.
    • RESOLVED: Remove ISSUE-26 from critical path (of BLD 1.0).
  • Telecon 8 April 2008 Agenda Minutes
    • RESOLVED: Repeal resolution regarding moving "RIF-BLD as a specialization of FLD" to appendix and keep that as last section before refs
  • Telecon 1 April 2008 Agenda Minutes
  • Telecon 25 March 2008 Agenda Minutes
    • RESOLVED: Use fully-striped syntax for next WD (option 3 from here)
  • Telecon 18 March 2008 Agenda Minutes
    • RESOLVED: Open an issue on terminology around terms/functions/predicates and include an editorial comment in WD2 asking for feedback, but keep "atom" and "expr" for this draft.
    • RESOLVED: remove nested Foralls for BLD WD2. Maybe we'll get some use case some day for putting them back in.
  • Telecon 11 March 2008 Agenda Minutes
    • RESOLVED: BLD builtins are not sensitive to order of evaluation (closing issue-40).
    • RESOLVED: Approve Michael's alternative proposal on lists and update FLD+BLD syntax/semantics accordingly to reflect that and the previous resolution on lists
  • Telecon 4 March 2008 Agenda Minutes
  • F2F9 21-22 Feb, 2008, Paris Agenda Minutes
    • RESOLVED: Create a new Document with provisional title "Data Types and Builtins" to contain elements common to all dialects with Harold and Axel as editors.
    • RESOLVED (REPEALED on 8 Apr): make "specialization of FLD" sections (of BLD) appendices, leaving standalone sections in place, and making both standalone and specialization normative.
    • RESOLVED: make argument names distinct.
    • RESOLVED: We keep named arguments, explaining in BLD that: A RIF consumer that does not support named arguments can implement them, with relative ease, by treating them as positional arguments (of a different predicate, formed in a stable but implementation-dependent way) in the lexical order of the argument names. (Closing ISSUE-44).
    • RESOLVED: No reification in BLD. This is like WD1, except no nested frames. A change from 18-Feb draft: Equality, frames, subclass, membership are no longer terms.
    • RESOLVED: (Approach 3) Functions on error return an error element that is in the domain. BLD Spec does not require that predicates return F on error, just that they have a truth value. BLD spec recommends using guards with builtins, to give predictability. Without guards, rules may behave unpredictability on error.
  • Telecon 19 February 2008 Agenda Minutes
  • Telecon 12 February 2008 Agenda Minutes
    • RESOLVED: Fixed interpretation functions will be represented as functions and fixed interpretation relations as predicates, rather than representing functions as predicates.
  • Telecon 5 February 2008 Agenda Minutes
  • Telecon 29 January 2008 Agenda Minutes
    • RESOLVED: to close issue 36 without action (that is, direct mapping between presentation and XML syntaxes, e.g. presented as a table).
  • Telecon 22 January 2008 Agenda Minutes
    • RESOLVED: close issue 45 by including lists in BLD as sequences for both presentation and XML syntaxes.
  • Telecon 15 January 2008 Agenda Minutes
    • RESOLVED: to close issue 47 without action (i.e. equality stays in BLD as it is currently specified)
  • Telecon 8 January 2008 Agenda Minutes
    • RESOLVED: Close Issue-43 by including in BLD subclass formulae of the form a ## b. In the RDF compatibility document, ## and rdfs:subClassOf will be connected appropriately, i.e. whenever a ## b holds, a rdfs:subClassOf b is required to hold.
    • RESOLVED: Close Issue-41 by including in BLD membership formulae of the form c # a. In the RDF compatibility document, # and rdf:type will be connected appropriately, i.e. a # b holds iff a rdf:type b holds.
  • Telecon 18 December 2007 Agenda Minutes
  • Telecon 11 December 2007 Agenda Minutes
    • RESOLVED: Go with Axel's option C, that is using a special syntax to distinguish evaluated functions/predicates from logical functions/predicates
  • Telecon 4 December 2007 Agenda Minutes
    • RESOLVED: Close Issue 42 such that the relationship between the xml syntax treatment of constants and the presentation treatment of constants is specified in the syntax mapping table
  • Telecon 27 November 2007 Agenda Minutes
  • Telecon 20 November 2007 Agenda Minutes
    • RESOLVED: close ISSUE-2 based on Jos' analysis
    • RESOLVED: We'll refer to XSD 1.0 instead of XSD 1.1 in our document for now, including a clear note that it our intention to change to XSD 1.1 when it becomes available, so that people can use XML 1.1.
  • Telecon 13 November 2007 Agenda Minutes
  • F2F8: Nov. 5-6, Boston, MA F2F8 Minutes day1 Minutes day2 Minutes PRD breakout session
    • RESOLVED: All official (ie standard) dialects will use the main RIF namespace. We will support user extensions using other namespaces.
    • RESOLVED: WG asks for 6 months extension. Plans to get BLD to Last Call and hold 2 more F2F meetings by end of May.
    • RESOLVED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness, and perhaps slotted terms. We will not get rid of BLD. (Ignoring editorial issues for now) Frames stay in core.
    • RESOLVED: CLOSE ISSUE 25. Addressed by SWC document.
    • RESOLVED: close ISSUE-27 with the understanding that neither RIF Core nor RIF BLD will have constraint logic programming.
    • RESOLVED: close ISSUE-28 with the understanding that RIF Core (as defined earlier today) does not have the problems which caused us to raise this issue.
    • RESOLVED: to close ISSUE-35 with the understanding that this issue is settled in our latest published version of BLD.
    • RESOLVED: no invisible extensions (official or user extensions)
    • RESOLVED: Be nice to Michael until mid-december
  • F2F7 27-28 September 2007, Hawthorne, NY, USA
  • F2F6 2-3 June, 2007, Innsbruck, Austria
  • F2F5 26-28 February, 2007, McLean, Virginia, USA
  • F2F4 4-5 November 2006, Athens, Georgia, USA
  • F2F3 8-9 June 2006, Budva, Montenegro
  • F2F2 27-28 February 2006, Cannes-Mandelieu, France
  • F2F1 8-9 December 2005, Burlingame, California, USA