- From: Valentin Zacharias <Zacharias@fzi.de>
- Date: Tue, 31 Jul 2007 10:48:37 +0200
- To: "John F. Sowa" <sowa@bestweb.net>, "Pat Hayes" <phayes@ihmc.us>
- Cc: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, "Ivan Herman" <ivan@w3.org>, "Juan Sequeda" <juanfederico@gmail.com>, "SW-forum list" <semantic-web@w3.org>, <semantic_web@googlegroups.com>
John F. Sowa: [...] >Unifying Logic is the framework that includes the others >as subsets: RDF, RDF-S, Rule RIF, OWL, and SPARQL. >Each of these subsets is tailored for a specific kind of >inference engine and/or a specific range of uses. What >unifies them is the common model-theoretic semantics. >That semantics enables all of them to interoperate on >shared data and produce consistent results. RIF is a format for sharing rules created in different languages (or dialects) and - at least according to the documents they have published [1] - not all of these dialects are required to have a model theoretic semantic. In their own words [1]: "A dialect is a rule language with a well-defined syntax and semantics. This semantics must be model-theoretic, proof-theoretic, or operational in this order of preference. " Which also is probably the reason for the "misplacement" of the unified logic box - there is no (known) unifying logic for the union of these formalisms. (maybe change the layer stack and replace "RIF" by "RIF core"?) [1]: http://www.w3.org/TR/rif-core/ greetings, valentin -- email: zacharias@fzi.de phone: +49-721-9654-806 fax : +49-721-9654-807 http://www.vzach.de/blog ======================================================================= FZI Forschungszentrum Informatik an der Universität Karlsruhe (TH) Haid-und-Neu-Str. 10-14, 76131 Deutschland, http://www.fzi.de SdbR, Az: 14-0563.1 Regierungspräsidium Karlsruhe Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus ======================================================================= > -----Ursprüngliche Nachricht----- > Von: semantic-web-request@w3.org [mailto:semantic-web-request@w3.org] > Im Auftrag von John F. Sowa > Gesendet: Montag, 30. Juli 2007 22:24 > An: Pat Hayes > Cc: [ontolog-forum]; Ivan Herman; Juan Sequeda; SW-forum list; > semantic_web@googlegroups.com > Betreff: Re: [ontolog-forum] Current Semantic Web Layer Cake > > > Pat, > > I agree that the proof box is misplaced, but I think > that the major problem is that the logic box is not > correctly positioned. > > > http://www.w3.org/2007/03/layerCake.png > > PH> Hmm, I wonder why the 'Proof' Tetris piece has > > a connection to Rule without going through Unifying > > Logic. That seems like a very bad decision to me > > Unifying Logic is the framework that includes the others > as subsets: RDF, RDF-S, Rule RIF, OWL, and SPARQL. > > Each of these subsets is tailored for a specific kind of > inference engine and/or a specific range of uses. What > unifies them is the common model-theoretic semantics. > That semantics enables all of them to interoperate on > shared data and produce consistent results. > > My suggestion would be to draw the Unifying Logic box as > a large container that includes all the others inside: > RDF, RDF-S, Rule RIF, OWL, and SPARQL. > > John >
Received on Tuesday, 31 July 2007 12:19:33 UTC