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