[DL] Package which transforms DL into FOL

[Michael Schneider]

[I'm not sure if this mail will go through dl at dl.kr.org]

Hi!

I can't point you to a concrete software package, but I have a few hints
below that might be helpful as a start to find such software.

But first, I wanted to mention that you will probably need to further refine
your question by telling which concrete first-order logic dialect or syntax
you want to see as output. 

In principle, what you see on the right-hand side of the tables in the OWL 2
Direct-Semantics [1] are Standard-FOL translations of the different
constructs of the OWL 2 syntax, and therefore of an expressive description
logic (well, there are a lot of set expressions, but a translation of these
formulas into "real" FOL syntax is pretty straight-forward). But do you want
to see this particular format used in the OWL 2 Direct-Semantics as the
output? I guess not, because it's not directly machine processible.

There is a standard exchange syntax for FOL, called "KIF" [2]. The paper at
[3] describes the processing of OWL ontologies by (a modified version of)
the FOL theorem prover Vampire using KIF as a representation language. The
paper at [4] follows a related approach, but seems to use another FOL syntax
supported by Vampire, namely the TPTP syntax [5]. 

I can't tell for sure, but I'd say chances are good that the authors of
these people have used some translation software to these different FOL
syntaxes, so why not just asking them for such software?
 
Best,
Michael 

[1] <http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/>
[2] <http://logic.stanford.edu/kif/> 
[3] <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.2929> 
[4] <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.2906>
[5] <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.5153>
  
From: semantic-web-request at w3.org [mailto:semantic-web-request at w3.org] On
Behalf Of Jun Fang
Sent: Monday, March 29, 2010 11:35 AM
To: semantic-web at w3.org; dl at dl.kr.org
Subject: Package which transforms DL into FOL

Dear Colleagues:

Does there exist (Java) package which transforms Description Logics into
corresponding First-order Logics?

Thanks.


-- 
Best Regards!

Jun Fang

--
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider at fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================