- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Tue, 26 Aug 2003 01:44:30 +0200
- To: Charles.White@networkinference.com
- Cc: www-webont-wg@w3.org
Hi Charles - we had included some pointers in a recent message
Ha, here it is
http://lists.w3.org/Archives/Public/www-webont-wg/2003Aug/0113.html
[[
[1] http://www.agfa.com/w3c/temp/owl-proof.n3
which is rather long (480 pages)
[2] http://www.agfa.com/w3c/euler/owl-rules.n3
which still might contain bugs
[3] http://www.agfa.com/w3c/temp/owl.txt
summary of testresults
]]
So the results are in [3] and the details in [1] pointing to [2].
We have been able to run description-logic/Manifest203, 206, 663, 666
as well but with a customized ruleset and also 208 and 668 except
for the conclusion
oiled:V16448 rdf:type oiled:C122.
for which I asked Sean's advice in message
http://lists.w3.org/Archives/Public/www-webont-wg/2003Aug/0106.html
We are not able to run description-logic/Manifest502 and 504.
For
AnnotationProperty/Manifest001
miscellaneous/Manifest205
Thing/Manifest001
imports/Manifest002
I5.8/Manifest012
we actually find a proof (we can't switch off datatyping, we don't
look to owl:imports and we believe in OWL Full ;-))
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
"Charles White"
<Charles.White@networkinf To: Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA
erence.com> cc: <www-webont-wg@w3.org>
Subject: RE: AGENDA/LOGISTICS - telecon of Aug 21
2003-08-26 12:16 AM
Jos and others,
Could you all send me some encapsulated results or pointers to them of how
your tools fare on the testcases.
Jos seems to have the jump here with 255 of 268, so I just have to track
the other 13 :-)
Thanks,
chas
> -----Original Message-----
> From: Jos De_Roo [mailto:jos.deroo@agfa.com]
> Sent: 20 August 2003 13:11
> To: Jim Hendler <hendler
> Cc: www-webont-wg@w3.org
> Subject: Re: AGENDA/LOGISTICS - telecon of Aug 21
>
>
>
>
> Jim - my regrets for tomorrows telecon as I'm on vacation.
>
> I'm still working (partly) on running the testcases
> and actually passing 255 of the 268 tests [1]
> (plus 5 tests are failing for silly reasons)
> but there is still a lot of work to improve [2].
>
>
> --
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
>
> [1] http://www.agfa.com/w3c/temp/owl.txt
> [2] http://www.agfa.com/w3c/euler/owl-rules
>
>
>
>
>
>
> Jim Hendler
>
>
> <hendler@cs.umd.e To:
> yasser.alsafadi@philips.com,
> Jean-Francois.Baget@inrialpes.fr,
> du>
> seanb@cs.man.ac.uk, Jonathan@openhealth.org,
> StephenB@stilo.com, sb@stilo.com,
>
> jjc@hplb.hpl.hp.com, connolly@w3.org,
> peter.crowther@networkinference.com,
> 2003-08-20 08:09
> jdale@fla.fujitsu.com, Jos
> De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA,
> PM
> dder@ecs.soton.ac.uk, mdean@bbn.com,
> Jerome.Euzenat@inrialpes.fr, dieter@cs.vu.nl,
>
> finin@cs.umbc.edu, nmg@ecs.soton.ac.uk, phayes@ai.uwf.edu,
> sandro@w3.org,
>
> heflin@cse.lehigh.edu, ziv@unicorn.com,
> bernard.horan@sun.com,
>
> horim@res.kutc.kansai-u.ac.jp, horrocks@cs.man.ac.uk,
>
>
> ruediger.klein@daimlerchrysler.com, dlm@ksl.stanford.edu,
> ora.lassila@nokia.com,
>
> e.motta@open.ac.uk, lobrst@mitre.org,
> pfps@research.bell-labs.com, ms@mitre.org,
>
> schreiber@swi.psy.uva.nl, shimizu@intap.or.jp,
> michael.smith@eds.com,
>
> StantonJ@ncr.disa.mil, lynn.stein@olin.edu,
> herman.ter.horst@philips.com,
>
> lynne.thompson@unisys.com, Frank.van.Harmelen@cs.vu.nl,
> volz@fzi.de,
>
> ewallace@cme.nist.gov, welty@us.ibm.com,
> Charles.White@networkinference.com,
>
> jyanosy@motorola.com, bernard.vatant@mondeca.com, Dieter
> Fensel
>
> <dieter.fensel@uibk.ac.at>
>
> cc:
> webont <www-webont-wg@w3.org>
>
> Subject:
> AGENDA/LOGISTICS - telecon of Aug 21
>
>
>
>
>
>
>
>
> WOWGers - again apologies for direct mailing - sobig.f is sending
> gigabytes of email per hour to W3C servers, so webont list is still
> out of commission. I'm cc'ing this message to list so it will be
> archived if/when the servers are fixed.
> We expect to have a telecon tomorrow (Thurs) as usual -
> agenda below.
> -JH
>
> ===========================================
> AGENDA Teleconference Web Ontology Working Group
> Aug 21, 2003, 1200 (East US), 0900 (West US). 1700 (London)
> Duration: 60-90 min
>
> Bridge: +1.617.761.6200 passcode 9326#.
> IRC Chat: irc:irc.w3.org (port 6665), #webont
>
> Chair: Jim Hendler
> Scribe: TBD
>
> 1. ADMINISTRIVIA
>
> Role Call
>
> Regrets:
> (none recieved due to mail outage - see mail archive some day after
> sobig.f is quashed)
>
> Approve Minutes of Aug 7:
> http://lists.w3.org/Archives/Public/www-webont-wg/2003Aug/0029.html
>
> Telecon schedule:
> Aug 28 NO telecon
> Sep 4 - telecon, chair Schreiber, scribe TBD
>
>
> 2. ACTION ITEM REVIEW
>
> ACTION: Peter Patel-Schneider: to look over Jeremy's B1 B2 proof
> revision.
>
> 3. CR Director's Decision - owl:imports
>
> OWL is now at CR (pause for cheering and congrats)
> Director's Decision (Member-readable only)
>
http://lists.w3.org/Archives/Member/w3c-ac-members/2003JulSep/0024.html
Summary of discussion on CR request telecon and discussion of
owl:imports (Guus or Dan to summarize)
4. WOWG scheduling/RDF Dependency
RDF caught in a bind due in part to I18N objection. WOWG needs to be
aware of issue
note: WOWG cannot move to PR until RDF Core does - we need to point
at their documents
discussion of whether there is anything we can/should do to help RDF
Core WG
5. AOB
Received on Monday, 25 August 2003 19:44:46 UTC