- From: Kathryn Blackmond Laskey <klaskey@gmu.edu>
- Date: Mon, 30 Jul 2007 12:30:06 -0400
- To: "[ontolog-forum] " <ontolog-forum@ontolog.cim3.net>, Ivan Herman <ivan@w3.org>
- Cc: Juan Sequeda <juanfederico@GMAIL.COM>, SW-forum list <semantic-web@w3.org>, "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, semantic_web@googlegroups.com
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