- From: Janne Saarela <jsaarela@w3.org>
- Date: Thu, 28 Jan 1999 18:22:24 +0100
- To: www-rdf-comments@w3.org
I have integrated the online version of SiRPAC [1] with an F-Logic evaluation environment [2] from the University of Karlsruhe. This enables the inference of constraint violations based on couple of rules formulated in F-Logic. You will find the new option to check for validity along with a link to a validation process descriptions from the [1] SiRPAC page. The validation currently only resolves '___domain' and 'range' constraints. I'm sorry that the example RDF description on that page does not validate due to the lack of RDF schema for the Dublin Core. I hope the DC folks are going to publish one soon. Regards, Janne [1] http://www.w3.org/RDF/Implementations/SiRPAC/ [2] http://www.aifb.uni-karlsruhe.de/~sde/rdf/ -- Janne Saarela | Visiting scientist Email: jsaarela@w3.org | World Wide Web Consortium http://www.w3.org/
Received on Thursday, 28 January 1999 12:22:32 UTC