- From: Michael Schneider <schneid@fzi.de>
- Date: Sat, 14 Jan 2012 16:35:47 +0100
- 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 UTC