Tool for downsizing OWL 2 DL to OWL 2 EL from Jan Noessner on 2010-09-02 (public-owl-dev@w3.org from July to September 2010)

From: Jan Noessner <jan@informatik.uni-mannheim.de>
Date: Thu, 02 Sep 2010 18:39:19 +0200
To: public-owl-dev@w3.org
Message-ID: <4C7FD337.7020800@informatik.uni-mannheim.de>

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 17:14:25 UTC