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