RDF Schema Explorer (Querying/Validating/Extending RDF models)
Date: Mon, 30 Oct 2000 20:31:39 +0100 From: Wolfram Conen <firstname.lastname@example.org> To: email@example.com Subject: RDF Schema Explorer (Querying/Validating/Extending RDF models)
Here is something that may complement some other interesting services (like Redland):
RDF Schema Explorer at http://wonkituck.wi-inf.uni-essen.de/rdfs.html
What can be done with it?
(1) You can feed some RDF stuff into the Explorer (text entry/file upload). This will be parsed with Jan Wielemaker's SWI-Prolog parser and the resulting triples will be asserted to the fact base.
(2) You can CHECK/VALIDATE your model against the rule set provided in version 1.2 of the paper "A logical interpretation of RDF" (see  below).
(3) You can QUERY the model repeatedly by using the provided rule/fact set and by providing your OWN additional RULES/QUERIES.
(4) You can DEFINE/EXTEND THE SEMANTICS for your own predicates directly from within your RDF document.
Please, give it a try. Some more explanations are given on the Web site.
Best regards, Wolfram + Reinhold firstname.lastname@example.org
 Version 1.2 of the paper "A logical interpretation of RDF" is currently under PUBLIC review in the Semantic Web (SEWEB) area of the "Electronic Transactions on Artificial Intelligence (ETAI) (http://www.etaij.org), where it is possible (and very welcome) to comment/discuss the paper (http://www.ida.liu.se/ext/etai/ra/seweb/001/) and to download an "official" Postscript version (either go to SEWEB area of the ETAI pages and choose "Received Articles" or select the "Publication Page" entry from the discussion page. "Non-official" HTML and PDF-Version are also available: http://nestroy.wi-inf.uni-essen.de/rdf/logical_interpretation/ (HTML) (here, also a link to previous discussions can be found) and http://nestroy.wi-inf.uni-essen.de/rdf/logical_interpretation.pdf (PDF).
Prepared by Robin Cover for The XML Cover Pages archive.