- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Mon, 17 Nov 2003 15:34:42 +0000
- To: "Miles, AJ (Alistair) " <A.J.Miles@rl.ac.uk>
- Cc: "'public-esw-thes@w3.org'" <public-esw-thes@w3.org>
Hi Alistair, Sorry for the slow reply - I've been out of email contact for most of the last week. > Quick question about the OWL reasoner, > > if I have the following model: > > <owl:Restriction> > <owl:onProperty rdf:resource="&dc;subject"/> > <owl:hasValue rdf:resource="&thes1;trees"/> > <owl:equivalentClass> > <owl:Restriction> > <owl:onProperty rdf:resource="&dc;subject"/> > <owl:hasValue rdf:resource="&thes2;arbres"/> > </owl:Restriction> > </owl:equivalentClass> > </owl:Restriction> > > <rdf:Description rdf:about="http://www.bigal.com/trees.html"> > <dc:subject rdf:resource="&thes1;trees"/> > </rdf:Description> > > Would the OWL reasoner infer that ... > > <rdf:Description rdf:about="http://www.bigal.com/trees.html> > <dc:subject rdf:resource="&thes2;arbres"/> > </rdf:Description> Yes. Don't know how well it would scale up (lots of equivalentClass expressions can be expensive) but it does work. Dave
Received on Monday, 17 November 2003 10:39:47 UTC