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