ISSUE-1 |
CLOSED |
This is a test issue. Please ignore. |
2006-02-20 |
(no longer used) All |
0 |
| ISSUE-2 |
CLOSED |
Using Web-Published Vocabularies |
2006-06-09 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-3 |
CLOSED |
What Motivates XML Syntax? |
2006-08-15 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-4 |
CLOSED |
Should Compliance model Requirement support the Interoperability CSF? |
2006-08-15 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-5 |
CLOSED |
Comments & Suggestions for Use Cases 2.2, 2.3, 2.4, and 2.5 |
2006-08-15 |
UCR Document |
0 |
| ISSUE-6 |
CLOSED |
Comments & Suggestions on several Requirements |
2006-08-15 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-7 |
CLOSED |
UCR Document needs multiple restructuring, revisions, and clarifications |
2006-08-15 |
UCR Document |
0 |
| ISSUE-8 |
CLOSED |
Use Case needed to represent rules in “immanent� ontologies |
2006-08-15 |
(no longer used) Use Cases |
0 |
| ISSUE-9 |
CLOSED |
Proposed changes to Table of Contents in UCR Document |
2006-08-15 |
UCR Document |
0 |
| ISSUE-10 |
CLOSED |
Structure of UCR Document, Section 3, needs improvement |
2006-08-15 |
UCR Document |
0 |
| ISSUE-11 |
CLOSED |
Need to fix formatting in the UCR Working Draft |
2006-08-15 |
UCR Document |
0 |
| ISSUE-12 |
CLOSED |
Proposed new Goal: RIF is useable as the basis for a SW rule language [F2F3] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-13 |
CLOSED |
Proposed new CSF: Efficient implementation is possible [F2F3] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-14 |
CLOSED |
Proposed Phase 2 Requirement: RIF must cover RDF [NOT CP] |
2006-08-17 |
OWL/RDF Compatibility |
0 |
| ISSUE-15 |
CLOSED |
Proposed Phase 2 Requirement: RIF must cover OWL [NOT CP] |
2006-08-17 |
OWL/RDF Compatibility |
0 |
| ISSUE-16 |
CLOSED |
Proposed Phase 2 Requirement: RIF should support external calls (e.g., to query processors) [ NOT CP] |
2006-08-17 |
FLD |
0 |
| ISSUE-17 |
CLOSED |
[POSTPONED] Proposed Phase 2 Requirement: RIF should support uncertain and probabilistic information [NOT CP] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-18 |
CLOSED |
[POSTPONED] Proposed Phase 2 Requirements: Meta-data or Meta-language support [NOT CP] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-19 |
CLOSED |
[POSTPONED] Proposed Phase 2 Requirement: RIF should accept UML instances as data [NOT CP] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-20 |
CLOSED |
[POSTPONED] Proposed Phase 2 Requirement: RIF should accept ORM Fact Model populations as data [NOT CP] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-21 |
CLOSED |
Proposed Phase 2 Requirement: RIF representation of XML is XML* [NOT CP] |
2006-08-17 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-22 |
CLOSED |
Need to define |
2006-08-22 |
(no longer used) Design Constraints (Goals, Requirements) |
0 |
| ISSUE-23 |
CLOSED |
testing |
2006-08-22 |
|
0 |
| ISSUE-24 |
CLOSED |
What is the relationship between OWL and RIF Core [CP] |
2006-12-05 |
OWL/RDF Compatibility |
0 |
| ISSUE-25 |
CLOSED |
What is the relationship between RDF and RIF Core |
2006-12-05 |
OWL/RDF Compatibility |
0 |
ISSUE-26
ROUNDTRIPPING |
CLOSED |
Replication of original rules after roundtripping to RIF [NOT CP] |
2006-12-12 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-27 |
CLOSED |
Constraints in the RIF Core |
2007-02-06 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-28 |
CLOSED |
Recursion in the RIF Core |
2007-02-19 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-29
PROFILES |
CLOSED |
Profiles in the RIF Core [NOT CP] |
2007-02-20 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-30 |
CLOSED |
What is the definition of rif:uri? |
2007-03-19 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-31 |
CLOSED |
RIF Issue about Disjoint Domains for Individuals, Functions, and Predicates |
2007-03-26 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-32 |
CLOSED |
Externally specified data formats/data models in RIF rules |
2007-04-10 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-33 |
CLOSED |
Specification of data sources in RIF [NOT CP] |
2007-04-10 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-34 |
CLOSED |
extensibility of datatype support [CP] |
2007-09-25 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-35 |
CLOSED |
semantics of symbol spaces |
2007-09-25 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-36 |
CLOSED |
Mapping between XML and Presentation Syntaxes [CP] |
2007-09-27 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-37
OOXML |
CLOSED |
Interoperation with Object-Oriented XML (using XML Schema, like JAXB) |
2007-09-27 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-38 |
CLOSED |
Interoperation with Arbitrary XML (like SAX/DOM) [NOT CP] |
2007-09-27 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-39 |
CLOSED |
RIF should support import or inclusion of rulesets [NOT CP] |
2007-09-27 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-40 |
CLOSED |
Builtins and logic functions in BLD [CP] |
2007-10-02 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-41 |
CLOSED |
class membership construct a # c in RIF [CP] |
2007-10-09 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-42 |
CLOSED |
rif:text lexical space definition [CP] |
2007-10-09 |
BLD |
0 |
| ISSUE-43 |
CLOSED |
Subclass relationship ## in RIF-BLD [CP] |
2007-10-16 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-44 |
CLOSED |
Whether to have named argument Uniterms in BLD or not [CP] |
2007-10-30 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-45 |
CLOSED |
Handling of lists in BLD [CP] |
2007-11-05 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-46
MODULES |
CLOSED |
Modules in RIF [NOT CP] |
2007-11-06 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-47 |
CLOSED |
Whether equality should be removed from BLD because it is not so practical to implement [CP] |
2007-11-13 |
BLD |
0 |
ISSUE-48
Membership/subclass in Core? |
CLOSED |
Classification constructs in Core [NOT CP] |
2008-01-15 |
Core |
0 |
ISSUE-49
Naming convention |
CLOSED |
Naming in RIF-BLD EBNF and XML syntax |
2008-03-31 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-50 |
CLOSED |
Semantic metadata |
2008-04-11 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-51 |
CLOSED |
MetaData Syntax and Rule Identification [CP] |
2008-04-15 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-52
Entailment Regimes |
CLOSED |
Specification of OWL & RDF entailment regimes [CP] |
2008-04-20 |
OWL/RDF Compatibility |
0 |
| ISSUE-53 |
CLOSED |
Annotation Properties in OWL [CP] |
2008-04-20 |
OWL/RDF Compatibility |
0 |
ISSUE-54
DL-Safeness |
CLOSED |
What level of safeness in BLD/OWL-Dl combinations is required. |
2008-04-20 |
OWL/RDF Compatibility |
0 |
ISSUE-55
STRIPING |
CLOSED |
Should the XML syntax be fully striped [CP] |
2008-04-20 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-56
Shortcuts |
CLOSED |
Should the presentation syntax have a simplied form in addition to the verbose form [CP] |
2008-04-20 |
BLD |
0 |
ISSUE-57
Syntax Extensibility |
CLOSED |
Does RIF specify an extensibility mechanism? |
2008-04-20 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-58
COMMENTS |
CLOSED |
Embedded Comments in BLD |
2008-04-22 |
BLD |
0 |
ISSUE-59
SURVIVABILITY |
CLOSED |
Survivability of metadata and comments |
2008-04-22 |
BLD |
0 |
| ISSUE-60 |
CLOSED |
profiles of OWL/RDF imports |
2008-05-27 |
OWL/RDF Compatibility |
0 |
ISSUE-61
IRI-Casts |
CLOSED |
Casting to/from rif:iri |
2008-06-10 |
DTB |
0 |
ISSUE-62
actions in PRD |
CLOSED |
Which actions should PRD cover and with what semantics |
2008-06-20 |
PRD |
0 |
ISSUE-63
PRD Ruleset |
CLOSED |
Should PRD have a specific Ruleset construct? |
2008-06-20 |
PRD |
0 |
ISSUE-64
PICK |
CLOSED |
Conflict resolution strategies to be covered by PRD? |
2008-06-20 |
PRD |
0 |
ISSUE-65
FINAL |
CLOSED |
What halting test should PRD cover? |
2008-06-20 |
PRD |
0 |
ISSUE-66
Semantics of actions |
CLOSED |
Operational semantics of actions as covered by PRD? |
2008-06-20 |
PRD |
0 |
ISSUE-67
string-less-than |
CLOSED |
need string predicates string-less-than, etc. (waiting on PS) |
2008-06-24 |
DTB |
0 |
ISSUE-68
NAU in CORE |
CLOSED |
Named argument UNITERM in CORE? |
2008-07-01 |
Core |
0 |
ISSUE-69
Core schema |
CLOSED |
Should there be a Core schema incldued in BLD and PRD schemata? |
2008-07-15 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-70
CoreSafe |
CLOSED |
Should CORE be decideable |
2008-08-20 |
Core |
0 |
ISSUE-71
External functions in Core |
CLOSED |
How can Core access external functions? |
2008-08-21 |
Core |
0 |
ISSUE-72
Skolem functions in Core |
CLOSED |
Should Core support some approximation to skolem functions? |
2008-08-21 |
Core |
0 |
ISSUE-73
Membership/subclass in Core? |
CLOSED |
Should Core support the membership and subclass syntax and semantics? |
2008-08-21 |
Core |
0 |
ISSUE-74
Frame-only Core |
CLOSED |
Should Core support only frames and omit uniterms? |
2008-08-21 |
Core |
0 |
ISSUE-75
Disjunction in Core |
CLOSED |
Should Core allow disjunction in rule bodies |
2008-08-27 |
Core |
0 |
| ISSUE-76 |
CLOSED |
Equality in Core? |
2008-09-02 |
Core |
0 |
ISSUE-77
PS |
CLOSED |
Presentation Syntax and how to express the test cases |
2008-09-16 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-78
EXTERNAL |
CLOSED |
Which to make external: ATOMIC, ATOM, or ATOM|FRAME |
2008-09-27 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-79
Neg Guards |
CLOSED |
Negative guards in DTB - is this another dialect? |
2008-09-27 |
DTB |
0 |
ISSUE-80
Meta-Builtins |
CLOSED |
Should we extend DTB to include more general builtins |
2008-11-04 |
DTB |
0 |
ISSUE-81
OWL2 Builtins |
CLOSED |
Support for additional OWL-RL datatype |
2008-11-04 |
DTB |
0 |
ISSUE-82
Core/Alignement |
CLOSED |
Finalize Core/PRD alignement |
2008-11-06 |
Core |
0 |
ISSUE-83
PS-ambiguity |
CLOSED |
Ambiguity in the BLD PS |
2008-11-12 |
BLD |
0 |
| ISSUE-84 |
CLOSED |
Did we really decide that ## cannot occur at all or that it can occur only in the rule bodies? |
2008-11-24 |
Core |
0 |
| ISSUE-85 |
CLOSED |
What was decided about external functions? |
2008-11-24 |
Core |
0 |
| ISSUE-86 |
CLOSED |
rdf:text implies change to SPARQL |
2009-01-07 |
rdf:text |
0 |
ISSUE-87
string subclassOf text |
CLOSED |
rdf:text document reinterprets xs:string as a subtype of rdf:text |
2009-01-07 |
rdf:text |
0 |
ISSUE-88
string subclass text |
CLOSED |
rdf:text document redefines xs:string as a subclass of rdf:text (bogus duplicate) |
2009-01-07 |
|
0 |
| ISSUE-89 |
CLOSED |
How blank RDF nodes map to PRD (eg object-based rule engines)... probably it is a local variable, so should be no issue... |
2009-01-14 |
|
0 |
| ISSUE-90 |
CLOSED |
Can rif:iri and rdf:text be used as datatypes in RDF graphs, in combination with RIF? ie approve http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_1, http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_Graph_Enta |
2009-01-14 |
OWL/RDF Compatibility |
0 |
| ISSUE-91 |
CLOSED |
Should we put bounded quantifiers into Core? |
2009-01-15 |
Core |
0 |
ISSUE-92
n-ary string builtins |
CLOSED |
N-ary builtins for strings |
2009-01-29 |
DTB |
0 |
ISSUE-93
Datatype IRIs |
CLOSED |
Should datatype IRIs map to the datatypes themselves |
2009-02-17 |
BLD |
0 |
ISSUE-94
Objects |
CLOSED |
How to represent object fields and methods in RIF; esp. interoperability with Java OO model? |
2009-03-02 |
PRD |
0 |
ISSUE-95
Lists |
CLOSED |
Does RIF need a primitive data type (and associated builtins) for lists? |
2009-03-06 |
Technical Design (multiple dialects/documents) |
0 |
ISSUE-96
Infix comparators |
CLOSED |
General literal-< (etc.) predicate that covers < tests for all literals |
2009-03-31 |
DTB |
0 |
ISSUE-97
Core SAFETY |
CLOSED |
Shoudl Core safeness be restricted to Eiter-Schindlauer safeness |
2009-04-01 |
Core |
0 |
| ISSUE-98 |
CLOSED |
Update all specs to reference XML Schema datatypes 1.1 |
2009-04-15 |
Technical Design (multiple dialects/documents) |
0 |
| ISSUE-99 |
CLOSED |
Drop restriction in core that there are no nested externals |
2009-04-15 |
Core |
0 |
| ISSUE-100 |
CLOSED |
Add and back into Core conclusion |
2009-04-15 |
Core |
0 |
ISSUE-101
RDF Syntax Uses Classes |
CLOSED |
Should rdf:type arcs be a part of the RIF-in-RDF mapping? |
2010-06-18 |
RIF in RDF |
0 |
| ISSUE-102 |
CLOSED |
Naming of RDF properties (and maybe classes) in RIF-in-RDF mapping |
2010-06-18 |
RIF in RDF |
0 |
ISSUE-103
Deviations from XDM |
CLOSED |
Deviations from XDM in RIF+XML-data may preclude re-using code developed for XDM |
2010-06-21 |
|
0 |
| ISSUE-104 |
CLOSED |
NCNames in RIF+XML data |
2010-06-21 |
|
0 |
ISSUE-105
RDF IMPORT |
CLOSED |
Importing RIF into RDF documents |
2010-07-30 |
RIF in RDF |
0 |