[Admin] Agenda for RIF telecon August 12
[Admin] Agenda for RIF telecon August 18
[Admin] Agenda for RIF telecon August 25
[Admin] Agenda for RIF telecon August 5
[ADMIN] Minutes for today's RIF telecon (12 August 2008)
[ADMIN] Revised minutes for 12 August 2008 telecon
[Core] binding patterns
[Core] binding patterns (was: safety and external predicates)
[DTB] ACTION-511 completed.
[DTB] summary of editorial issues (completes ACTION-552)
[F2F] Prefered location for F2F11
[PRD] Default conflict resolution strategy (ISSUE-64)
[RIF Test Cases] Abridged Presentation syntax
[RIF-Core] Action-561- Document the BLD/PRD syntax intersection
[RIF-test] Consistency/NegativeConsistency tests
[RIF-test] RIF test cases
[RIF] language for test metadata
[RIF] test cases from Axel
[RIF][Admin] Minutes Telecon 26 August 2008
[SWIPL] xml format for rules (RIF)
Aug. 19 draft minutes
Aug. 19 telecon
AW: [RIF Test Cases] Abridged Presentation syntax
AW: [RIF-Test] RIF Test Cases
AW: RIF Test Cases document (RIF-Test)
Call for test cases
CORE: nascent issues list
DRAFT: minutes RIF Telecon 5-Aug-08
hello from Yuting Zhao
IBM to acquire Ilog
ISSUE-61: Casting IRIs
ISSUE-70 (CoreSafe): Should CORE be decideable [Core]
ISSUE-71 (External functions in Core): How can Core access external functions? [Core]
ISSUE-72 (Skolem functions in Core): Should Core support some approximation to skolem functions? [Core]
ISSUE-73 (Membership/subclass in Core?): Should Core support the membership and subclass syntax and semantics? [Core]
ISSUE-74 (Frame-only Core): Should Core support only frames and omit uniterms? [Core]
ISSUE-75 (Disjunction in Core): Should Core allow disjunction in rule bodies [Core]
lmost all RE: production rule object creation actions and frame axioms
mailing list for rdf:text (owl:internationalizedString)
New member
Pass PFPS4 comments
positive entailment test page
production rule object creation actions and frame axioms
- Michael Kifer (Thursday, 14 August)
- Gary Hallmark (Thursday, 14 August)
- Michael Kifer (Thursday, 14 August)
- Gary Hallmark (Wednesday, 13 August)
- Michael Kifer (Wednesday, 13 August)
- Gary Hallmark (Wednesday, 13 August)
- Michael Kifer (Wednesday, 13 August)
- Gary Hallmark (Wednesday, 13 August)
- Gary Hallmark (Wednesday, 13 August)
- Michael Kifer (Tuesday, 12 August)
- Gary Hallmark (Tuesday, 12 August)
- Michael Kifer (Tuesday, 12 August)
- Paul Vincent (Tuesday, 12 August)
- Gary Hallmark (Tuesday, 12 August)
pubs
RDF and OWL test cases
rdf:XMLLiteral and white spaces [was: Re: [DTB] summary of editorial issues (completes ACTION-552)]
Regrets for the Aug.12 telecon
Regrets for the Aug.5 telcon
RIF discussion at SWIG at TPAC
RIF Test Cases document (RIF-TCS)
safety and external predicates
- Jos de Bruijn (Thursday, 28 August)
- Dave Reynolds (Thursday, 28 August)
- Jos de Bruijn (Wednesday, 27 August)
- Axel Polleres (Friday, 22 August)
- Dave Reynolds (Friday, 22 August)
- Jos de Bruijn (Thursday, 21 August)
- Dave Reynolds (Friday, 15 August)
- Axel Polleres (Friday, 15 August)
- Michael Kifer (Thursday, 14 August)
- Gary Hallmark (Thursday, 14 August)
- Michael Kifer (Thursday, 14 August)
- Axel Polleres (Thursday, 14 August)
- Michael Kifer (Thursday, 14 August)
- Axel Polleres (Thursday, 14 August)
- Chris Welty (Thursday, 14 August)
- Jos de Bruijn (Tuesday, 12 August)
- Jos de Bruijn (Tuesday, 12 August)
- Axel Polleres (Tuesday, 12 August)
Some testcases for numeric operations...
test cases
Last message date: Sunday, 31 August 2008 19:21:49 UTC