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

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."

Absent any explanation of the diagram, though, I have no idea what 
any of this actually means.

Kathy

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@cs.utexas.edu                     juan@superbacano.com
>>>
>>>
>>
>>--
>>
>>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@ontolog.cim3.net
>>Shared Files: http://ontolog.cim3.net/file/
>>Community Wiki: http://ontolog.cim3.net/wiki/
>>To Post: mailto:ontolog-forum@ontolog.cim3.net
>>
>
>
>--
>---------------------------------------------------------------------
>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@ontolog.cim3.net
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/
>To Post: mailto:ontolog-forum@ontolog.cim3.net
>

Received on Monday, 30 July 2007 16:38:45 UTC