- From: Danny Ayers <danny.ayers@gmail.com>
- Date: Tue, 30 May 2006 14:40:26 +0200
- To: "dan@shadowcats.com" <dan@shadowcats.com>
- Cc: semantic-web@w3.org
On 5/30/06, dan@shadowcats.com <dan@shadowcats.com> wrote: > > If I tell an RDFS reasoner only this much, plus the proper > name space declarations (all using XML syntax if I must) ... > > :foo rdfs:domain :bar . > > .... I expect it to infer that :foo is an rdf:Property and :bar > is an rdfs:class. Please say if I'm wrong here. Otherwise: > > Q1) Instead of troubling *you* to confirm, what solid reasoner(s) > now exist on the public web that I might have easily asked? There's an online demo of Pellet: http://www.mindswap.org/2003/pellet/demo.shtml > Q2) For your favorite free one, how would I phrase my questions? @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix : <http://purl.org/stuff#> . :foo rdfs:domain :bar . (tick Check ontology consistency and Display class hierarchy) There are a lot more reasoners available (Jena, cwm, the family Euler...), but I'm not sure which have online services. This is probably a good thing to go on the ESW Wiki - http://esw.w3.org/topic/ Cheers, Danny. -- http://dannyayers.com
Received on Tuesday, 30 May 2006 12:40:44 UTC