[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer Cake

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: Juan Sequeda <juanfederico@xxxxxxxxx>, SW-forum list <semantic-web@xxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, semantic_web@xxxxxxxxxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Tue, 31 Jul 2007 10:20:23 -0500
Message-id: <p06230913c2d5024b52db@[]>
>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.    (01)

Thats what I would expect, yes. And I know the overall picture. What 
surprised me was the fact that there seems to be a special 
short-circuit allowing Rules to connect to Proof without taking the 
Logic into account. Which in turn suggests a special dispensation for 
Rules to avoid having to have a common semantics with everything 
else. As I know there are, as the popular media says, Powerful Forces 
in the Rules meta-community which would approve of short-circuiting 
conventional semantics altogether in favor of, say, some version of 
Prolog, I am slightly concerned that this peculiar kink in the layer 
cake has been put there deliberately to make it possible to do an 
end-run around a unifying logic. Which when one takes into account 
the whole point of "Unifying", would IMO be a pity.    (02)

Pat    (03)

>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.    (04)

The layer-cake display has become a kind of W3C icon now.    (05)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (06)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

<Prev in Thread] Current Thread [Next in Thread>