[RIF] language for test metadata
[RIF] test cases from Axel
RIF discussion at SWIG at TPAC
RDF and OWL test cases
ISSUE-75 (Disjunction in Core): Should Core allow disjunction in rule bodies [Core]
New member
FW: [SWIPL] xml format for rules (RIF)
[RIF][Admin] Minutes Telecon 26 August 2008
[Admin] Agenda for RIF telecon August 25
[RIF-Core] Action-561- Document the BLD/PRD syntax intersection
[RIF Test Cases] Abridged Presentation syntax
- Re: [RIF Test Cases] Abridged Presentation syntax
- Re: [RIF Test Cases] Abridged Presentation syntax
- Re: [RIF Test Cases] Abridged Presentation syntax
Aug. 19 draft minutes
test cases
[RIF-test] Consistency/NegativeConsistency tests
positive entailment test page
Call for test cases
ISSUE-74 (Frame-only Core): Should Core support only frames and omit uniterms? [Core]
ISSUE-73 (Membership/subclass in Core?): Should Core support the membership and subclass syntax and semantics? [Core]
ISSUE-72 (Skolem functions in Core): Should Core support some approximation to skolem functions? [Core]
ISSUE-71 (External functions in Core): How can Core access external functions? [Core]
ISSUE-70 (CoreSafe): Should CORE be decideable [Core]
Aug. 19 telecon
Some testcases for numeric operations...
hello from Yuting Zhao
Pass PFPS4 comments
[Admin] Agenda for RIF telecon August 18
[ADMIN] Revised minutes for 12 August 2008 telecon
[DTB] summary of editorial issues (completes ACTION-552)
- Re: [DTB] summary of editorial issues (completes ACTION-552)
CORE: nascent issues list
[RIF-test] RIF test cases
[ADMIN] Minutes for today's RIF telecon (12 August 2008)
production rule object creation actions and frame axioms
- RE: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
- Re: production rule object creation actions and frame axioms
safety and external predicates
- Re: safety and external predicates
- [Core] binding patterns (was: safety and external predicates)
- Re: safety and external predicates
[RIF-Test] RIF Test Cases
[DTB] ACTION-511 completed.
[Admin] Agenda for RIF telecon August 12
mailing list for rdf:text (owl:internationalizedString)
AW: RIF Test Cases document (RIF-Test)
DRAFT: minutes RIF Telecon 5-Aug-08
RIF Test Cases document (RIF-TCS)
Re: [PRD] Default conflict resolution strategy (ISSUE-64)
- Re: [PRD] Default conflict resolution strategy (ISSUE-64)
- Re: [PRD] Default conflict resolution strategy (ISSUE-64)
- Re: [PRD] Default conflict resolution strategy (ISSUE-64)
- Re: [PRD] Default conflict resolution strategy (ISSUE-64)