[DL] Package which transforms DL into FOL
schneid at fzi.de
Mon Mar 29 20:32:09 CEST 2010
[I'm not sure if this mail will go through dl at dl.kr.org]
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  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" . The paper at
 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  follows a related approach, but seems to use another FOL syntax
supported by Vampire, namely the TPTP syntax .
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?
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
Does there exist (Java) package which transforms Description Logics into
corresponding First-order Logics?
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
More information about the dl