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

Re: WOWG: We need your results on the Tests

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sat, 12 Jul 2003 03:17:42 +0200
To: "Jim Hendler <hendler" <hendler@cs.umd.edu>
Cc: webont <www-webont-wg@w3.org>
Message-ID: <OFAECD71AB.64B52ADB-ONC1256D61.00050D44-C1256D61.00071D73@agfa.be>


Jim - we took the latest Test Manifest
http://www.w3.org/2002/03owlt/editors-draft/draft/Manifest.rdf
which has 234 tests (not counting the 26 OBSOLETED test cases).
Here's our summary (a "-" means that we don't run such tests):

                          level     tests   proofFound
                                            with Euler
------------------------------------------------------
PositiveEntailmentTest    Lite         25           12
                          DL           19            1
                          Full         36           26

InconsistencyTest         Lite         28            1
                          DL           39            1
                          Full          4            4

ImportEntailmentTest      Full          2            2

NegativeEntailmentTest    Lite          5            -
                          DL            4            -
                          Full          5            -

ConsistencyTest           Lite         20            -
                          DL           25            -
                          Full          7            -

ImportsLevelTest          Lite          3            -
                          DL            1            -
                          Full          1            -

OWLforOWLTest             Lite          1            1
                          DL            1            0
                          Full          3            3

NotOwlFeatureTest         Lite          5            -



Wrt the table in http://www.w3.org/2001/sw/WebOnt/rqim.html
we tried to implement all the features, but are incomplete.


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                                       
                      Jim Hendler                                                                                                      
                      <hendler@cs.umd.e        To:       webont <www-webont-wg@w3.org>                                                 
                      du>                      cc:                                                                                     
                      Sent by:                 Subject:  WOWG: We need your results on the Tests                                       
                      www-webont-wg-req                                                                                                
                      uest@w3.org                                                                                                      
                                                                                                                                       
                                                                                                                                       
                      2003-07-12 12:46                                                                                                 
                      AM                                                                                                               
                                                                                                                                       
                                                                                                                                       





Everyone-
  if you are running our tests through a system, please send me a list
of which tests you pass - including both approved and proposed tests
- even if you only handle a couple, let me know.
  Jos, I need your most up to date Euler results
  Sean, I need your most up to date Vampire results
  Charles, I need your most up to date Cerebra results
  Jeremy, are there any Jena 2.0 results yet?
Also, if you know anyone else who is running tests (e.g. the Racer
guys) please ask them to send me their results
  Guus, are you and Jan running tests - I've seen what he has done
with his Prolog implementation (we are using it for browsing the
extremely large NCI ontology without prolems) - so we should cite it
in the implementations list, but I don't know if he/you are running
any tests
  If anyone else is running tests, please let me know

  I currently have at least some results from:

(alphabetical list):
Euler (Jos)
Vampire (Sean)
Cerebra (Charles)
E-wallet (Fabien Gandon, CMU)
OWLLET (Bijan Parsia, UMCP)
PELLET (Ron Alford, UMCP)
OWLLISA (Jordan Katz, UMCP)

and hope we'll get some from
RACER
cwm/otter








--
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-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***
Received on Friday, 11 July 2003 21:17:54 GMT

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