- From: Michael Schneider <schneid@fzi.de>
- Date: Fri, 25 Mar 2011 10:55:41 +0000
- To: Michael Brunnbauer <brunni@netestate.de>
- CC: "semantic-web@w3.org" <semantic-web@w3.org>
Michael Brunnbauer wrote: On Fri, Mar 25, 2011 at 12:00:52AM +0000, Michael Schneider wrote: > since skolemization retains equisatisfiability. But skolemization does /not/ > lead to logically equivalent graphs. >I don't think this is of practical relevance. >[...] >I cannot substantiate that because I am not a logician. Fortunately, this isn't a problem here, since logic and practical relevance have about as much in common as two Skolem constants. :-) Michael -- Dipl.-Inform. Michael Schneider Research Scientist, Information Process Engineering (IPE) Tel : +49-721-9654-726 Fax : +49-721-9654-727 Email: michael.schneider@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 Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe Vorstand: Dipl. Wi.-Ing. Michael Flor, Prof. Dr. rer. nat. Ralf Reussner, Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi Studer Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus ==============================================================================
Received on Friday, 25 March 2011 10:56:16 UTC