Re: question: translators from OWL 2 DL/Full to FOL

Hi Benjamin!

Am 14.01.2012 01:08, schrieb Benjamin Grosof:
> I’m looking for a tool that translates OWL 2 DL - or even better, OWL 2
> Full, to FOL.
> Best would be if it outputs something like an AST (Abstract Syntax Tree)
> and in Java.

Concerning OWL 2 Full, such a translation was used in our last year's 
CADE paper on using FOL reasoners for OWL 2 Full reasoning; get an 
extended version from

     <http://arxiv.org/abs/1108.0155>

The translation is a straight-forward implementation of the semantic 
conditions in the OWL 2 RDF-Based Semantics (including those from the 
RDF model-theory) and goes from RDF/XML to the TPTP language, which is a 
FOL serialization syntax that is widely supported by FOL reasoners. 
Appendix C of the extended version cited above (not included in the 
original) gives an elaborated example of the translation for some of the 
test cases used in the paper.

The corresponding translation software (in Java, both as sourcecode and 
as an executable JAR) is in the supplementary material for the paper, 
which you can get from

 
<http://www.fzi.de/downloads/ipe/schneid/cade2011-schneidsut-owlfullatp.zip>

Note that the translation does not treat datatype semantics, and has 
some other limitations, such as argument lists up to only 3 arguments 
(e.g. unions of not more than three classes). It was primarily meant for 
experimental purposes; if you want to do more with it, then it might at 
least serve as a good starting point. In the future, I plan to extend 
it, but this hasn't highest priority for me at the moment.

Concerning OWL 2 DL, i.e. a translation implementing the OWL 2 Direct 
Semantics, plus a bit aka SWRL, from OWL 2 Functional Syntax to TPTP: 
This is actually work in progress, so stay tuned! :-)

Cheers,
Michael

> Please send your pointers to tools etc.
> Thanks much,
> Benjamin
> Benjamin Grosof [1], PhD -- Semantic Technologies
> Sr. Research Program Manager, Vulcan Inc.
> Head of Project Halo Advanced Research (HalAR) program, including SILK [2]
> [1] _http://www.mit.edu/~bgrosof_/
> [2] _http://silk.semwebcentral.org_

-- 
.........................................................
Dipl.-Inform. Michael Schneider
Research Scientist, IPE / WIM

FZI Forschungszentrum Informatik
Haid-und-Neu-Str. 10–14
76131 Karlsruhe, Germany
Tel.: +49 721 9654-726
Fax: +49 721 9654-727

michael.schneider@fzi.de
www.fzi.de

.........................................................
Forschungszentrum Informatik (FZI) an der Universität Karlsruhe
Stiftung des bürgerlichen Rechts
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Dipl. Wi.-Ing. Michael Flor, Prof. Dr. Ralf Reussner,
Prof. Dr. Rudi Studer, Prof. Dr.-Ing. J. Marius Zöllner
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
.........................................................

Received on Saturday, 14 January 2012 15:12:38 UTC