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

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
>