W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2012

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

From: Michael Schneider <schneid@fzi.de>
Date: Sat, 14 Jan 2012 16:35:47 +0100
Message-ID: <4F11A0D3.5040804@fzi.de>
To: <BenjaminG@vulcan.com>
CC: <public-owl-dev@w3.org>
A clarification/correction:

I wrote:

 > 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

There are actually two things that are used to realize the translation: 
Firstly, there is a static set of FOL/TPTP formulae representing the 
(static set of) semantic conditions of the OWL 2 RDF-Based Semantics. 
Secondly, there is a translation of RDF graphs into FOL/TPTP formulae 
(these graph-based formulae look pretty much like just another RDF 
serialization). The latter is what the cited translation tool provides. 
The former is just a large file that never changes. For reasoning, you 
load the combined set of TPTP formulae into a first-order reasoning system.

It's similar to RDF-entailment rule reasoners, where you have a static 
file of rules representing the entailment regime (e.g. the OWL 2 RL/RDF 
rules) and an RDF graph translated into a set of fact-style rules, and 
then load everything into a rule engine to do reasoning.

Cheers,
Michael

-- 
.........................................................
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:36:32 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT