See also: IRC log
<ChrisW> hi hassan
<ChrisW> hassan can you scribe?
ok
<ChrisW> Scribe: Hassan
<ChrisW> scribenick: hak
I can't hear anything on the phone !
I'll call again ...
<ChrisW> http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/att-0050/RIF-minutes-telecon-9-jun-09.html
<ChrisW> PROPOSED: Approve last week's minutes
<ChrisW> RESOLVE: Approve last week's minutes
<ChrisW> RESOLVED: Approve last week's minutes
<AxelPolleres> dialing.
OWL WG report ... (Axel no yet connected ChrisW summing up) document is at Call for implementation phase
Axel: SPARQL WG reports on status ...
<ChrisW> PROPOSED: Switch the safeness definition, in Core, from the tree-decomposition one to the bottom-up one
<Gary> +1
<StellaMitchell> +1
+0
<ChrisW> +1
<Harold> +1
<LeoraMorgenstern> I am just wondering whether the definition is sufficiently concrete.
<LeoraMorgenstern> (That is, the safeness definition.)
<LeoraMorgenstern> I think it could be reworded to be more in line with standard "mathspeak"
<AxelPolleres> +1
<ChrisW> RESOLVED: Switch the safeness definition, in Core, from the tree-decomposition one to the bottom-up one
Axel: not had time to read thoroughly CSMA's new safeness definition - it looks ok but not sure that how it interferes with all other defs
<AxelPolleres> csma, sounds good to me!
CSMA: did the check and it seems to work
ChrisW: ok so we go ahead an
publish ...
... discussing typesetting tables etc ...
csma: could we add a mention of the date for the next deadline for the review period
csma: mime types are in appendix to BLD ... Should we not move that to CORE ?
Harold: CORE is better
<ChrisW> PROPOSED: move mime types appendix to Core
ChrisW: agrees
+1
<Harold> +1
<ChrisW> RESOLVED: move mime types appendix to Core
ChrisW: who will do that ?
Harold: I will !
No action needed - Harold is doing it now !
ChrisW: editors' notes in CORE
need to be resolved
... let us just erase it
since no one proposed anything re: it
Axel: section 6.2 : ok to remove (Axel will do it)
ChrisW: we leave the note in RDF/OWL to remain (1-2-1 correspondence for list - at risk)
s/lsit/listss/
<AxelPolleres> s/Axel will dlo it/Harold will do it/
<AxelPolleres> :-)
csma: no more ed.'s notes to discuss in CORE
<csma> http://www.w3.org/2005/rules/wiki/RIF_FAQ
<ChrisW> http://www.w3.org/2005/rules/wiki/RIF_FAQ
csma: one more - need to have a look at Sandro's yet to be published FAQ
ChrisW: Sandro at semantic technology Conf. got a lot of questions -> hence our FAQ
Harold: discussing remaining dependencies between BLD and CORE re: mime types (Harold mentioned a removal he did)
Stella: discussing test case notes - dialect changes (bld -> core and core -> bld, etc ...)
<ChrisW> http://www.w3.org/2005/rules/wiki/Annotation_Entailment
Stella: reviewing each note and changes made
<ChrisW> http://www.w3.org/2005/rules/wiki/Frame_slots_are_independent
<ChrisW> http://www.w3.org/2005/rules/wiki/Guards_and_subtypes
<ChrisW> http://www.w3.org/2005/rules/wiki/Local_Predicate
<ChrisW> http://www.w3.org/2005/rules/wiki/Non-Annotation_Entailment
<StellaMitchell> OWL compatibility is now defined for OWL 2, which extends OWL 1. Since annotations have no semantics in OWL 2 DL, the notion of owl-dl-annotation-entailment is rendered meaningless, and has thus been removed.
<ChrisW> http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency_1
<ChrisW> http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency_2
<ChrisW> http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_Graph_Entailment_2
<ChrisW> http://www.w3.org/2005/rules/wiki/RDF_Combination_Member_1
<ChrisW> http://www.w3.org/2005/rules/wiki/RDF_Combination_SubClass
<ChrisW> http://www.w3.org/2005/rules/wiki/RDF_Combination_SubClass_2
<AxelPolleres> are you still at 2?
<ChrisW> http://www.w3.org/2005/rules/wiki/RDF_Combination_Member_1
<ChrisW> http://www.w3.org/2005/rules/wiki/Equality_in_condition
<csma> bld
<csma> unsafe
<csma> ?x is not bound
<csma> isDecimal has binding pattern (b)
<ChrisW> http://www.w3.org/2005/rules/wiki/Inconsistent_Entailment
<AxelPolleres> pred:is-literal-integer
<ChrisW> pred:is-literal-decimal
<ChrisW> http://www.w3.org/2005/rules/wiki/Inconsistent_Entailment
<ChrisW> http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_3
<csma> http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0079.html
<csma> <Cons type="rif:text" xml:lang="EN">
<AxelPolleres> <Cons type="rif:text" xml:lang="EN">Hello!</Cons>
<AxelPolleres> or Cons type="rif:text">Hello!@EN</Cons>
<AxelPolleres> ????
<AxelPolleres> an optional lang tag attribute for rdf:PlainLiteral is *definitly* the better solution, IMO
<ChrisW> ACTION: update XML syntax for Core and BLD to use xml:lang attribute for consts [recorded in http://www.w3.org/2009/06/23-rif-minutes.html#action01]
<trackbot> Sorry, couldn't find user - update
<ChrisW> ACTION: csma to update XML syntax for Core and BLD to use xml:lang attribute for consts [recorded in http://www.w3.org/2009/06/23-rif-minutes.html#action02]
<trackbot> Created ACTION-853 - Update XML syntax for Core and BLD to use xml:lang attribute for consts [on Christian de Sainte Marie - due 2009-06-30].
<AxelPolleres> Attention!!!
<AxelPolleres> http://www.w3.org/2005/rules/wiki/SWC still talks about rdf:text
<AxelPolleres> instead of rdf:PlainLiteral
<ChrisW> ok
<ChrisW> axel, can you change it?
<AxelPolleres> I guess all dosc need to be checked in that respect
This is scribe.perl Revision: 1.135 of Date: 2009/03/02 03:52:20 Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/ Guessing input format: RRSAgent_Text_Format (score 1.00) Succeeded: s/supp/summ/ Succeeded: s/that/that ?/ Succeeded: s/dlo/do/ FAILED: s/lsit/lists/ FAILED: s/Axel will dlo it/Harold will do it/ Succeeded: s/list/lists/ Succeeded: s/???/semantic technology/ Found Scribe: Hassan Found ScribeNick: hak Default Present: ChrisW, hak, Stella_Mitchell, [NRCC], Leora_Morgenstern, csma, AxelPolleres, Gary, LeoraMorgenstern Present: ChrisW hak Stella_Mitchell [NRCC] Leora_Morgenstern csma AxelPolleres Gary LeoraMorgenstern Regrets: DaveReynolds AdrianPaschke MichaelKifer ChanghaiKe JosDeBruijn Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0099.html Got date from IRC log name: 23 Jun 2009 Guessing minutes URL: http://www.w3.org/2009/06/23-rif-minutes.html People with action items: bld core csma for syntax update xml WARNING: Input appears to use implicit continuation lines. You may need the "-implicitContinuations" option.[End of scribe.perl diagnostic output]