W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2010

Re: Tool for downsizing OWL 2 DL to OWL 2 EL

From: Pavel Klinov <pklinov@cs.man.ac.uk>
Date: Thu, 2 Sep 2010 19:16:39 +0100
Message-ID: <AANLkTi=S9ehkMpFH7Z2k+FL78xAaFwWQo+ektqp2q+hp@mail.gmail.com>
To: Jan Noessner <jan@informatik.uni-mannheim.de>
Cc: public-owl-dev@w3.org
Hi Jan,

I can't suggest a particular tool, but you might be interested in
"approximating" your ontology in a less expressive language as opposed
to simply dropping non-conforming axioms. Note, that the resulting
OWL-EL ontology need not be a subset of your original ontology, but it
might be "closer" (according to some semantic or syntactic metric) to
the original ontology than any of the subsets.

AFAIK, Jeff Pan has been quite interested in approximating OWL 2 DL
ontologies using OWL 2 QL and OWL 2 EL (he will correct me if I'm
wrong). See, for example, [1]. So you may contact him and see if
there's some implementation.


[1] www.abdn.ac.uk/~csc280/pub/TPR2010.pdf

On Thu, Sep 2, 2010 at 5:39 PM, Jan Noessner
<jan@informatik.uni-mannheim.de> wrote:
> Hello,
> We need to downsize an OWL 2 DL ontology to the expressivity of OWL 2 EL
> with as less loss of axioms as possible. First we simply wanted to ask a
> reasoner to do this work for us, but then we noticed that it is not that
> trivial to ask all the different combinations of OWL 2 el axioms.
> Do any of you know if there is a converter somewhere which can do this
> downgrading job?
> Thanks for any help in advance.
> Jan Noessner
> (from University of Mannheim, Germany)

Received on Thursday, 2 September 2010 18:17:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC