None of the pieces "go through" any other pieces. However, "proof"
does border on "unifying logic" as it wraps around to "rule", which
(I am guessing) might mean that unifying logic does have an influence
in how rules and proofs "play together". (My naive guess would be
that rules are used in proofs, but I don't know that.) A bigger
concern is that "proof" doesn't even touch "ontology." That seems
strange to me. Also, "Query" doesn't touch "Rule." (01)
Absent any explanation of the diagram, though, I have no idea what
any of this actually means. (02)
Kathy (03)
At 11:13 AM -0500 7/30/07, Pat Hayes wrote:
> >Content-Type: multipart/signed; protocol="application/x-pkcs7-signature";
>> micalg=sha1; boundary="------------ms050805050601010506060202"
>>
>>Graphically, this is _almost_ equivalent to what is the most up-to-date
>>for now:
>>
> >http://www.w3.org/2007/03/layerCake.png
>
>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
>:-)
>
>Pat
>
>>
>>which also have an SVG version:
>>
>>http://www.w3.org/2007/03/layerCake.svg
>>
>>and a smaller png dump
>>
>>http://www.w3.org/2007/03/layerCake-small.png
>>
>>
>>Ivan
>>
>>
>>
>>Story Henry wrote:
>>>
>>> No this is the latest
>>> http://www.w3.org/2007/Talks/0130-sb-W3CTechSemWeb/layerCake-4.png
>>>
>>> The applications at the top are really important. It is they
>>>that will help
>>> create tension for the convergence of vocabularies.
>>>
>>> Henry
>>>
>>> On 27 Jul 2007, at 23:03, Juan Sequeda wrote:
>>>
>>>> Hi all
>>>>
>>>> I would like to know where I can find the current up-to-date Semantic
>>>> Web layer cake. It seems that [1] is the most used, but is that the
>>>> recent one?
>>>>
>>>> Thanks!
>>>>
>>>> [1] http://www.w3.org/2001/09/06-ecdl/slide17-0.html
>>>>
>>>> --
>>>> Juan Sequeda
>>>>
>>>> Research Assistant Project Manager
>>>> Dept. of Computer Science Solutions Superbacano.com
>>>> University of Texas at Austin Austin, Texas, USA
>>>> http://www.cs.utexas.edu/~jsequeda http://solutions.superbacano.com
>>>> jsequeda@xxxxxxxxxxxxx juan@xxxxxxxxxxxxxxx
>>>
>>>
>>
>>--
>>
>>Ivan Herman, W3C Semantic Web Activity Lead
>>Home: http://www.w3.org/People/Ivan/
>>PGP Key: http://www.ivan-herman.net/pgpkey.html
>>FOAF: http://www.ivan-herman.net/foaf.rdf
>>
>>
>>Content-Type: application/x-pkcs7-signature; name="smime.p7s"
>>Content-Disposition: attachment; filename="smime.p7s"
>>Content-Description: S/MIME Cryptographic Signature
>>
>>Attachment converted: betelguese2:smime 20.p7s ( / ) (001990CD)
>>
>>_________________________________________________________________
>>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
>>
>
>
>--
>---------------------------------------------------------------------
>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
>
>
>_________________________________________________________________
>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
> (04)
_________________________________________________________________
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 (05)
|
