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