W3C home > Mailing lists > Public > www-rdf-interest@w3.org > May 2002

RDF Validator

From: Tim Berners-Lee <timbl@w3.org>
Date: Tue, 21 May 2002 15:46:50 -0400
To: www-rdf-interest@w3.org
Message-Id: <7E4FACCC-6CF3-11D6-8F3C-000393914268@w3.org>
I use an n3 rule file  to validate RDF documents.
It needs python and http://www.w3.org/2000/10/swap/cwm.py

alias validate='cwm http://www.w3.org/2000/10/swap/util/validate.n3 
--think --purge --with'

usage :    validate  <uri>


See the rule file itself for details, but the validate.n3 basically

- looks for URIs used as predicates and types
- dereferences them to look for schemas
- finds what is implied by the schema under basic RDFS and a couple of 
DAML rules
(merges with axioms and find deductive closure)
- checks things used as predicates are declared  to be rdf:Properties
   (implicitly or explicitly)
- checks that things used as types are declared as rdfs:Classes.

I find it useful mainly for spotting typos in files.  It is rather slow 
because cwm is rather slow at the moment.

It is of course interesting to think what would be a community norm for
a "valid" document.

Tim BL
Received on Tuesday, 21 May 2002 16:10:01 GMT

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