*20th* Description Logics workshop - Call for Papers
2007/rif vs 2007/01/rif
20th Description Logics workshop - Extended submission deadline
[ADMIN\ draft minutes of 27 March 2007 telecon
[Admin] Agenda for RIF telecon 13 March (ATTENTION: telecon time!)
[Admin] Agenda for RIF telecon 20 March (corrigendum)
[Admin] Agenda for RIF telecon 6 March
[Admin] Agenda for RIF telecon March 20
[Admin] Agenda for RIF telecon March 27
[Admin] RIF telecon April 3 is cancelled
[F2F6] Possible hosting at ILOG
[Fwd: Last Call for comments on "SPARQL Query Language for RDF"]
[RIF telecon March 27 - Liaisons] --> OMG PRR report
[RIF] Remarks on asn06 abstract syntax
[RIF] Rewording in the CORE WD
[TED] Core WD1, version proposed for publication
ACTION 236 Completed: Propose new intro para for UC5
Action 260: starter discussion enty on "data sets"
ACTION-235 Completed
ACTION-237 completed
Action-258: starter discussion entry on "test cases"
CORE spec frozen for final review
CORE WD - a few remarks
CORRECTED Core WD1, version proposed for publication
F2F5 Agenda
F2F6 Proposals
Garbage at the end of WD1 document
Glossary entry: Abstract syntax
- Christian de Sainte Marie (Tuesday, 13 March)
- Chris Welty (Tuesday, 13 March)
- Gerd Wagner (Sunday, 11 March)
- Dave Reynolds (Friday, 9 March)
- Chris Welty (Friday, 9 March)
- Bijan Parsia (Thursday, 8 March)
- Bijan Parsia (Thursday, 8 March)
- Gerd Wagner (Thursday, 8 March)
- Chris Welty (Thursday, 8 March)
- Gerd Wagner (Wednesday, 7 March)
- Michael Kifer (Wednesday, 7 March)
- Dave Reynolds (Wednesday, 7 March)
Issue formulation
ISSUE-30: What is the definition of rif:uri?
ISSUE-31: RIF Issue about Disjoint Domains for Individuals, Functions, and Predicates
lexical/syntactic uris
Mar 6 2007 telcon minutes
Minute of telecon of 20 March 2007
MISMO business rule exchange POC
Next RIF F2F - answer survey now please
no Zakim -- new RIF details
NOTE corrected URL: [Fwd: Last Call for comments on "SPARQL Query Language for RDF"]
OMG Production Rule Representation revised submission available
phrasing suggestion for RIF core document
possible problem with meeting today (Zakim)
POWDER WG Liaison
RDF and (a subsets of) F-Logic
Remarks about the current Draft
RIF CORE syntax diagrams
rif editors: alt text for images
RIF F2F meeting record
RIF WG Minutes from 13. March 2007 telecon
rif-core draft published
roll-call vote log (for minutes)
Schedule for 1st CORE WD
Small ongoing remarks about WD1
Technical issues in RIF Core WD1
Tentative contribution to the "URI issue"
- Francois Bry (Bry-Haußer) (Thursday, 22 March)
- Michael Kifer (Wednesday, 21 March)
- Dave Reynolds (Wednesday, 21 March)
- Michael Kifer (Wednesday, 21 March)
- Hassan Aït-Kaci (Wednesday, 21 March)
- Michael Kifer (Wednesday, 21 March)
- Michael Kifer (Wednesday, 21 March)
- Michael Kifer (Wednesday, 21 March)
- Jos de Bruijn (Wednesday, 21 March)
- Dave Reynolds (Wednesday, 21 March)
- Dave Reynolds (Wednesday, 21 March)
- Hassan Aït-Kaci (Wednesday, 21 March)
- Michael Kifer (Wednesday, 21 March)
- Jos de Bruijn (Wednesday, 21 March)
- Dave Reynolds (Wednesday, 21 March)
- Michael Kifer (Tuesday, 20 March)
- Francois Bry (Bry-Haußer) (Tuesday, 20 March)
the mechanism for signatures in RIF
- Dave Reynolds (Wednesday, 28 March)
- Michael Kifer (Tuesday, 27 March)
- Dave Reynolds (Tuesday, 27 March)
- Michael Kifer (Tuesday, 27 March)
- Dave Reynolds (Tuesday, 27 March)
- Francois Bry (Bry-Haußer) (Thursday, 22 March)
- Michael Kifer (Thursday, 22 March)
- Francois Bry (Bry-Haußer) (Thursday, 22 March)
- Michael Kifer (Wednesday, 21 March)
- Jos de Bruijn (Wednesday, 21 March)
- Michael Kifer (Wednesday, 21 March)
- Jos de Bruijn (Wednesday, 21 March)
Uncertainty Reasoning group
URI as sort v. URI as spelling for constants
Use of "type" in Section 2.1.3.3 of the WD
WD1 Core
wiki-tr
wiki-tr updates
Last message date: Friday, 30 March 2007 18:44:28 UTC