- 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