New pages
From RIF
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)- 15:16, 4 February 2013 Round 16 (hist) [4,751 bytes] Sandro (Talk | contribs) (copy 15; now edit....)
- 23:38, 20 November 2012 PER Transition Request (hist) [7,829 bytes] Sandro (Talk | contribs) (copy from PR Transiton and update)
- 15:47, 23 October 2012 Round 15 (hist) [4,792 bytes] Sandro (Talk | contribs) (Created page with "This page has information about a round of publication of working group documents. {{#css:CSS/datatable.css}} __TOC__ == General Information == {| class="open-data-table form-…")
- 15:34, 23 October 2012 Chatlog 2012-10-23 (hist) [1,213 bytes] CommonScribeBot (Talk | contribs) (19 lines added by chatsync)
- 16:24, 11 September 2012 Chatlog 2012-09-04 (hist) [6,554 bytes] CommonScribeBot (Talk | contribs) (99 lines added by chatsync)
- 04:45, 5 July 2012 FLD-copy (hist) [286,349 bytes] Mkifer (Talk | contribs) (Created page with "__NUMBEREDHEADINGS__ {{TR|title=RIF Framework for Logic Dialects}} <div id='editors'> ; Editors: : Harold Boley, National Research Council Canada : Michael Kifer, State Universit…")
- 21:58, 8 June 2011 Chatlot 2011-06-08 (hist) [40,619 bytes] Sandro (Talk | contribs) (debugging commonscribe)
- 18:18, 13 May 2011 Round 14 (hist) [2,260 bytes] Sandro (Talk | contribs) (Created page with "This page has information about a round of publication of working group documents. {{#css:CSS/datatable.css}} __TOC__ == General Information == {| class="open-data-table form-…")
- 01:17, 25 March 2011 Round 13 (hist) [2,296 bytes] Sandro (Talk | contribs) (need an ED of RIF-in-RDF)
- 00:34, 13 October 2010 AtomicModify (hist) [14,446 bytes] Cdesaint (Talk | contribs) (Created page with "__NUMBEREDHEADINGS__ {{TR|title=AtomicModify}} <div id='editors'> ; Editor: : Christian de Sainte Marie, IBM </div> ; Abstract : <div id='abstract'><p></p> <p></p> <p></p> <p>Thi…")
- 20:33, 25 August 2010 Chatlog 2010-08-25 (hist) [8,809 bytes] CommonScribeBot (Talk | contribs) (117 lines added by chatsync)
- 05:59, 22 June 2010 Errata (hist) [44,259 bytes] Sandro (Talk | contribs) (Created page with 'Please report any suspected errors to public-rif-comments@w3.org ([http://lists.w3.org/Archives/Public/public-rif-wg/ public archive]). Confirmed errors will be documented on th…')
- 02:56, 16 June 2010 Round 12 (hist) [5,390 bytes] Sandro (Talk | contribs) (Created page with 'This page has information about a round of publication of working group documents. {{#css:CSS/datatable.css}} __TOC__ == General Information == {| class="open-data-table form-…')
- 22:38, 12 June 2010 Primer (hist) [66,632 bytes] Hboley (Talk | contribs) (Created page with '__NUMBEREDHEADINGS__ {{TR|title=RIF Primer}} <div id='editors'> ; Editors: : Leora Morgenstern, Courant Institute, NYU : Harold Boley, National Research Council Canada : Chris We…')
- 01:45, 9 May 2010 Response to StH1 (hist) [2,106 bytes] Mkifer (Talk | contribs) (Created page with 'From: Stijn Heymans <heymans@kr.tuwien.ac.at> I read through the appendix on Herbrand Semantic Structures in the FLD, and am happy so see such a useful addition. I have some…')
- 15:46, 4 May 2010 OWL Combination Invalid DL Import (hist) [881 bytes] Jdebruij2 (Talk | contribs) (Created page with '{{TestCase |type=ImportRejectionTest |author=JosDeBruijn |status=Proposed |dialect=Core |importProfile=OWL-Direct |purpose=Test that an invalid combination is rejected |desc=…')
- 17:07, 23 April 2010 Round 11 (hist) [2,358 bytes] Sandro (Talk | contribs) (New page: This page has information about a round of publication of working group documents. {{#css:CSS/datatable.css}} __TOC__ == General Information == {| class="open-data-table form-table" !{{...)
- 15:55, 19 April 2010 RIF-OO (hist) [14,509 bytes] Christian de Sainte Marie (Talk | contribs) (New page: {{TR|title=An object-oriented extension to RIF}} <div id='editors'> ; Editors: : Christian de Sainte Marie, IBM </div> ; Abstract : <div id='abstract'><p></p> <p></p> <p></p> <p>This docum...)
- 14:51, 13 April 2010 PR Transition Request (hist) [9,501 bytes] Christian de Sainte Marie (Talk | contribs) (New page: This is a transition request, and also serves as an agenda for the upcoming Transition Meeting with the Director. __NUMBEREDHEADINGS__ __TOC__ == Titles == {{#css:CSS/datatable.css}} ...)
- 20:59, 29 March 2010 Extension Request 2010 (hist) [1,825 bytes] Sandro (Talk | contribs) (New page: = Overview = The RIF Working Group currently has [http://www.w3.org/News/2009#entry-6545 six active Candidate Recommendations], but its charter expires 31 March 2010. On 23 March, the Wo...)
- 09:10, 23 March 2010 SWC OWL Proofs (hist) [41,575 bytes] JosDeBruijn (Talk | contribs) (New page: == Normalization Lemma == <span id="lem-normalization">'''Normalization Lemma'''</span> Given a combination C=<''R'',{''O<sub>1</sub>'',...,''O<sub>n</sub>''}>, where ''O<sub>1</sub...)
- 01:31, 23 March 2010 Classification-inheritance 2 (hist) [382 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Christian De Sainte Marie |status=Proposed |approval= |dialect=PRD |purpose=Demonstrate and test behavior of frames and membership |desc...)
- 21:40, 22 March 2010 Response to JA (hist) [3,161 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Dear Jose Maria, Thank you for your comments. Please, see our response inlined. > we would like to raise some questions regarding the practical use of > import clause w.r.t RDF data and...)
- 23:19, 7 March 2010 RIF FLD Dialects (hist) [1,156 bytes] MichaelKifer (Talk | contribs) (New page: == RIF Dialects Defined as Specializations of the RIF Framework for Logic Dialects (RIF-FLD) == Apart from RIF BLD, the following dialects have been defined as specializa...)
- 16:34, 2 March 2010 CR Exit (hist) [2,705 bytes] Sandro (Talk | contribs) (New page: Notes for meeting the CR Exit Criteria, ;Core :Since PRD and BLD consumers are Core consumers, we see no need for additional Core consumers. To validate the Core specification, we me...)
- 15:16, 9 February 2010 Round 10 (hist) [3,071 bytes] Sandro (Talk | contribs) (New page: This page has information about a round of publication of working group documents. {{#css:CSS/datatable.css}} __TOC__ == General Information == {| class="open-data-table form-table" !{{...)
- 01:05, 25 January 2010 RIF In RDF (hist) [37,785 bytes] Sandro (Talk | contribs) (first draft)
- 16:45, 24 November 2009 Response to MS (hist) [3,099 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Dear RIF WG! I had a look into the "OWL 2 RL in RIF" FPWD and found a few issues. I will separate them into what I believe are technical errors, editorial errors and suggestions for en...)
- 18:26, 17 November 2009 Extension Request 2009b (hist) [3,351 bytes] Sandro Hawke (Talk | contribs) (from 2009, first para updated)
- 02:23, 11 November 2009 Builtins List (hist) [1,713 bytes] StellaMitchell (Talk | contribs) (list builtins testcase)
- 15:13, 10 November 2009 Response to IH (hist) [1,454 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Dear RIF WG, The current SWC document uses the terms 'OWL Full Semantics' and 'OWL DL Semantics'. However, the OWL Working Group, in the recently published OWL 2 Recommendation, ...)
- 15:09, 10 November 2009 Response to TK3 (hist) [2,128 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Hello, I have some little comments and questions about the XML Serialization Framework, thanks your help! = 'type' attribute for 'Const' = The list in [1] contains - Const ...)
- 15:06, 10 November 2009 Response to DM3 (hist) [2,298 bytes] Christian de Sainte Marie (Talk | contribs) (New page: I am trying to understand the section 3.8 on intended semantic structures. I am not a deep expert in logic, so what may be obvious and implied to experts is alas not obvious to me. (M...)
- 15:02, 10 November 2009 Response to AR5 (hist) [0 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Hi, These BLD test cases from http://www.w3.org/TR/2009/WD-rif-test-20091001/ do not conform with the XML schema for BLD: Annotation_Entailment-premise.rif Individual-Data_Separat...)
- 14:58, 10 November 2009 Response to CD3 (hist) [2,033 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Dear all, I believe that the FLD document does not specify completely the the combination of annotations with remote formulas. First, it is possible to write (* _xpto *) _a() @ ...)
- 14:55, 10 November 2009 Response to AR4 (hist) [2,054 bytes] Christian de Sainte Marie (Talk | contribs) (New page: I have a simple question about FLD syntax and semantics. The XMLSchema says: <xs:element name="Const"> <!-- Const ::= '"' UNICODESTRING '"^^' SYMSPACE | CONSTSHORT...)
- 14:49, 10 November 2009 Response to CD2 (hist) [1,656 bytes] Christian de Sainte Marie (Talk | contribs) (New page: Dear all, The semantics of the several connectives in FLD-RIF is many-valued, with the single exception of the rule implication symbol. The rule implication symbol has only two poss...)
- 16:59, 1 October 2009 Features At Risk (hist) [645 bytes] Sandro (Talk | contribs) (New page: This page lists the features of RIF which are officially considered to be "at risk" and may change or be removed going forward. (In general, substantive changes require a new Last Call re...)
- 14:33, 29 September 2009 AssertRetract2 (hist) [1,167 bytes] Christian de Sainte Marie (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=csma |status=Proposed |approved= |dialect=PRD |purpose=XYZ |desc= |specRef=http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment |pfo...)
- 23:20, 28 September 2009 Response to WL2 (hist) [2,736 bytes] Gary Hallmark (Talk | contribs) (New page: > Jess and Drools appear to agree on the semantics of no-loop. Here is a test case (in rif-like presentation language) eg:P(1) eg:Q(1) eg:Q(2) no-loop rule: if P(1) and Q(?x) then do...)
- 16:30, 28 September 2009 Response to JM (hist) [11,092 bytes] Sandro (Talk | contribs) (first cut with my rough-draft comments)
- 02:25, 28 September 2009 Builtins literal-not-identical (hist) [993 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test the literal-not-identical built-in predicate. |desc= |specRef=h...)
- 02:15, 28 September 2009 Builtins XMLLiteral (hist) [1,057 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test built-in predicates for RDF XMLLiteral datatype |desc= |specRef...)
- 02:13, 28 September 2009 Builtins Time (hist) [10,306 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test built-in predicates and functions on XML Schema date, time and du...)
- 02:12, 28 September 2009 Builtins String (hist) [4,104 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test built-in predicates and functions on XML schema string datatypes ...)
- 02:09, 28 September 2009 Builtins PlainLiteral (hist) [1,770 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test rdf:PlainLiteral built-in predicates and functions. |desc= |spe...)
- 02:08, 28 September 2009 Builtins numeric (hist) [5,268 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test numeric built-in predicates and functions |desc= |specRef=http:...)
- 02:06, 28 September 2009 Builtins boolean (hist) [1,108 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test boolean built-in predicates. |desc= |specRef=http://www.w3.org/...)
- 02:03, 28 September 2009 Builtins base64Binary (hist) [970 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test xs:base64Binary built-in predicates |desc= |specRef=http://www.w...)
- 02:02, 28 September 2009 Builtins anyURI (hist) [921 bytes] StellaMitchell (Talk | contribs) (New page: {{TestCase |type=PositiveEntailmentTest |author=Axel Polleres |status=Proposed |approval= |dialect=Core |purpose= Test xs:anyURI built-in predicates |desc= |specRef=http://www.w3.org/...)
