[Top] [All Lists]

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

To: Pat Hayes <phayes@xxxxxxx>
Cc: Juan Sequeda <juanfederico@xxxxxxxxx>, SW-forum list <semantic-web@xxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, semantic_web@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Mon, 30 Jul 2007 16:24:04 -0400
Message-id: <46AE48E4.80004@xxxxxxxxxxx>
Pat,    (01)

I agree that the proof box is misplaced, but I think
that the major problem is that the logic box is not
correctly positioned.    (02)

 > http://www.w3.org/2007/03/layerCake.png    (03)

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

Unifying Logic is the framework that includes the others
as subsets:  RDF, RDF-S, Rule RIF, OWL, and SPARQL.    (05)

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

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

John    (08)

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    (09)

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