On Thursday 28 September 2006 09:21, S Page wrote: > 1. Does anyone know of a tough RDF validator?
I don't know an official one, but the RDF browser Longwell (Simile) is rather strict in evaluating datatype properties. I do not know whether its judgement is normative, but at least it points out many possible problems when loading an RDF document. > > I know about http://www.w3.org/RDF/Validator/ , but it doesn't seem to > validate property values. It'll accept RDF like: > > ... > <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> > ... > <rdf:RDF > xmlns:rdf="&rdf;" > ... > <attribute:Boolean > rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean";>BAdFunkyValue</attr >ibute:Boolean> > > without complaint and generates the triple > http://myIP/mediawiki/index.php/_Test > http://myIP/mediawiki/index.php/_Attribute-3ABoolean > "BAdFunkyValue"^^http://www.w3.org/2001/XMLSchema#boolean > > but I'm pretty sure the W3 RDF spec doesn't allow BAdFunkyValue for the > boolean datatype. Indeed. > > > 2. Also, is the ^^ syntax in its triple output standard? I've never > seen it before (but I don't get out much). Yes, in this notation this is standard. > > > 3. Can anyone recommend a program that can query RDF and can point out > inconsistencies in rdfs and owl statements? Logical inconsitencies? For this you need an OWL-Reasoner, i.e. a program that can evaluate the full semantics of OWL -- not an easy task. See [1] for an overview of OWL reasoners and note that only a few programs can evaluate all of OWL DL. Checking consitency and answering queries is mostly synonymous in OWL DL, so all such tools will support some kind of querying as well. I can recommend "KAON2" (commercial, but free for private use) since it has a feature-rich API with SPARQL interface for querying, and also "Pellet" since it is free and supports all of OWL + some intersting extensions. RDFS cannot express real logical inconsistencies, though it might be possible to construct some docuemtents that have other non-obvious contradictions to the spec. OWL Full cannot be evaluated completely by any tool. Best regards, Markus [1] http://www.cs.man.ac.uk/~sattler/reasoners.html > > > Many thanks for suggestions! > -- > =S > > ------------------------------------------------------------------------- > Take Surveys. Earn Cash. Influence the Future of IT > Join SourceForge.net's Techsay panel and you'll get the chance to share > your opinions on IT & business topics through brief surveys -- and earn > cash > http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV > _______________________________________________ > Semediawiki-user mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/semediawiki-user -- Markus Krötzsch Institute AIFB, University of Karlsruhe, D-76128 Karlsruhe [EMAIL PROTECTED] phone +49 (0)721 608 7362 www.aifb.uni-karlsruhe.de/WBS/ fax +49 (0)721 693 717
pgpcVokqBBQY7.pgp
Description: PGP signature
------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys -- and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________ Semediawiki-user mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/semediawiki-user
