Possible to reduce OWL Full ontology to DL ontology automatically?

• From: Phil Dawes <pdawes@users.sf.net>
• Date: Thu, 15 Jul 2004 15:37:21 +0000
• To: www-rdf-interest@w3.org
• Message-ID: <16630.42161.183183.485159@gargle.gargle.HOWL>

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?

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 10:40:53 UTC