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

M/cr syntax validator update.

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Thu, 21 Aug 2003 17:28:37 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.44.0308211718000.1976-100000@potato>


My validator/syntax checker claims to be able to validate that the
documents referred to in the following manifest files are as they claim to
be. If I'm missing any new ones, please let me know! Also, should you wish
to try and verify these results (which would be welcome), the
implementation is available as a servlet at:

http://phoebus.cs.man.ac.uk:9999/OWL/Validator

Cheers,

	Sean

-------------
http://www.w3.org/2002/03owlt/AllDifferent/Manifest001
http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest001
http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest002
http://www.w3.org/2002/03owlt/DatatypeProperty/Manifest001
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest001
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest002
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest003
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest004
http://www.w3.org/2002/03owlt/FunctionalProperty/Manifest005
http://www.w3.org/2002/03owlt/I3.2/Manifest001
http://www.w3.org/2002/03owlt/I3.2/Manifest002
http://www.w3.org/2002/03owlt/I3.2/Manifest003
http://www.w3.org/2002/03owlt/I3.4/Manifest001
http://www.w3.org/2002/03owlt/I4.1/Manifest001
http://www.w3.org/2002/03owlt/I4.5/Manifest001
http://www.w3.org/2002/03owlt/I4.5/Manifest002
http://www.w3.org/2002/03owlt/I4.6/Manifest003
http://www.w3.org/2002/03owlt/I4.6/Manifest004
http://www.w3.org/2002/03owlt/I4.6/Manifest005
http://www.w3.org/2002/03owlt/I4.6/Manifest006
http://www.w3.org/2002/03owlt/I4.6/Manifest007
http://www.w3.org/2002/03owlt/I4.6/Manifest008
http://www.w3.org/2002/03owlt/I5.1/Manifest001
http://www.w3.org/2002/03owlt/I5.1/Manifest010
http://www.w3.org/2002/03owlt/I5.2/Manifest001
http://www.w3.org/2002/03owlt/I5.2/Manifest002
http://www.w3.org/2002/03owlt/I5.2/Manifest003
http://www.w3.org/2002/03owlt/I5.2/Manifest004
http://www.w3.org/2002/03owlt/I5.2/Manifest005
http://www.w3.org/2002/03owlt/I5.2/Manifest006
http://www.w3.org/2002/03owlt/I5.2/Manifest010
http://www.w3.org/2002/03owlt/I5.2/Manifest011
http://www.w3.org/2002/03owlt/I5.21/Manifest001
http://www.w3.org/2002/03owlt/I5.21/Manifest002
http://www.w3.org/2002/03owlt/I5.24/Manifest001
http://www.w3.org/2002/03owlt/I5.24/Manifest002
http://www.w3.org/2002/03owlt/I5.24/Manifest003
http://www.w3.org/2002/03owlt/I5.24/Manifest004
http://www.w3.org/2002/03owlt/I5.26/Manifest001
http://www.w3.org/2002/03owlt/I5.26/Manifest002
http://www.w3.org/2002/03owlt/I5.26/Manifest003
http://www.w3.org/2002/03owlt/I5.26/Manifest004
http://www.w3.org/2002/03owlt/I5.26/Manifest005
http://www.w3.org/2002/03owlt/I5.26/Manifest006
http://www.w3.org/2002/03owlt/I5.3/Manifest005
http://www.w3.org/2002/03owlt/I5.3/Manifest006
http://www.w3.org/2002/03owlt/I5.3/Manifest007
http://www.w3.org/2002/03owlt/I5.3/Manifest008
http://www.w3.org/2002/03owlt/I5.3/Manifest009
http://www.w3.org/2002/03owlt/I5.3/Manifest010
http://www.w3.org/2002/03owlt/I5.3/Manifest011
http://www.w3.org/2002/03owlt/I5.3/Manifest014
http://www.w3.org/2002/03owlt/I5.3/Manifest015
http://www.w3.org/2002/03owlt/I5.5/Manifest001
http://www.w3.org/2002/03owlt/I5.5/Manifest002
http://www.w3.org/2002/03owlt/I5.5/Manifest003
http://www.w3.org/2002/03owlt/I5.5/Manifest004
http://www.w3.org/2002/03owlt/I5.8/Manifest001
http://www.w3.org/2002/03owlt/I5.8/Manifest002
http://www.w3.org/2002/03owlt/I5.8/Manifest003
http://www.w3.org/2002/03owlt/I5.8/Manifest004
http://www.w3.org/2002/03owlt/I5.8/Manifest005
http://www.w3.org/2002/03owlt/I5.8/Manifest006
http://www.w3.org/2002/03owlt/I5.8/Manifest007
http://www.w3.org/2002/03owlt/I5.8/Manifest008
http://www.w3.org/2002/03owlt/I5.8/Manifest009
http://www.w3.org/2002/03owlt/I5.8/Manifest010
http://www.w3.org/2002/03owlt/I5.8/Manifest011
http://www.w3.org/2002/03owlt/I5.8/Manifest012
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest001
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest002
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest003
http://www.w3.org/2002/03owlt/InverseFunctionalProperty/Manifest004
http://www.w3.org/2002/03owlt/Nothing/Manifest001
http://www.w3.org/2002/03owlt/Nothing/Manifest002
http://www.w3.org/2002/03owlt/Restriction/Manifest001
http://www.w3.org/2002/03owlt/Restriction/Manifest002
http://www.w3.org/2002/03owlt/Restriction/Manifest003
http://www.w3.org/2002/03owlt/Restriction/Manifest004
http://www.w3.org/2002/03owlt/SymmetricProperty/Manifest001
http://www.w3.org/2002/03owlt/Thing/Manifest001
http://www.w3.org/2002/03owlt/Thing/Manifest002
http://www.w3.org/2002/03owlt/TransitiveProperty/Manifest001
http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001
http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002
http://www.w3.org/2002/03owlt/cardinality/Manifest001
http://www.w3.org/2002/03owlt/cardinality/Manifest002
http://www.w3.org/2002/03owlt/cardinality/Manifest003
http://www.w3.org/2002/03owlt/cardinality/Manifest004
http://www.w3.org/2002/03owlt/cardinality/Manifest006
http://www.w3.org/2002/03owlt/cardinality/Manifest007
http://www.w3.org/2002/03owlt/complementOf/Manifest001
http://www.w3.org/2002/03owlt/description-logic/Manifest001
http://www.w3.org/2002/03owlt/description-logic/Manifest002
http://www.w3.org/2002/03owlt/description-logic/Manifest003
http://www.w3.org/2002/03owlt/description-logic/Manifest004
http://www.w3.org/2002/03owlt/description-logic/Manifest005
http://www.w3.org/2002/03owlt/description-logic/Manifest006
http://www.w3.org/2002/03owlt/description-logic/Manifest007
http://www.w3.org/2002/03owlt/description-logic/Manifest008
http://www.w3.org/2002/03owlt/description-logic/Manifest009
http://www.w3.org/2002/03owlt/description-logic/Manifest010
http://www.w3.org/2002/03owlt/description-logic/Manifest011
http://www.w3.org/2002/03owlt/description-logic/Manifest012
http://www.w3.org/2002/03owlt/description-logic/Manifest013
http://www.w3.org/2002/03owlt/description-logic/Manifest014
http://www.w3.org/2002/03owlt/description-logic/Manifest015
http://www.w3.org/2002/03owlt/description-logic/Manifest016
http://www.w3.org/2002/03owlt/description-logic/Manifest017
http://www.w3.org/2002/03owlt/description-logic/Manifest018
http://www.w3.org/2002/03owlt/description-logic/Manifest019
http://www.w3.org/2002/03owlt/description-logic/Manifest020
http://www.w3.org/2002/03owlt/description-logic/Manifest021
http://www.w3.org/2002/03owlt/description-logic/Manifest022
http://www.w3.org/2002/03owlt/description-logic/Manifest023
http://www.w3.org/2002/03owlt/description-logic/Manifest024
http://www.w3.org/2002/03owlt/description-logic/Manifest025
http://www.w3.org/2002/03owlt/description-logic/Manifest026
http://www.w3.org/2002/03owlt/description-logic/Manifest027
http://www.w3.org/2002/03owlt/description-logic/Manifest028
http://www.w3.org/2002/03owlt/description-logic/Manifest029
http://www.w3.org/2002/03owlt/description-logic/Manifest030
http://www.w3.org/2002/03owlt/description-logic/Manifest031
http://www.w3.org/2002/03owlt/description-logic/Manifest032
http://www.w3.org/2002/03owlt/description-logic/Manifest033
http://www.w3.org/2002/03owlt/description-logic/Manifest034
http://www.w3.org/2002/03owlt/description-logic/Manifest035
http://www.w3.org/2002/03owlt/description-logic/Manifest101
http://www.w3.org/2002/03owlt/description-logic/Manifest102
http://www.w3.org/2002/03owlt/description-logic/Manifest103
http://www.w3.org/2002/03owlt/description-logic/Manifest104
http://www.w3.org/2002/03owlt/description-logic/Manifest105
http://www.w3.org/2002/03owlt/description-logic/Manifest106
http://www.w3.org/2002/03owlt/description-logic/Manifest107
http://www.w3.org/2002/03owlt/description-logic/Manifest108
http://www.w3.org/2002/03owlt/description-logic/Manifest109
http://www.w3.org/2002/03owlt/description-logic/Manifest110
http://www.w3.org/2002/03owlt/description-logic/Manifest111
http://www.w3.org/2002/03owlt/description-logic/Manifest201
http://www.w3.org/2002/03owlt/description-logic/Manifest202
http://www.w3.org/2002/03owlt/description-logic/Manifest203
http://www.w3.org/2002/03owlt/description-logic/Manifest204
http://www.w3.org/2002/03owlt/description-logic/Manifest205
http://www.w3.org/2002/03owlt/description-logic/Manifest206
http://www.w3.org/2002/03owlt/description-logic/Manifest207
http://www.w3.org/2002/03owlt/description-logic/Manifest208
http://www.w3.org/2002/03owlt/description-logic/Manifest501
http://www.w3.org/2002/03owlt/description-logic/Manifest502
http://www.w3.org/2002/03owlt/description-logic/Manifest503
http://www.w3.org/2002/03owlt/description-logic/Manifest504
http://www.w3.org/2002/03owlt/description-logic/Manifest601
http://www.w3.org/2002/03owlt/description-logic/Manifest602
http://www.w3.org/2002/03owlt/description-logic/Manifest603
http://www.w3.org/2002/03owlt/description-logic/Manifest604
http://www.w3.org/2002/03owlt/description-logic/Manifest605
http://www.w3.org/2002/03owlt/description-logic/Manifest606
http://www.w3.org/2002/03owlt/description-logic/Manifest608
http://www.w3.org/2002/03owlt/description-logic/Manifest609
http://www.w3.org/2002/03owlt/description-logic/Manifest610
http://www.w3.org/2002/03owlt/description-logic/Manifest611
http://www.w3.org/2002/03owlt/description-logic/Manifest612
http://www.w3.org/2002/03owlt/description-logic/Manifest613
http://www.w3.org/2002/03owlt/description-logic/Manifest614
http://www.w3.org/2002/03owlt/description-logic/Manifest615
http://www.w3.org/2002/03owlt/description-logic/Manifest616
http://www.w3.org/2002/03owlt/description-logic/Manifest617
http://www.w3.org/2002/03owlt/description-logic/Manifest623
http://www.w3.org/2002/03owlt/description-logic/Manifest624
http://www.w3.org/2002/03owlt/description-logic/Manifest625
http://www.w3.org/2002/03owlt/description-logic/Manifest626
http://www.w3.org/2002/03owlt/description-logic/Manifest627
http://www.w3.org/2002/03owlt/description-logic/Manifest628
http://www.w3.org/2002/03owlt/description-logic/Manifest629
http://www.w3.org/2002/03owlt/description-logic/Manifest630
http://www.w3.org/2002/03owlt/description-logic/Manifest631
http://www.w3.org/2002/03owlt/description-logic/Manifest632
http://www.w3.org/2002/03owlt/description-logic/Manifest633
http://www.w3.org/2002/03owlt/description-logic/Manifest634
http://www.w3.org/2002/03owlt/description-logic/Manifest641
http://www.w3.org/2002/03owlt/description-logic/Manifest642
http://www.w3.org/2002/03owlt/description-logic/Manifest643
http://www.w3.org/2002/03owlt/description-logic/Manifest644
http://www.w3.org/2002/03owlt/description-logic/Manifest646
http://www.w3.org/2002/03owlt/description-logic/Manifest650
http://www.w3.org/2002/03owlt/description-logic/Manifest661
http://www.w3.org/2002/03owlt/description-logic/Manifest662
http://www.w3.org/2002/03owlt/description-logic/Manifest663
http://www.w3.org/2002/03owlt/description-logic/Manifest664
http://www.w3.org/2002/03owlt/description-logic/Manifest665
http://www.w3.org/2002/03owlt/description-logic/Manifest666
http://www.w3.org/2002/03owlt/description-logic/Manifest667
http://www.w3.org/2002/03owlt/description-logic/Manifest668
http://www.w3.org/2002/03owlt/description-logic/Manifest901
http://www.w3.org/2002/03owlt/description-logic/Manifest902
http://www.w3.org/2002/03owlt/description-logic/Manifest903
http://www.w3.org/2002/03owlt/description-logic/Manifest904
http://www.w3.org/2002/03owlt/description-logic/Manifest905
http://www.w3.org/2002/03owlt/description-logic/Manifest906
http://www.w3.org/2002/03owlt/description-logic/Manifest907
http://www.w3.org/2002/03owlt/description-logic/Manifest908
http://www.w3.org/2002/03owlt/description-logic/Manifest909
http://www.w3.org/2002/03owlt/description-logic/Manifest910
http://www.w3.org/2002/03owlt/differentFrom/Manifest001
http://www.w3.org/2002/03owlt/differentFrom/Manifest002
http://www.w3.org/2002/03owlt/disjointWith/Manifest001
http://www.w3.org/2002/03owlt/disjointWith/Manifest002
http://www.w3.org/2002/03owlt/disjointWith/Manifest003
http://www.w3.org/2002/03owlt/disjointWith/Manifest004
http://www.w3.org/2002/03owlt/disjointWith/Manifest005
http://www.w3.org/2002/03owlt/disjointWith/Manifest006
http://www.w3.org/2002/03owlt/disjointWith/Manifest007
http://www.w3.org/2002/03owlt/disjointWith/Manifest008
http://www.w3.org/2002/03owlt/disjointWith/Manifest009
http://www.w3.org/2002/03owlt/distinctMembers/Manifest001
http://www.w3.org/2002/03owlt/equivalentClass/Manifest001
http://www.w3.org/2002/03owlt/equivalentClass/Manifest002
http://www.w3.org/2002/03owlt/equivalentClass/Manifest003
http://www.w3.org/2002/03owlt/equivalentClass/Manifest004
http://www.w3.org/2002/03owlt/equivalentClass/Manifest005
http://www.w3.org/2002/03owlt/equivalentClass/Manifest006
http://www.w3.org/2002/03owlt/equivalentClass/Manifest007
http://www.w3.org/2002/03owlt/equivalentClass/Manifest008
http://www.w3.org/2002/03owlt/equivalentClass/Manifest009
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest001
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest002
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest003
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest004
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest005
http://www.w3.org/2002/03owlt/equivalentProperty/Manifest006
http://www.w3.org/2002/03owlt/extra-credit/Manifest002
http://www.w3.org/2002/03owlt/extra-credit/Manifest003
http://www.w3.org/2002/03owlt/extra-credit/Manifest004
http://www.w3.org/2002/03owlt/imports/Manifest001
http://www.w3.org/2002/03owlt/imports/Manifest002
http://www.w3.org/2002/03owlt/imports/Manifest003
http://www.w3.org/2002/03owlt/imports/Manifest004
http://www.w3.org/2002/03owlt/imports/Manifest005
http://www.w3.org/2002/03owlt/imports/Manifest006
http://www.w3.org/2002/03owlt/imports/Manifest007
http://www.w3.org/2002/03owlt/imports/Manifest008
http://www.w3.org/2002/03owlt/imports/Manifest010
http://www.w3.org/2002/03owlt/intersectionOf/Manifest001
http://www.w3.org/2002/03owlt/inverseOf/Manifest001
http://www.w3.org/2002/03owlt/maxCardinality/Manifest001
http://www.w3.org/2002/03owlt/maxCardinality/Manifest002
http://www.w3.org/2002/03owlt/miscellaneous/Manifest001
http://www.w3.org/2002/03owlt/miscellaneous/Manifest002
http://www.w3.org/2002/03owlt/miscellaneous/Manifest102
http://www.w3.org/2002/03owlt/miscellaneous/Manifest103
http://www.w3.org/2002/03owlt/miscellaneous/Manifest201
http://www.w3.org/2002/03owlt/miscellaneous/Manifest202
http://www.w3.org/2002/03owlt/miscellaneous/Manifest203
http://www.w3.org/2002/03owlt/miscellaneous/Manifest204
http://www.w3.org/2002/03owlt/miscellaneous/Manifest205
http://www.w3.org/2002/03owlt/miscellaneous/Manifest301
http://www.w3.org/2002/03owlt/miscellaneous/Manifest302
http://www.w3.org/2002/03owlt/miscellaneous/Manifest303
http://www.w3.org/2002/03owlt/oneOf/Manifest001
http://www.w3.org/2002/03owlt/oneOf/Manifest002
http://www.w3.org/2002/03owlt/oneOf/Manifest003
http://www.w3.org/2002/03owlt/oneOf/Manifest004
http://www.w3.org/2002/03owlt/sameAs/Manifest001
http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001
http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002
http://www.w3.org/2002/03owlt/unionOf/Manifest001
http://www.w3.org/2002/03owlt/unionOf/Manifest002
http://www.w3.org/2002/03owlt/unionOf/Manifest003
http://www.w3.org/2002/03owlt/unionOf/Manifest004


-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Friday, 22 August 2003 19:05:58 GMT

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