OWL question (scoping out systems for inter-thesaurus mapping) from Miles, AJ (Alistair) on 2003-11-11 (public-esw-thes@w3.org from November 2003)

From: Miles, AJ (Alistair) <A.J.Miles@rl.ac.uk>
Date: Tue, 11 Nov 2003 11:50:23 -0000
To: "Dave Reynolds (E-mail)" <der@hplb.hpl.hp.com>
Cc: "'public-esw-thes@w3.org'" <public-esw-thes@w3.org>
Message-ID: <350DC7048372D31197F200902773DF4C04943FAF@exchange11.rl.ac.uk>

Hi Dave,

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>

???

Al.

CCLRC - Rutherford Appleton Laboratory
Building R1 Room 1.60
Fermi Avenue
Chilton
Didcot
Oxfordshire OX11 0QX
United Kingdom

Email:        a.j.miles@rl.ac.uk
Telephone: +44 (0)1235 445440

Received on Tuesday, 11 November 2003 06:55:21 UTC