Re: Agenda for June 26 telecon

There were three things that I mentioned during the week - one of which could 
be perhaps handled under Test, but its rather more general really.

**** B1 B2 proof
http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0294

**** no explicit type on bnodes
(rdf:List)
http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0302

**** Re: OWL S&AS: Translation to RDF Graphs
http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0339
(this one could come under test, because a minimal requirement is textual 
changes in test, but since these would be in direction contradiction to the 
resolution of a closed issue I thought we should discuss them first:
Issue 5.3, from Consensus e-mail:
http://lists.w3.org/Archives/Public/www-archive/2002Oct/0022
[[
- on Fast OWL, these two model theories hopefully correspond:
  if KB+C is in Fast OWL, then

  KB large-OWL-entails C  iff  KB Fast-OWL-entails C
]]

S&AS - according to Peter
http://lists.w3.org/Archives/Public/www-webont-wg/2003Jun/0265
[[
this does not violate any of the claims in S&AS, as the relevant
theorem is that if an entailment holds in OWL DL then it holds in OWL Full,
not vice versa.
]]

)
Test currently follows the former not the latter.

Received on Thursday, 26 June 2003 07:08:21 UTC