- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Mon, 20 Jan 2003 15:00:09 -0500
- To: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org
At 20:39 +0100 1/20/03, Jeremy Carroll wrote: >The test document for review, intended as the last call wd, as agreed at the >f2f, is: > >http://lists.w3.org/Archives/Public/www-archive/2003Jan/att-0059/01-lcc > >Connolly and Stanton are named reviewers, hopefully by 30th January. > >I suggest other members of the WG will be particularly interested in the >following sections: > >4 >#conformance > > text corresponding to agreement at f2f (I hope) > >5 >#running >Testing an OWL Implementation >completely rewritten since last public WD to better relate to conformance >statements > >#changes >Change Log > > >Jeremy Jeremy - a couple of quick comments: 1 - I would prefer we do not call section 4.2 "software conformance" as we are only discussing a specific type of software (document consistency checkers) - how about renaming it "Document Consistency checking" or something else more specific. 2 - I find the following wording (from section 5.2) to be confusing at best: >Many of the non-entailment tests can be converted into consistency >tests by negating the conclusions. Many of the entailment tests can >be converted into inconsistency tests by negating the conclusions. >When this process is applied to an OWL Lite entailment or >non-entailment, the resulting consistent or inconsistent document is >usually an OWL DL document. I'd suggest either making this more specific (by indicating which tests and what you mean by "negating" as we have no NOT construction) or drop this (my preferences) -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell) http://www.cs.umd.edu/users/hendler
Received on Monday, 20 January 2003 15:00:17 UTC