W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2004

Re: Possible to reduce OWL Full ontology to DL ontology automatically?

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 15 Jul 2004 19:06:23 +0100
Message-ID: <40F6C79F.1020904@hplb.hpl.hp.com>
To: Phil Dawes <pdawes@users.sourceforge.net>
Cc: www-rdf-interest@w3.org

Phil Dawes wrote:

> Hi RDF Interest,
> 
> Feel free to shoot me down because I'm way out of my depth here, but I
> was wondering:
> 
> Would it be possible to build a tool that could take an owl full
> ontology, infer a set of owl DL compatible assertions and then
> remove all the non-OWL DL compatible ones?

Yes. But you need a decent set of OWL DL tools to motivate the amount of 
work it would be to build such a thing.
(Not sure if 'infer' is the right word, IMO such a tool should operate 
syntactically)

Jeremy


> 
> E.g. look for use of owl:sameAs where objects are Classes/Properties,
> infer the relevant equivalentClass/equivalentProperty assertions and
> remove the offending owl:sameAs statements.
> 
> It strikes me that there are people wanting to express non-DL
> compatible things (e.g. classes that are instances), but who might
> benefit from DL tools for a subset of their data. I've read the
> sentiment 'I want my schema to be DL compatible, but I want to do
> this...' a couple of times now, and am wondering if it's possible to
> maintain different versions of the same ontology with varying levels
> of expression without having to manually maintain 3+ ontology stores.
> 
> Cheers,
> 
> Phil
> 
Received on Thursday, 15 July 2004 14:13:13 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:14:58 UTC