W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: Test document for review

From: Jim Hendler <hendler@cs.umd.edu>
Date: Mon, 20 Jan 2003 15:00:09 -0500
Message-Id: <p05200f1fba520503368c@[10.0.1.3]>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT