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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:41 GMT