- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Sat, 12 Jul 2003 16:00:00 +0200
- To: Jim Hendler <hendler@cs.umd.edu>
- Cc: webont <www-webont-wg@w3.org>
Jim - forgot to include the list of tests that we can prove; here it is:
<http://www.w3.org/2002/03owlt/differentFrom/Manifest002#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/disjointWith/Manifest002#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest661#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/I4.6/Manifest003#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest001#test>
<#proofFound> <#InconsistencyTest>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/complementOf/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/imports/Manifest010#test> <#proofFound>
<#OWLforOWLTest>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/oneOf/Manifest002#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/maxCardinality/Manifest002#test>
<#proofFound> <#InconsistencyTest>.
<http://www.w3.org/2002/03owlt/AllDifferent/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/oneOf/Manifest003#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/distinctMembers/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest664#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/inverseOf/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest001#test> <#proofFound>
<#OWLforOWLTest>.
<http://www.w3.org/2002/03owlt/sameAs/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/imports/Manifest001#test> <#proofFound>
<#ImportEntailmentTest>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest008#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest002#test> <#proofFound>
<#OWLforOWLTest>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/I5.1/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest009#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/I5.8/Manifest011#test> <#proofFound>
<#OWLforOWLTest>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest003#test> <#proofFound>
<#InconsistencyTest>.
<http://www.w3.org/2002/03owlt/imports/Manifest003#test> <#proofFound>
<#ImportEntailmentTest>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest667#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest002#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/Nothing/Manifest001#test> <#proofFound>
<#InconsistencyTest>.
<http://www.w3.org/2002/03owlt/I5.5/Manifest004#test> <#proofFound>
<#InconsistencyTest>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/description-logic/Manifest104#test>
<#proofFound> <#InconsistencyTest>.
<http://www.w3.org/2002/03owlt/equivalentClass/Manifest003#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/unionOf/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/differentFrom/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003#test>
<#proofFound> <#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/unionOf/Manifest002#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/disjointWith/Manifest001#test> <#proofFound>
<#PositiveEntailmentTest>.
<http://www.w3.org/2002/03owlt/intersectionOf/Manifest001#test>
<#proofFound> <#PositiveEntailmentTest>.
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Jos
De_Roo/AMDUS/MOR/Agfa-NV/BE To: "Jim Hendler <hendler"
/BAYER@AGFA cc: webont <www-webont-wg@w3.org>
Sent by: Subject: Re: WOWG: We need your results on the Tests
www-webont-wg-request@w3.or
g
2003-07-12 03:17 AM
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 Saturday, 12 July 2003 10:00:18 UTC