- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 26 Jun 2003 13:08:09 +0300
- To: www-webont-wg@w3.org
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