20th Workshop on Description Logics: call for papers
[Admin] Agenda for RIF telecon 13 February
[Admin] Agenda for RIF telecon 20 February
[Admin] Agenda for RIF telecon 6 February
[Admin] Draft minutes Telecon 20 Feb 2007
[Admin] Minutes for RIF telecon Tuesday(!), 13 February
[Admin] Minutes Janury 30
[Core] Class diagram of the Core meta-model
[CORE] suggestions for assumptions for CORE doc
[F2F5] Monday morning arrival process
[F2F5] Situation on the ground
[F2F] Demos at F2F5: volunteer until Thursday 8 February
[Fwd: FR and UK dial-in numbers for teleconferences]
[Fwd: Telecon times March 12-25]
[RIF] RIFRAF classification schemes
[RIFRAF] ho to proceed? Part I: Ontologization
[RIFRAF] Re: Approaching an XML syntax for RIF
[TED] Core Horn Rules Edited for Slot/Constraint Removal and XML Derivation
[TED] Core Overview Section and Validation Appendix Added
[TED] My Core Actions from Today
[TED] Rif core BNF syntax ambiguity?
[TED] The sutructure of the Core document
[UCR] preliminary review of UCR document
ACTION 227 done - (was: Re: [RIFRAF] ho to proceed? Part I: Ontologization)
ACTION-215 Completed
ACTION-219
ACTION-219: review of CORE (more)
- Ginsberg, Allen (Wednesday, 14 February)
- Bijan Parsia (Wednesday, 14 February)
- Gerd Wagner (Wednesday, 14 February)
- Bijan Parsia (Wednesday, 14 February)
- Gerd Wagner (Wednesday, 14 February)
- Michael Kifer (Tuesday, 13 February)
- Ginsberg, Allen (Tuesday, 13 February)
- Michael Kifer (Tuesday, 13 February)
- Ginsberg, Allen (Tuesday, 13 February)
- Gerd Wagner (Tuesday, 13 February)
- Ginsberg, Allen (Tuesday, 13 February)
- Michael Kifer (Tuesday, 13 February)
- Ginsberg, Allen (Tuesday, 13 February)
- Michael Kifer (Monday, 12 February)
- Ginsberg, Allen (Monday, 12 February)
- Michael Kifer (Monday, 12 February)
- Ginsberg, Allen (Monday, 12 February)
- Michael Kifer (Monday, 12 February)
- Ginsberg, Allen (Monday, 12 February)
ACTION-220: review of CORE
ACTION-228: Phase II requirements - wiki page and requirements as open issues
asn for core, plus generated diagram
asn of "current diagram"
Comments on Frozen CORE draft
CORE Review
Correspondence and Equivalence for Nonmonotonic Theories (CENT2007) - 2nd Call for papers
dinner place
Draft minutes of 6Feb2007 telecon
Draft minutes v.1 of 6Feb2007 telecon
editors working draft of UC&R
F2F5 - network cables
F2F5 Agenda
F2F5 logical rule metamodel discussion
F2F5 lunch question
F2F6 Proposals
Freezing rain in DC area
Frozen CORE draft
Frozen editors draft of UCR for f2f
Homework for next RIF telecon
ISSUE-27: Constraints in the RIF Core
- RIF (Tuesday, 6 February)
ISSUE-28: Recursion in the RIF Core
- Paul Vincent (Monday, 26 February)
- Paul Vincent (Monday, 26 February)
- Gary Hallmark (Monday, 26 February)
- Paul Vincent (Friday, 23 February)
- Michael Kifer (Friday, 23 February)
- Chris Welty (Friday, 23 February)
- Paul Vincent (Friday, 23 February)
- Michael Kifer (Thursday, 22 February)
- Gary Hallmark (Thursday, 22 February)
- Paul Vincent (Thursday, 22 February)
- Michael Kifer (Thursday, 22 February)
- Gary Hallmark (Thursday, 22 February)
- Nichols, Deborah L. (Tuesday, 20 February)
- Paul Vincent (Tuesday, 20 February)
- Michael Kifer (Tuesday, 20 February)
- Axel Polleres (Tuesday, 20 February)
- RIF (Monday, 19 February)
ISSUE-29: Profiles in the RIF Core
- RIF (Tuesday, 20 February)
ISSUE-3: new issue states
- RIF (Tuesday, 27 February)
Late CORE review mostly on syntax issues
March 13&20 RIF telecon times
new diagram
review of RIF Core document
Reviews of first CORE WD for f2f
RIF f2f initialization Mon, Feb 26
RIF F2F phone-in
RIF UCR REVIEW
RIFRAF
Rule metadata?
Some remarks on the actual RIF Positive Conditions
wiki-tr
Last message date: Wednesday, 28 February 2007 16:54:56 UTC