- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 15 Jul 2004 19:06:23 +0100
- 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