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

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.

HTH,
Pavel

[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)
>
>
>



-- 
cheers,
--pavel
http://www.cs.man.ac.uk/~klinovp

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