W3C

- DRAFT -

RIF Telecon 23-Jun-2009

23 Jun 2009

Agenda

See also: IRC log

Attendees

Present
ChrisW, hak, Stella_Mitchell, [NRCC], Leora_Morgenstern, csma, AxelPolleres, Gary, LeoraMorgenstern
Regrets
DaveReynolds, AdrianPaschke, MichaelKifer, ChanghaiKe, JosDeBruijn
Chair
Chris Welty
Scribe
Hassan

Contents


 

 

Admin

<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

Liason

<AxelPolleres> dialing.

Action Review

OWL WG report ... (Axel no yet connected ChrisW summing up) document is at Call for implementation phase

Axel: SPARQL WG reports on status ...

Publications

<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 ...

Test Cases

csma: could we add a mention of the date for the next deadline for the review period

Mime types and acknowledgements

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)

Test Cases

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

Summary of Action Items

[NEW] 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]
[NEW] 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]
 
[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.135 (CVS log)
$Date: 2009/06/23 16:32:23 $

Scribe.perl diagnostic output

[Delete this section before finalizing the minutes.]
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]