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

Re: results ontology

From: Sandro Hawke <sandro@w3.org>
Date: Thu, 11 Sep 2003 07:58:02 -0400
Message-Id: <200309111158.h8BBw2Wf031695@roke.hawke.org>
To: www-webont-wg@w3.org


Someone asked privately about Euler passing nonentailments and
consistency tests, which it shouldnt be able to do.

I'm curious about that, too.   

I'm thinking of added a tres:note predicate, producing results like
 
      Pass
      Pass [1]
      Pass
      Pass [2]
      Pass [1]
      Pass

where [1] and [2] would be links to explanatory or qualifying notes, where
people can explain why they think this is passing.   :-)

Also, I'm thinking of a bit of text at the top of each section
defining the term, so at the top of Consistency Tests it would say:
   "Pass" means returning "Consistent"
   "Fail" means returing "Inconsistent"
   "Incomplete" means returning "Unknown", not returning, raising
         and error, etc

... but as I write that I'm not even sure we'd agree (or, more to the
point, how OWL Test Cases reads on this).  Some people might consider
dumping core as a kind of Failure.

Of course we never say (I think) what kind of software might pass or
not pass an Entailment or Non-Entailment test, or what it might
return.   Ah well.

      -- sandro
Received on Thursday, 11 September 2003 07:58:04 GMT

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